Examples
User documentation
The class RingWeylImpl implements a Weyl algebra.
Note that Weyl algebras are noncommutative.
Constructors
NewWeylAlgebra(CoeffRing, NumTrueIndets, ElimIndets)
NewWeylAlgebra(CoeffRing, names, ElimIndets)
Maintainer documentation
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
).
Bugs, shortcomings and other ideas
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.