|
Interface Summary |
| AbelianGroupI |
Represents a abelian (commutative) group. |
| FieldI |
Represents a field. |
| HasDivI |
An IntergralDomainI which also has a notion of division,
which is not necessarily closed i.e. |
| HasListI |
Group implements a List function [a,b,c]. |
| HasModI |
Group has a mod operator a % b. |
| HasPowerI |
Group has a power operator a ^ b. |
| IntegralDomainI |
A RingI which has a multiplicative indentity. |
| OrderedSetI |
Groups which have a total ordering, i.e <, >= make sense. |
| RingI |
Defines the operations on a ring, i.e. |