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

Saturation -- ideal and submodule quotient, saturation, and annihilator routines

Description

This package provides various basic commutative algebra routines for working with ideals and modules.

Main functionalities

Authors

Version

This documentation describes version 0.3 of Saturation.

Source code

The source code from which this documentation is derived is in the file Saturation.m2. The auxiliary files accompanying it are in the directory Saturation/.

Exports

  • Functions and commands
  • Methods
    • annihilator(Ideal) -- see annihilator -- the annihilator ideal
    • annihilator(Module) -- see annihilator -- the annihilator ideal
    • annihilator(RingElement) -- see annihilator -- the annihilator ideal
    • isSupportedInZeroLocus(Ideal,GradedModule) -- see isSupportedInZeroLocus -- whether support of a module is contained in the zero locus of the (irrelevant) ideal
    • isSupportedInZeroLocus(Ideal,Ideal) -- see isSupportedInZeroLocus -- whether support of a module is contained in the zero locus of the (irrelevant) ideal
    • isSupportedInZeroLocus(Ideal,Module) -- see isSupportedInZeroLocus -- whether support of a module is contained in the zero locus of the (irrelevant) ideal
    • Ideal : Ideal -- see quotient(Module,Module) -- ideal or submodule quotient
    • Ideal : RingElement -- see quotient(Module,Module) -- ideal or submodule quotient
    • Module : Ideal -- see quotient(Module,Module) -- ideal or submodule quotient
    • Module : Module -- see quotient(Module,Module) -- ideal or submodule quotient
    • Module : RingElement -- see quotient(Module,Module) -- ideal or submodule quotient
    • quotient(Ideal,Ideal) -- see quotient(Module,Module) -- ideal or submodule quotient
    • quotient(Ideal,RingElement) -- see quotient(Module,Module) -- ideal or submodule quotient
    • quotient(Module,Ideal) -- see quotient(Module,Module) -- ideal or submodule quotient
    • quotient(Module,Module) -- ideal or submodule quotient
    • quotient(Module,RingElement) -- see quotient(Module,Module) -- ideal or submodule quotient
    • quotient(MonomialIdeal,RingElement) -- see quotient(Module,Module) -- ideal or submodule quotient
    • saturate(Ideal) -- see saturate -- saturation of ideal or submodule
    • saturate(Ideal,Ideal) -- see saturate -- saturation of ideal or submodule
    • saturate(Ideal,RingElement) -- see saturate -- saturation of ideal or submodule
    • saturate(Module) -- see saturate -- saturation of ideal or submodule
    • saturate(Module,Ideal) -- see saturate -- saturation of ideal or submodule
    • saturate(Module,RingElement) -- see saturate -- saturation of ideal or submodule
    • saturate(MonomialIdeal,RingElement) -- see saturate -- saturation of ideal or submodule
    • saturate(Vector) -- see saturate -- saturation of ideal or submodule
    • saturate(Vector,Ideal) -- see saturate -- saturation of ideal or submodule
    • saturate(Vector,RingElement) -- see saturate -- saturation of ideal or submodule

For the programmer

The object Saturation is a package.

Menu