|
|||||||||
| 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 | ||||||||