The class RingWeylImpl implements a Weyl algebra.
Note that Weyl algebras are noncommutative.
NewWeylAlgebra(CoeffRing, NumTrueIndets, ElimIndets)
NewWeylAlgebra(CoeffRing, names, ElimIndets)
This first version implements the Weyl algebra by using a normal
polynomial ring internally (myReprRing) for manipulating the
elements, and simply doing the right thing for products (instead of
passing them directly onto myReprRing).
This documentation is extremely incomplete (time and energy are running out).
This version was produced in a considerable hurry, and worked by miracle.
There should be scope for some optimization, and perhaps some cleaning.