Subsections

• Creation of Structures
• Creation of Elements

IntegerRing(m) : RngIntElt -> RngIntRes

Integers(m) : RngIntElt -> RngIntRes

Create the residue class ring Z/mZ.

Given the ring of integers Z, and an integer m>1, create the residue class ring Z/mZ.

One(R) : RngIntRes -> RngIntResElt

Identity(R) : RngIntRes -> RngIntResElt

Zero(R) : RngIntRes -> RngIntResElt

Representative(R) : RngIntRes -> RngIntResElt

Create the residue class containing the integer k in residue class ring R.

Create the residue class containing k in the residue class ring R. Here k is allowed to be either an integer, or an element of the finite field F_p in the case R = Z/pZ, or an element of S = Z/nZ for a multiple or divisor n of m (with R = Z/mZ).

Create a `random' residue class in R.