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 :

• adjoint(...,MinimalGenerators=>...) (missing documentation)
• associatedPrimes(...,MinimalGenerators=>...) -- see associatedPrimes -- find associated primes
• canonicalBundle(...,MinimalGenerators=>...) (missing documentation)
• compose(Module,Module,Module,MinimalGenerators=>...) -- see compose -- composition as a pairing on Hom-modules
• cotangentSheaf(...,MinimalGenerators=>...) -- see cotangentSheaf(ProjectiveVariety) -- cotangent sheaf of a projective variety
• dual(ChainComplex,MinimalGenerators=>...) (missing documentation)
• dual(Matrix,MinimalGenerators=>...) (missing documentation)
• dual(SheafMap,MinimalGenerators=>...) (missing documentation)
• End(...,MinimalGenerators=>...) -- see End -- module of endomorphisms
• Hom(...,MinimalGenerators=>...) -- see Hom -- module of homomorphisms
• homomorphism'(...,MinimalGenerators=>...) -- see homomorphism' -- get the element of Hom from a homomorphism
• 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
• sheafExt(ZZ,CoherentSheaf,CoherentSheaf,MinimalGenerators=>...) (missing documentation)
• sheafExt(ZZ,CoherentSheaf,SheafOfRings,MinimalGenerators=>...) (missing documentation)
• sheafExt(ZZ,SheafOfRings,CoherentSheaf,MinimalGenerators=>...) (missing documentation)
• sheafExt(ZZ,SheafOfRings,SheafOfRings,MinimalGenerators=>...) (missing documentation)
• sheafHom(...,MinimalGenerators=>...) (missing documentation)
• tangentSheaf(...,MinimalGenerators=>...) -- see tangentSheaf(ProjectiveVariety) -- tangent sheaf of a projective variety
• truncate(InfiniteNumber,Thing,MinimalGenerators=>...) (missing documentation)
• truncate(List,Ideal,MinimalGenerators=>...) (missing documentation)
• truncate(List,Matrix,MinimalGenerators=>...) -- see truncate(List,Matrix) -- truncation of a map of free modules
• truncate(List,Module,MinimalGenerators=>...) -- see truncate(List,Module) -- truncation of the graded ring, ideal or module at a specified degree or set of degrees
• truncate(List,Ring,MinimalGenerators=>...) (missing documentation)
• truncate(ZZ,Ideal,MinimalGenerators=>...) (missing documentation)
• truncate(ZZ,Matrix,MinimalGenerators=>...) (missing documentation)
• truncate(ZZ,Module,MinimalGenerators=>...) (missing documentation)
• truncate(ZZ,Ring,MinimalGenerators=>...) (missing documentation)