#16819: Implement categories for Lie algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: lie algebras | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/categories/lie_algebras-16819|
b0abe90e740a849113871306f7275ba376aa17aa
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
The `universal_enveloping_algebra` code is in the category and it calls
the `lift`, which calls the `_construct_UEA` method (where the actual
construction occurs). In the case of this Abelian Lie algebra, is it calls
the generic code, which it returns something which thinks it's
noncommutative, but the relations should make it commutative polynomial
ring. Again, I was thinking minimial implementation, but it might be
useful to implement this explicitly for the example...
--
Ticket URL: <http://trac.sagemath.org/ticket/16819#comment:23>
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/d/optout.
