witt(ZZ,PolynomialRing) -- Builds a Witt ring.

• Function: witt (missing documentation)

• Usage:

  witt(n, R)

• Inputs:
  • n, an integer,
  • R, a polynomial ring,
• Outputs:
  • an instance of the type WittPolynomialRing,

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

i2 : WR = witt(2, R)

o2 = Witt (R)
         2

o2 : WittPolynomialRing