© 2005,2012 John Abbott and Anna M. Bigatti
GNU Free Documentation License, Version 1.2

CoCoALib Documentation Index

User documentation

The class RingWeylImpl implements a Weyl algebra.

Note that Weyl algebras are noncommutative.



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.