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