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