|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
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. the integers. |
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. an abelian group under + with a closed * operator and * distributitive over +. |
Interfaces defining behavious a group implements. The main hiearachy is GroupI -> AbelianGroupI -> RingI -> IntegralDomainI -> FieldI the other interfaces here add additional functionality.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |