wittTupleToRing -- Converts an element of a Witt ring to an element of its explicit presentation.

Usage:

r = wittTupleToRing w
Inputs:
- w, an instance of the type WittRingElement,
Outputs:
- r, a ring element, an element of a ring that is of the form explicit(W) for W a Witt ring

Description

Given a WittRingElement w of W (i.e., a tuple) this returns the corresponding element of the explicit presentation of W (i.e., an element of explicit(W))

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 : wittTupleToRing w

o3 = 6T         + T
       {0, {1}}    {1, {4}}

                                                                                     ZZ[T        , T        , T        , T        , T        ]
                                                                                         {0, {1}}   {1, {1}}   {1, {2}}   {1, {3}}   {1, {4}}
o3 : ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
                                                           2                                                                      2                                                  2                              2
     (25, 5T        , 5T        , 5T        , 5T        , T        , T        T        , T        T        , T        T        , T        , T        T        , T        T        , T        , T        T        , T        )
            {1, {4}}    {1, {3}}    {1, {2}}    {1, {1}}   {1, {4}}   {1, {3}} {1, {4}}   {1, {2}} {1, {4}}   {1, {1}} {1, {4}}   {1, {3}}   {1, {2}} {1, {3}}   {1, {1}} {1, {3}}   {1, {2}}   {1, {1}} {1, {2}}   {1, {1}}

Ways to use wittTupleToRing:

wittTupleToRing(WittRingElement) (missing documentation)

For the programmer

The object wittTupleToRing is a method function.

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/WittVectors/Documentation.m2:652:0.