|
||||||||||
| 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 multaplicative 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 behevious a group implements. The main hiearachy is GroupI -> AbelianGroupI -> RingI -> IntegralDomainI -> FieldI the other interfaces here add additiona functionality.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||