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

Methods that use an object of class WittPolynomialRing:

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

For the programmer

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

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