minimalReduction(...,BasisElementLimit=>...) -- Bound the number of Groebner basis elements to compute in the saturation step

Synopsis

• Usage:

  reesIdeal(...,BasisElementLimit => X)

Description

Further information

• Default value: infinity
• Function: minimalReduction -- Find a minimal reduction of an ideal
• Option key: BasisElementLimit -- an optional argument

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 BasisElementLimit :

• gb(...,BasisElementLimit=>...) -- see gb -- compute a Gröbner basis
• intersectInP(...,BasisElementLimit=>...) -- Option for intersectInP
• analyticSpread(...,BasisElementLimit=>...)
• distinguished(...,BasisElementLimit=>...)
• isLinearType(...,BasisElementLimit=>...)
• isReduction(...,BasisElementLimit=>...)
• minimalReduction(...,BasisElementLimit=>...) -- Bound the number of Groebner basis elements to compute in the saturation step
• multiplicity(...,BasisElementLimit=>...)
• normalCone(...,BasisElementLimit=>...)
• reesAlgebra(...,BasisElementLimit=>...)
• reesIdeal(...,BasisElementLimit=>...)
• specialFiber(...,BasisElementLimit=>...)
• specialFiberIdeal(...,BasisElementLimit=>...)
• quotient(...,BasisElementLimit=>...)
• saturate(...,BasisElementLimit=>...) -- see quotient(...,BasisElementLimit=>...)
• syz(...,BasisElementLimit=>...) -- see syz(Matrix) -- compute the syzygy matrix