Here I may be: an element of R ; a sequence of elements of R ; or a submodule of R^1 .
The names of the variables are assigned values in the new quotient ring by automatically running use R , unless R has a name, or one of the rings R is a quotient ring of has a name.
Quotient rings are bulky objects, because they contain a Groebner basis for their ideals, so only quotients of ZZ are remembered forever. Typically the ring created by R/I will be a brand new ring, and its elements will be incompatible with the elements of previously created quotient rings for the same ideal.
i1 = ZZ/2 === ZZ/(4,6) o1 = true
i2 = R = ZZ/101[t] o2 = R o2 : PolynomialRing
i3 = R/t === R/t o3 = false
See also QuotientRing and use.
Go to main index.
Go to concepts index.