WittQuotientRing -- The class of the n-th Witt ring of a quotient of a polynomial ring.

Methods that use an object of class WittQuotientRing:

• explicit(WittQuotientRing) -- Expresses a WittQuotientRing as a finitely generated algebra over the integers.
• net(WittQuotientRing) (missing documentation)
• random(ZZ,WittQuotientRing) (missing documentation)
• substitute(ZZ,WittQuotientRing) (missing documentation)
• truncate(ZZ,WittQuotientRing) -- Crop Witt Quotient ring to the ring of Witt vectors of a given length
• unWitt(WittQuotientRing) -- see unWitt -- Returns the underlying ring R of a Witt ring W_n(R)
• wittFrobenius(WittQuotientRing) -- see wittFrobenius(WittPolynomialRing) -- The (Witt) Frobenius map of a Witt ring
• wittLength(WittQuotientRing) -- see wittLength -- Returns the length of the Witt vectors in a given Witt ring
• wittOverring(WittQuotientRing) -- see wittOverring -- Returns the n-th WittOverring of a ring R, or the overring of a witt ring.
• ZZ _ WittQuotientRing (missing documentation)

For the programmer

The object WittQuotientRing is a type, with ancestor classes MutableHashTable < HashTable < Thing.

The source of this document is in WittVectors/Documentation.m2:906:0.