| 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.