#7729: Iwahori Hecke algebras [with patch, needs review]
-----------------------------+----------------------------------------------
Reporter: bump | Owner: bump
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.3.1
Component: combinatorics | Keywords: Iwahori Hecke Algebra
Work_issues: | Author: Daniel Bump
Upstream: N/A | Reviewer:
Merged: |
-----------------------------+----------------------------------------------
Changes (by nthiery):
* status: new => needs_work
Comment:
Hi Dan!
Thanks much for implementing this very useful feature!
Do you mind renaming it into IwahoriHeckeAlgebraT or TBasis, so that we
can
later use IwahoriHeckeAlgebra for the abstract Iwahori Hecke algebra with
its other bases?
Other than that, the code looks good, except for the duplication of the
CombinatorialFreeModule code. Do you mind if I refactor it to use the
category framework and CombinatorialFreeModule?
I am not sure when I'll be able to do that though, so maybe it's best to
first get this patch
into Sage. Unless you are tempted by the adventure.
I don't expect particular problems with affine weyl groups or other
coxeter groups.
Ah one thing: please make the algebra generators into a family indexed by
the index set of the Dynkin diagram (so that T[1], ... ) will do what we
expect.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7729#comment:6>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
