#8954: Implementation of the affine nilTemperley Lieb algebra of type A
------------------------------+---------------------------------------------
Reporter: aschilling | Owner: AlexGhitza
Type: enhancement | Status: needs_review
Priority: major | Milestone:
Component: algebra | Keywords:
Author: Anne Schilling | Upstream: N/A
Reviewer: Jason Bandlow | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Changes (by aschilling):
* status: needs_work => needs_review
* reviewer: => Jason Bandlow
Comment:
Hi Jason,
Thank you for your comments! I have uploaded a revised patch addressing
the issues you raised:
> 1. It looks like your implementation assumes ZZ as a base ring. Any
reason not to allow any ring?
Done.
> 2. I would prefer the elements print as `a[0] a[1]` instead of `a0 a1`
so that copy-paste can work. Do you have a preference one way or the
other?
There is now an option in
def _repr_term(self, t, display = "short"):
which allows to display the output in the long or short notation.
> 3. In the documentation for the class, you should mention that the
relations should be understood mod n.
Done.
> 4. In the _element_constructor, I would expect the presence of a braid
relation trigger to return 0. Is there a reason that you raise an error
instead?
Done now. As we discussed by e-mail in private, it might make more sense
to eventually construct this algebra as a quotient algebra. This would
depend on the 'functorial constructions' patch of Nicolas and Florent. I
left a note about this in the code.
One slight warning: I now inserted a line
assert(self(w) != self.zero())
in product_on_basis, which might slow down calculations, but is safer.
Cheers,
Anne
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8954#comment:3>
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.
