QuotientRing

Input: QuotientRing(R, I)
$$R / I$$

The quotient ring of residue classes of the ring $R$ modulo the ideal $I$.

Input: NotElement(2, QuotientRing(ZZ, 3*ZZ))
$$2 \notin \mathbb{Z} / 3 \mathbb{Z}$$

The elements of a quotient ring are formal residue class objects, not elements of the original ring.

Last updated: 2020-03-06 00:22:16