explicit -- Convert Witt objects to explicit presentations.

Usage:

E = explicit x
Inputs:
- x, a thing,
Outputs:
- E, a thing,

Description

In this package, explicit converts Witt rings, Witt ideals, and Witt ring maps to ordinary rings, ideals, and maps used for computation.

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

i2 : W = witt(2, R);

i3 : explicit W

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

o3 : QuotientRing

Ways to use explicit:

explicit(WittIdeal) -- Obtains the explicit version of a WittIdeal.
explicit(WittPolynomialRing) -- Expresses a WittPolynomialRing as a finitely generated algebra over the integers.
explicit(WittQuotientRing) -- Expresses a WittQuotientRing as a finitely generated algebra over the integers.
explicit(WittRingMap) (missing documentation)

For the programmer

The object explicit is a method function.

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