verschiebung -- The Verschiebung map on an element

• Usage:

  Vw = verschiebung w

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

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

o1 = R

o1 : PolynomialRing

i2 : w = witt{x,y}

o2 = {x, y}

o2 : WittRingElement

i3 : verschiebung(w)

o3 = {0, x, y}

o3 : WittRingElement