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,

Description

Given f: R -> S a RingMap between rings of positive characteristic and an integer $n \geq 1$, witt(n, f) returns the WittRingMap $W_n(f): W_n(R) \to W_n(S)$.

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

Ways to use this method:

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

The source of this document is in WittVectors/Documentation.m2:45:0.