wittFrobenius -- The (Witt) Frobenius map of a Witt ring

• Usage:

  phi = wittFrobenius W

• Inputs:
  • W, an instance of the type WittPolynomialRing or an instance of the type WittQuotientRing, The Witt ring of a ring R of positive characteristic
• Outputs:
  • phi, an instance of the type WittRingMap, the Frobenius map on W

i1 : R = ZZ/5[x]

o1 = R

o1 : PolynomialRing

i2 : W = witt(2,R);

i3 : phi = wittFrobenius W;