wittFrobenius(WittRingElement) -- The (Witt) Frobenius map on an element

• Function: wittFrobenius (missing documentation)

• Usage:

  Fw = wittFrobenius w

• Inputs:
  • w, an instance of the type WittRingElement, an element of a Witt ring
• Outputs:
  • Fw, an instance of the type WittRingElement, the image of w under the Frobenius map

i1 : R = ZZ/5[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : w = witt{x,y,z}

o2 = {x, y, z}

o2 : WittRingElement

i3 : wittFrobenius(w) -- same as (wittFrobenius(R))(w)

       5   5   5
o3 = {x , y , z }

o3 : WittRingElement