> < ^ From:

> ^ Subject:

Dear gap-forum,

I understand that the category

IsMagmaRingModuloRelations

is not inherited to factor structures, of which I think the universal

enveloping algebra of a Lie algebra is an example. The URL for

finitely presented algebras seems to be under construction.

My question: is there nevertheless an analogue of

CoefficientsAndMagmaElements

for u.e.algebras (which should use the PBW-basis)?

Thanks,

Jan Draisma

> < [top]