Introduction

We think of this package as being useful for at least 4 things:

- 1. Simplifying complicated expressions (Chapter 9).
- 2. Eliminating unknowns from collections of polynomial equations and sorting the result. Indeed the package is aimed at discovering algebraic theorems and appealing formulas semi-automatically (Chapters 16 and 15 with examples in Chapters 14 and 17).
- 3. Finding small bases for ideals in a noncommuting algebra (Chapter 21).
- 4. Producing Groebner Bases in noncommuting situations (Chapter 9

This package can be used with the NCAlgebra package to add powerful automatic methods for handling collections of equations in noncommuting variables.

Most commutative algebra packages contain commands based on Gröbner Bases and uses of
Gröbner Basis. For example, in Mathematica, the Solve command puts collections of equations in a
“canonical” form which, for simple collections, readily yields a solution. Likewise, the
Mathematica Eliminate command tries to convert a collection of polynomial equations (e.g.,
{p_{j}(x_{1},…,x_{n}) = 0 : 1 ≤ j ≤ k_{1}}) in unknowns x_{1},x_{2},…x_{n} to a “triangular” form in unknowns, that
is, a new collection of equations like

The user who is not acquainted at all with Gröbner Basis should still be able to read and use most of the material which is contained within this document.

In [FMora], c.f. [TMora], F. Mora described a version of the Gröbner basis algorithm which applies to noncommutative free algebras. We refer to this algorithm as Mora’s algorithm and as the Gröbner Basis Algorithm. This strategy also puts collections of equations into a “canonical form” which we believe has considerable possibilities in the noncommutative case.

To learn how to install the program or use someone else’s installation, read Chapter ?? or Chapter ??.

The first thing you should do is read Part 1 to see examples of the basic commands.

If you are interested in simplification of expressions, you should read Chapter 9. Simplification is discussed in the papers [HW] and [HSW].

If you are interested in proving theorems and want to understand the ideas, you should read Chapter 16.

If you are interested in proving theorems and want to see examples, you should read Chapter 14. and Chapter 17 to see examples of the software in action.

If you want to understand the commands which were used to do the example in Chapter 14, then read Chapter 15.

If you want to compute Gröbner Bases, read Chapter 9.3 or read Chapter 20 without first reading anything else.

In addition,

- (1) The computer commands given in the text are generally shown in verbatim (e.g., NCProcess1) or italics.
- (2) The Mathematica variables are in bold face (e.g., MathVariable).
- (3) Filenames are in bold face (e.g., output.txt).