StandardAssociate( r )
StandardAssociate( R, r )
In the first form
StandardAssociate returns the standard associate of
the ring element r in its default ring (see DefaultRing). In the
StandardAssociate returns the standard associate of the
ring element r in the ring R.
The standard associate of an ring element r of R is an associated element of r which is, in a ring dependent way, distinguished among the set of associates of r. For example, in the ring of integers the standard associate is the absolute value.
gap> StandardAssociate( Integers, -17 ); 17
R.operations.StandardAssociate( R, r )
and returns the value.
The default function called this way is
which just signals an error, because there is no generic way even to
define the standard associate. Thus special categories of rings must
overlay this default function with other functions.
Previous Up Top Next