reesIdeal(...,MinimalGenerators=>...) -- Whether the saturation step returns minimal generators

Synopsis

• Usage:

  reesIdeal(...,MinimalGenerators => X)

Description

Further information

• Default value: true
• Function: reesIdeal -- Compute the defining ideal of the Rees Algebra
• Option key: MinimalGenerators -- whether to compute minimal generators and return a trimmed set of generators

See also

• reesIdeal -- Compute the defining ideal of the Rees Algebra
• reesAlgebra -- Compute the defining ideal of the Rees Algebra
• isLinearType -- Determine whether module has linear type
• isReduction -- Determine whether an ideal is a reduction
• normalCone -- The normal cone of a subscheme
• multiplicity -- Compute the Hilbert-Samuel multiplicity of an ideal
• specialFiberIdeal -- Special fiber of a blowup
• specialFiber -- Special fiber of a blowup
• analyticSpread -- Compute the analytic spread of a module or ideal
• distinguished -- Compute the distinguished subvarieties of a pullback, intersection or cone
• minimalReduction -- Find a minimal reduction of an ideal
• saturate

Functions with optional argument named MinimalGenerators :

• "associatedPrimes(...,MinimalGenerators=>...)" -- see associatedPrimes -- find associated primes
• "intersect(Ideal,Ideal,MinimalGenerators=>...)" -- see intersect(Ideal,Ideal) -- compute an intersection of a sequence of ideals or modules
• "intersect(Module,Module,MinimalGenerators=>...)" -- see intersect(Ideal,Ideal) -- compute an intersection of a sequence of ideals or modules
• "intersectInP(...,MinimalGenerators=>...)" -- see intersectInP(...,BasisElementLimit=>...) -- Option for intersectInP
• "decompose(Ideal,MinimalGenerators=>...)" -- see minimalPrimes -- minimal primes of an ideal
• "minimalPrimes(...,MinimalGenerators=>...)" -- see minimalPrimes -- minimal primes of an ideal
• "primaryDecomposition(...,MinimalGenerators=>...)" -- see primaryDecomposition -- irredundant primary decomposition of an ideal
• "quotient(...,MinimalGenerators=>...)" -- see quotient(Module,Module) -- ideal or submodule quotient
• "analyticSpread(...,MinimalGenerators=>...)"
• "distinguished(...,MinimalGenerators=>...)"
• "isLinearType(...,MinimalGenerators=>...)"
• "isReduction(...,MinimalGenerators=>...)"
• "minimalReduction(...,MinimalGenerators=>...)"
• "multiplicity(...,MinimalGenerators=>...)"
• "normalCone(...,MinimalGenerators=>...)"
• "reesAlgebra(...,MinimalGenerators=>...)"
• reesIdeal(...,MinimalGenerators=>...) -- Whether the saturation step returns minimal generators
• "specialFiber(...,MinimalGenerators=>...)"
• "specialFiberIdeal(...,MinimalGenerators=>...)"
• "saturate(...,MinimalGenerators=>...)" -- see saturate -- saturation of ideal or submodule