| BasicRules | Represents methods to perform basic pre- and post- simplification transformation. |
| Constants | Symbolic constants. |
| Converter | Provides conversion to and from MItem instances. |
| Expansion | Symbolic expression preprocessing methods to use before the simplification. |
| Expression | Provides symbolic operations against mathematical expressions. |
| MItem | Symbolic representation of a mathematical expression. |
| MMatrix | Symbolic representation of a matrix. |