Saturation : Table of Contents

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

  • quotient(Module,Module) -- ideal or submodule quotient
  • annihilator -- the annihilator ideal
  • saturate -- saturation of ideal or submodule

    • isSupportedInZeroLocus -- whether support of a module is contained in the zero locus of the (irrelevant) ideal
• ideal quotients and saturation
• module quotients, saturation, and annihilator
• quotient(...,BasisElementLimit=>...)
• quotient(...,DegreeLimit=>...)
• quotient(...,PairLimit=>...)
• quotient(...,Strategy=>...)
• saturate(...,Strategy=>...)