next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
ReesAlgebra :: normalCone

normalCone -- The normal cone of a subscheme



The normal cone of an ideal I⊂ R is the ring R/I ⊕ I/I2 ⊕..., also called the associated graded ring of R with respect to I. If S is the Rees algebra of I, then this ring is isomorphic to S/IS, which is how it is computed here.

See also

Ways to use normalCone :