| Interface | Description |
|---|---|
| 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.
|
Copyright © 2018. All rights reserved.