baseMap(WittRingMap) -- Returns the underlying RingMap of a WittRingMap

• Function: baseMap (missing documentation)

• Usage:

  f = baseMap Wf

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

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 : Wf = witt(2, f);

i5 : f === baseMap Wf

o5 = true