WittRingMap -- The class of maps between Witt rings.

Functions and methods returning an object of class WittRingMap:

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

Methods that use an object of class WittRingMap:

• baseMap(WittRingMap) -- Returns the underlying RingMap of a WittRingMap
• explicit(WittRingMap) (missing documentation)
• net(WittRingMap) (missing documentation)
• source(WittRingMap) (missing documentation)
• target(WittRingMap) (missing documentation)
• WittRingMap ^ ZZ (missing documentation)
• WittRingMap WittRingElement (missing documentation)

For the programmer

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

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