wittTupleToOverring -- Converts an element of a Witt ring to an element of the overring of its explicit presentation.

• Usage:

  r = wittTupleToOverring w

• Inputs:
  • w, an instance of the type WittRingElement,
• Outputs:
  • r, a ring element, an element of a Witt overring

i1 : R = ZZ/5[x]

o1 = R

o1 : PolynomialRing

i2 : w = witt{x,x^5+x^4}

          5    4
o2 = {x, x  + x }

o2 : WittRingElement

i3 : wittTupleToOverring w

       5     4
o3 = 6T  + 5T
       1     1

     ZZ[T ]
         1
o3 : ------
       25