up previous next
ZZ    --    the ring of integers


Syntax
ZZ: RING

Description
This system variable is constant; its value is the ring of integers. Its name is protected so that it cannot be re-assigned to any other value.

Example
/**/  type(5);
INT
/**/  type(RingElem(ZZ, 5));
RINGELEM

/**/  P ::= ZZ/(101)[x,y,z]; -- coeffs in quotient ring

See Also