witt(ZZ,RingMap) -- The map induced on Witt rings by a RingMap.

• Function: witt (missing documentation)

• Usage:

  witt(n,f)

• Inputs:
  • n, an integer,
  • f, a ring map,
• Outputs:
  • Wf, an instance of the type WittRingMap,

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

i2 : S = (ZZ/5)[a,b,c,d];

i3 : f = map(S, R, {a*b, c*d});

o3 : RingMap S <-- R

i4 : witt(2, f)

o4 = WittRingMap Witt (S) <-- Witt (R)
                     2            2

o4 : WittRingMap