Partitions are implemented as structures consisting of two components, this
is done analogously to the implementation of objects:
It is important to note the following:
- The first
component, the kind, tells us how they are coded,
- and the second part,
the self-part, is an object, which implements the partition.
At the moment there are two different implementations of partitions:
- the first method, means that
kind == VECTOR
and the self part is a VECTORobject of INTEGERobjects, which are
the parts of the partition,
- the second method has
kind == EXPONENT
and the self part is again a VECTORobject of INTEGERobjects, which
are now the multiplicities of the parts.
routines work with the first kind (=VECTOR), for
example the routine scan(). Hence the kind VECTOR is the default value of kind!
last changed: November 19, 2001