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.