#20029: Implement quantum matrix coordinate algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.1
Component: algebra | Resolution:
Keywords: quantum, | Merged in:
coordinate ring | Reviewers: Daniel Bump, Valentin
Authors: Travis Scrimshaw | Buciumas
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/algebras/quantum_matrix_coordinate_ring-20029|
691b99d2e6e351bc42edb60561c9c9389d45dcd8
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
I've added the FRT reference and the note about the q convention, and I
also had come across a small bug with how I was implementing the unique
representation behavior that I fixed (and now it takes more general input
too). I also added commented code for the antipode once we implement
SL,,q,,(n) (well, really, quantum Gröbner bases). However, considering the
antipode is coming from "q-inverting the matrix", I don't think we get an
antipode map for generic q and the quantum determinant is not an
invertible element in the algebra (in general). Or is there a different
Hopf structure/antipode?
--
Ticket URL: <http://trac.sagemath.org/ticket/20029#comment:9>
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.
