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