#20489: A and B bases for Iwahori-Hecke algebras
-------------------------------------+-------------------------------------
Reporter: andrew.mathas | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-7.2
Component: combinatorics | Resolution:
Keywords: Iwahori-Hecke | Merged in:
algebra | Reviewers:
Authors: Andrew Mathas | Work issues:
Report Upstream: N/A | Commit:
Branch: | 21b4caed9caeb5619f28faf54c3632015fac32a7
u/andrew.mathas/TwoIwahoriHeckeBases| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by andrew.mathas):
This is almost ready for review. The only issue that remains is that these
bases are well-defined only when 2 is invertible in the base ring. In
principle, this is catered for because the `__init__` methods in both
bases contain lines like
{{{
if 1/2 not in IHAlgebra.base_ring():
raise ValueError('The A-basis is defined only when 2 is invertible
')
}}}
In practice, this does not seem to get caught when the bases are
initialised:
{{{
sage: R.<v> = LaurentPolynomialRing(GF(2))
sage: H = IwahoriHeckeAlgebra('A3', q1=v)
sage: A=H.A(); B=H.B(); T=H.T()
sage: T(A[2])
---------------------------------------------------------------------------
ZeroDivisionError Traceback (most recent call
last)
BOOM!
}}}
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/20489#comment:5>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
