Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Universal enveloping algebra over the complex numbers

In the documentation there is an example of defining the universal enveloping algebra of a lie algebra L, with the multiplication being *. However, this works only over the field of rationals QQ. How would one instead do this over the field of complex numbers CC?

L = LieAlgebra(QQ, {('e','h'): {'e':-2}, ('f','h'): {'f':2},

                ('e','f'): {'h':1}}, names='e,f,h')

e,f,h = L.lie_algebra_generators()

L.bracket(h, e)
2*e

elt = h*e; elt
e*h + 2*e