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

Description

Given a WittRingElement w of W = witt(n,R) (i.e., a tuple) this returns the corresponding element of the overring of the explicit presentation of W (i.e., an element of wittOverring(n,R)))

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

Ways to use wittTupleToOverring:

wittTupleToOverring(WittRingElement) (missing documentation)

For the programmer

The object wittTupleToOverring is a method function.

The source of this document is in WittVectors/Documentation.m2:673:0.