How would I implement Lie-admissible algebras in Sage?
A Lie-admissible algebra is "A (non-associative) algebra (cf. Non-associative rings and algebras) whose commutator algebra becomes a Lie algebra." Read more.
Lie-admissible algebras are classified as 17D25 on MSC2010.
Good question. There is a (very) ambitious ticket to implement Lie algebras themselves (and many examples) at Trac 14901. Probably basing on this would be a bit of overkill, but perusing this might give you some good ideas. Essentially, you would be starting from scratch, but there is infrastructure already in place such as categories that would enable these to become part of a broader part of Sage, should you be interested in contributing your work back in.
This is what I expected for an answer. I'm not looking for how to do every detail of such an implementation, but where to start. Thus, you've answered my question. thank you
I don't see why some of them wouldn't be, but I have little experience with them. Using GAP to provide some of them seems very reasonable, with a Sage wrapper to interface with other functionality as needed.
Asked: 10 years ago
Seen: 927 times
Last updated: Mar 17 '15
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
See also http://trac.sagemath.org/ticket/15635