wittFrobenius(ZZ,Ring) -- The (Witt) Frobenius map on the Witt vectors of a ring

• Function: wittFrobenius (missing documentation)

• Usage:

  phi = wittFrobenius(n, R)

• Inputs:
  • n, an integer, a positive integer, the length of the Witt vectors to consider
  • R, a ring, a ring of positive characteristic
• Outputs:
  • phi, an instance of the type WittRingMap, the Frobenius map on witt(n,R)

i1 : R = ZZ/5[x]

o1 = R

o1 : PolynomialRing

i2 : phi = wittFrobenius(2,R)

o2 = WittRingMap Witt (R) <-- Witt (R)
                     2            2

o2 : WittRingMap