wittRingToTuple -- Converts an element of the explicit presentation of a Witt ring into a tuple.

• Usage:

  w = wittRingToTuple r

• Inputs:
  • r, a ring element, an element of a ring that is of the form explicit(W) for W a Witt ring
• 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 : WR = explicit W

o3 = WR

o3 : QuotientRing

i4 : w = WR_0+WR_1+WR_2+WR_3

o4 = T         + T         + T         + T
      {0, {1}}    {1, {1}}    {1, {2}}    {1, {3}}

o4 : WR

i5 : wittRingToTuple(w)

          3    2
o5 = {x, x  + x  + x}

o5 : WittRingElement