#14261: Iwahori-Hecke algebra with several bases
-------------------------------------+-------------------------------------
Reporter: brant | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.12
Component: combinatorics | Resolution:
Keywords: Iwahori Hecke | Merged in:
algebra | Reviewers: Andrew Mathas?, Dan
Authors: Brant Jones, | Bump?
Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: #13735 #14014 |
#14678 #14516 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Hey Darij,
Thanks for looking over the documentation. As for the `q`, in order to do
what you're suggesting means we have to do all computations in a formal
variable and then specialize. However I don't think this is the correct
behavior, especially when `q` is a root of unity, but I don't know if the
bar involution is still useful at specialized `q`. The problem in my mind
is take `q = 2` and consider the element `2`, what is the bar of this,
does it matter if it's `1 + 1` or `2 in ZZ` or suppose to be the `q`?
Andrew, Dan, Brant, or someone who understands Hecke algebras better than
myself, do you have any thoughts on this? Also would any of you have time
to do the last (math) review of this patch?
Best,[[BR]]
Travis
--
Ticket URL: <http://trac.sagemath.org/ticket/14261#comment:20>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
