We provide algorithms, written in the GAP 4 programming language, for computing Gröbner bases of non-commutative polynomials, and some variations, such as a weighted and truncated version and a tracing facility. In addition, there are algorithms for analyzing the quotient of a non-commutative polynomial algebra by a 2-sided ideal generated by a set of polynomials whose Gröbner basis has been determined and for computing quotient modules of free modules over quotient algebras.
We have released several webstart applications through our website. Click here to access all webstart applications.
Daemon-like programs, like computer algebra systems, cannot understand OpenMath. Phrasebooks translate OpenMath to the program's own language and vice versa such that the program can communicate with OpenMath-using utilities.
- OpenMath Phrasebooks Detail
- GAP Phrasebook
- Magma Phrasebook
- Mathematica Phrasebook
- MathML Phrasebook