#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.6
Component: algebra | Resolution:
Keywords: lie algebras, | Merged in:
days64 | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | 87a227f1248a94beabd834007d458a505e753e46
public/lie_algebras/fd_structure_coeff-16820| Stopgaps:
Dependencies: #16819 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
It at least covers all 3-dim Lie algebras over char 0 fields (up to
isomorphism); I will check when I get home what generality they meant (and
put a reference if you think it's necessary).
Also for this change:
{{{#!diff
+ if hasattr(self, "module") and x in self.module():
+ return self.from_vector(x)
}}}
I think you should do
{{{#!python
try:
if x in self.module():
return self.from_vector(x)
except AttributeError:
pass
}}}
For the `FromAssociative.lift`...well there's some ambiguity there as to
whether we want to lift to the UEA or just some enveloping algebra. I
opted to lift just to the defining algebra (which I forgot to change in
the docs) as this seemed the most natural. We will also have to deal with
subalgebras and a `lift` there.
For the tested methods, it was originally returning an element from a
matrix Lie algebra, but through refactoring this had changed. This can be
remedied by changing the 3 to 1, i.e.: `L =
lie_algebras.three_dimensional_by_rank(QQ, 1)`.
I'm also not happy with the corner cases being allowed as all properties
become vacuous.
Anyways, I'll make changes tomorrow as I will let Sage compile tonight
when I get back home.
--
Ticket URL: <http://trac.sagemath.org/ticket/16820#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.
