wittOverringToTuple -- Converts an element of the explicit overring of a Witt ring into a tuple.

• Usage:

  w = wittOverringToTuple r

• Inputs:
  • r, a ring element, an element of a ring that is of the form wittOverring(n,R) a ring R
• Outputs:
  • w, an instance of the type WittRingElement,

i1 : R = ZZ/5[x]

o1 = R

o1 : PolynomialRing

i2 : W = witt(2,R)

o2 = Witt (R)
         2

o2 : WittPolynomialRing

i3 : OR = wittOverring(2,R)

o3 = OR

o3 : QuotientRing

i4 : w = OR_0^5

      5
o4 = T
      1

o4 : OR

i5 : wittOverringToTuple(w)

o5 = {x, 0}

o5 : WittRingElement