Macaulay2 » Documentation
Packages » WittVectors :: WittPolynomialRing
next | previous | forward | backward | up | index | toc

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

Description

Can be built by using the witt method.

i1 : R = (ZZ/3)[x,y,z];
 
i2 : WR = witt(2, R)

o2 = Witt (R)
         2

o2 : WittPolynomialRing

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 /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/WittVectors/Documentation.m2:860:0.