up previous next

ZZ

the ring of integers

Syntax

ZZ

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

/**/ P ::= ZZ/(101)[x,y,z]; /**/ Use ZZ; /**/ type(5); INT /**/ type(RingElem(ZZ, 5)); RINGELEM

See Also

• QQ