ReesAlgebra : Table of Contents
- ReesAlgebra -- compute Rees algebras and integral closure of ideals
- analyticSpread -- compute the analytic spread
- analyticSpread(Ideal) -- compute the analytic spread of an ideal over a quotient ring
- analyticSpread(Module) -- compute the analytic spread of a module over a quotient ring
- distinguished -- computes the distinguished subvarieties of a scheme
- distinguished(..., Variable => ...) -- distinguished introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default is
- distinguishedAndMult -- compute the distinguished subvarieties of a variety along with their multiplicities
- distinguishedAndMult(..., Variable => ...) -- distinguishedAndMult introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default is
- idealIntegralClosure -- compute the integral closure of an ideal
- isLinearType -- determine if a module is of linear type
- isLinearType(Ideal) -- determine if the image of a matrix is of linear type
- isLinearType(Module) -- determine if the image of a matrix is of linear type
- multiplicity -- compute the multiplicity of an ideal or module
- multiplicity(Ideal) -- compute the Hilbert-Samuel multiplicty of an ideal
- multiplicity(Module,Ideal) -- compute the Hilbert-Samule multiplicity of a module with respect to an ideal
- reesAlgebra -- compute the Rees algebra
- reesAlgebra(..., Strategy => ...) -- rees introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default is
- reesAlgebra(..., Variable => ...) -- rees introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default is
- reesAlgebra(Ideal) -- compute the Rees algebra of an ideal over a quotient ring
- reesAlgebra(Module) -- compute the Rees algebra of a module over a quotient ring
- reesIdeal (missing documentation )
- specialFiber -- compute the special fiber
- specialFiber(..., Variable => ...) -- specialFiber introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default is
- specialFiber(Ideal) -- compute the special fiber of the image of a matrix over a quotient ring
- specialFiber(Module) -- compute the special fiber of the image of a matrix over a
- symmetricKernel -- compute the defining ideal of the rees algebra for a ma
- symmetricKernel(..., Variable => ...) -- symmetricKernel introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default variable is
- symmetricKernel(Matrix,Ideal) -- compute the defining ideal of the rees algebra for a ma
- symmetricKernel(Module) -- compute the defining ideal of the rees algebra for a ma
- universalEmbedding -- Compute the universal embedding