Dear Jan,

You asked:

Will the code you sent me be included in the next release?

It will not. The reason for this is that the next release is in
the process of being wrapped up, and we want to avoid hastily introducing
new code into it. However, we definitely plan to include it into GAP
in the future.

Als you wrote:

Then the Weyl algebra is U(L)/(1-One). Hence, by changing the reduction
to normal form in UniversalEnvelopingAlgebra such that it simply
leaves out the power of One, one gets an easy implementation of the
Weyl algebra. The code you sent me `turns out' to work automatically for
this case, too (I realize that such reasoning is only o.k.
for doing some calculations, not for development purposes.)

In fact, this is no accident. The code will work for all spaces
that claim to be IsElementOfFpAlgebraCollection. So if you create
your Weyl algebras using the same function as is used for universal
enveloping algebras, then subspaces will lie in that category.

Best wishes,

Willem de Graaf