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

normalCone -- The normal cone of a subscheme



The normal cone of an ideal $I\subset{} R$ is the ring $R/I \oplus{} I/I^2 \oplus \ldots$, 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 :

For the programmer

The object normalCone is a method function with options.