| Class | Description |
|---|---|
| Equation |
A class to represent equations, that is, pairs of terms.
|
| Equations |
A class of static methods for equations.
|
| Presentation |
Presentations for finitely presented algebras
consisting of a list of variables and equations
thought of as relations.
|
Copyright 2003 Ralph Freese. All Rights Reserved.