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