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

WittIdeal -- Ideals in Witt rings.

Description

A class for ideals in WittPolynomialRing and WittQuotientRing. It can be built using the wittIdeal method.

i1 : R = (ZZ/5)[x,y];
 
i2 : WR = witt(2, R);
 
i3 : w1 = witt{x,y};
 
i4 : w2 = witt{x^2, y^2};
 
i5 : w3 = witt{x^3, y^3};
 
i6 : WI = wittIdeal(w1, w2, w3)

                      2   2     3   3
o6 = ideal ({x, y}, {x , y }, {x , y })

o6 : WittIdeal

See also

Methods that use an object of class WittIdeal:

  • explicit(WittIdeal) -- Obtains the explicit version of a WittIdeal.
  • generators(WittIdeal) -- Extract the generators of a WittIdeal.
  • net(WittIdeal) (missing documentation)
  • trim(WittIdeal) (missing documentation)
  • WittIdeal * WittIdeal (missing documentation)
  • WittIdeal + WittIdeal (missing documentation)
  • WittIdeal == WittIdeal (missing documentation)
  • WittIdeal ^ ZZ (missing documentation)

For the programmer

The object WittIdeal 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:934:0.