overring -- The cached overring of a Witt ring.

Usage:

WR.overring
Inputs:
- WR, an instance of the type WittPolynomialRing or an instance of the type WittQuotientRing,
Outputs:
- a ring,

Description

The overring of a Witt ring is the ambient ring used for explicit computations with Witt vectors. This value is also returned by wittOverring.

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

i2 : WR = witt(3, R);

i3 : WR.overring === wittOverring WR

o3 = true

The object overring is a symbol.

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