User documentation

Examples

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.