#16820: Implement ABCs for Lie algebras and finite dimensional given by
structure
cofficients
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.7
Component: algebra | Resolution:
Keywords: lie algebras, | Merged in:
days64, sd67 | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | 3032fc09f15c90b61a3cf9b146e90b000c15fa4c
public/lie_algebras/fd_structure_coeff-16820| Stopgaps:
Dependencies: #16819 |
-------------------------------------+-------------------------------------
Comment (by darij):
Here is a problem with using `lift` for any kind of lift:
{{{
sage: L = lie_algebras.sl(QQ, 2, representation='matrix')
sage: E, F, H = L.gens()
sage: E
[0 1]
[0 0]
sage: F
[0 0]
[1 0]
sage: H
[ 1 0]
[ 0 -1]
sage: E * H
[ 0 -1]
[ 0 0]
}}}
But E * H should not be -E if it's really to mean the element E * H of the
universal envelope.
--
Ticket URL: <http://trac.sagemath.org/ticket/16820#comment:34>
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.
