explicit(WittQuotientRing) -- Expresses a WittQuotientRing as a finitely generated algebra over the integers.

Function: explicit (missing documentation)
Usage:

E = explicit(WR)
Inputs:
- WR, an instance of the type WittQuotientRing,
Outputs:
- E, a ring,

Description

If R is a finitely generated algebra over a prime field ZZ/p, and WR = witt(n, R) for some $n \geq 1$, then explicit(WR) returns the ring WR as a finitely generated ZZ-algebra.

When the base field of R is a finite field, but not prime, the package essentially first writes R as a finitely generated algebra over its prime subfield, and then applies the method.

i1 : R = (ZZ/2)[x] / ideal(x^2);

i2 : WR = witt(2, R);

i3 : explicit(WR)

                            ZZ[T        , T        ]
                                {0, {1}}   {1, {1}}
o3 = ---------------------------------------------------------------------
                                       2                         2
     (2T        , T        T        , T        , 4, 2T        , T        )
        {0, {1}}   {0, {1}} {1, {1}}   {0, {1}}       {1, {1}}   {1, {1}}

o3 : QuotientRing

Ways to use this method:

explicit(WittQuotientRing) -- Expresses a WittQuotientRing as a finitely generated algebra over the integers.

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