Variable => ..., -- Choose name for variables in the created ring
Description
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
reesAlgebra -- compute the defining ideal of the Rees Algebra