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,

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

i2 : WR = witt(5, R);

i3 : wittLength(WR)

o3 = 5