I need to work with the polynomial current Lie algebra of the general linear Lie algebra, that is glN[x], which I consider as a complex Lie algebra. In fact I would like to work with its universal enveloping algebra. But the Lie algebra in question is infinite-dimensional. How can I define it by specifying the structure constants?