wittLength -- Returns the length of the Witt vectors in a given Witt ring

Usage:

n = wittLength(WR)
Inputs:
- WR, an instance of the type WittPolynomialRing,
- WR, an instance of the type WittQuotientRing,
Outputs:
- n, an integer,

Description

If $WR = W_n(R)$ for some polynomial or quotient ring R, and some integer $n \geq 1$, wittLength(WR) returns the integer n.

i1 : R = GF(9)[x,y];

i2 : WR = witt(5, R);

i3 : wittLength(WR)

o3 = 5

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