unWitt -- Returns the underlying ring R of a Witt ring W_n(R)

• Usage:

  R = unWitt(WR)

• Inputs:
  • WR, an instance of the type WittPolynomialRing,
  • WR, an instance of the type WittQuotientRing,
• Outputs:
  • R, a ring,

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

i2 : WR = witt(2, R);

i3 : unWitt(WR)

o3 = R

o3 : QuotientRing