WittRingMap -- The class of maps between Witt rings.

Description

In our implementation, a map of WittRings is always induced by a map between the underlying rings. WittRingMaps can operate on WittRingElements.

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);

witt(ZZ,RingMap) -- The map induced on Witt rings by a RingMap.
witt(ZZ,ZZ,RingMap) -- The map induced on Witt rings by a RingMap.
wittFrobenius(WittPolynomialRing) -- The (Witt) Frobenius map of a Witt ring
wittFrobenius(WittQuotientRing) -- see wittFrobenius(WittPolynomialRing) -- The (Witt) Frobenius map of a Witt ring
wittFrobenius(ZZ,Ring) -- The (Witt) Frobenius map on the Witt vectors of a ring
WittRingMap * WittRingMap (missing documentation)

The object WittRingMap is a type, with ancestor classes MutableHashTable < HashTable < Thing.

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/WittVectors/Documentation.m2:112:0.