Ideal

Ideal -- the class of all ideals.

The justification for considering an ideal I as different from a submodule M of R^1 is some methods are different. For example, M^3 is a direct sum, whereas I^3 is still an ideal. Similar remarks apply to dim and codim.

Creating ideals:

  • annihilator
  • fittingIdeal
  • Grassmannian
  • ideal
  • quotient
  • Operations on ideals:

  • Ideal + Ideal
  • Ideal * Ideal
  • Ideal ^ ZZ
  • codim
  • decompose
  • dim
  • Fano
  • module
  • radical
  • removeLowestDimension
  • top

  • topindexpreviousupnext