#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: | c1838221b369f47e407ffcd95fd53bd4f239e21d
public/lie_algebras/fd_structure_coeff-16820| Stopgaps:
Dependencies: #16819 |
-------------------------------------+-------------------------------------
Changes (by darij):
* keywords: lie algebras, days64 => lie algebras, days64, sd67
Comment:
`lift_ambient` sounds good -- now I'd just wish the other two lifts would
have different names.
What do you mean by "not the empty set like the set of 0x0 matrices"?
There is a unique 0x0 matrix, and it is strictly upper-triangular.
Yes, talk to you later, and thanks for all the quick responses so far --
they're very helpful.
Meanwhile, here is an enigma for other people to solve:
{{{
sage: L = lie_algebras.three_dimensional_by_rank(QQ, 3)
sage: L in Modules(QQ)
True
sage: L.zero() == 0
True
sage: L.zero() == QQ(0)
False
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/16820#comment:31>
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.
