Ask Your Question

implementing Lie-admissible algebras

asked 2015-03-17 19:38:39 +0100

Geremia gravatar image

updated 2015-03-17 19:44:54 +0100

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.

edit retag flag offensive close merge delete


FrédéricC gravatar imageFrédéricC ( 2015-03-17 21:32:57 +0100 )edit

1 Answer

Sort by » oldest newest most voted

answered 2015-03-17 20:42:03 +0100

kcrisman gravatar image

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.

edit flag offensive delete link more


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

Geremia gravatar imageGeremia ( 2015-03-18 07:07:19 +0100 )edit

What about the comments here? Are those options good, too?

Geremia gravatar imageGeremia ( 2015-03-18 07:44:39 +0100 )edit

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.

kcrisman gravatar imagekcrisman ( 2015-03-18 15:39:26 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2015-03-17 19:38:39 +0100

Seen: 477 times

Last updated: Mar 17 '15