> < ^ From:

< ^ Subject:

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

> < [top]