Macaulay2 » Documentation
Packages » WittVectors :: WittRingElement
next | previous | forward | backward | up | index | toc

WittRingElement -- The Type for elements of WittPolynomialRing and WittQuotientRing.

Description

Instances of WittRingElement can be built by using the witt method.

i1 : R = (ZZ/3)[x,y];
 
i2 : w = witt{x^2 + y^2, x}

       2    2
o2 = {x  + y , x}

o2 : WittRingElement

Functions and methods returning an object of class WittRingElement:

Methods that use an object of class WittRingElement:

  • - WittRingElement (missing documentation)
  • length(WittRingElement) (missing documentation)
  • net(WittRingElement) (missing documentation)
  • ring(WittRingElement) -- Returns the Witt ring that a WittRingElement belongs to
  • toList(WittRingElement) -- Converts a WittRingElement into a List
  • truncate(ZZ,WittRingElement) -- Crop Witt Vector to have a given length.
  • verschiebung(WittRingElement) -- The Verschiebung map on an element
  • wittIdeal(WittRingElement) -- see wittIdeal -- Make an ideal in a Witt ring.
  • WittRingElement * WittRingElement -- Multiplication of WittRingElements.
  • WittRingElement * ZZ (missing documentation)
  • WittRingElement + WittRingElement -- Addition of WittRingElements.
  • WittRingElement - WittRingElement (missing documentation)
  • WittRingElement == WittRingElement (missing documentation)
  • WittRingElement == ZZ (missing documentation)
  • WittRingElement ^ ZZ (missing documentation)
  • WittRingElement | WittRingElement (missing documentation)
  • wittTupleToOverring(WittRingElement) (missing documentation)
  • wittTupleToRing(WittRingElement) (missing documentation)
  • ZZ * WittRingElement (missing documentation)

For the programmer

The object WittRingElement 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:349:0.