- Usage:
`normalCone I``normalCone(I,f)`

- Inputs:
`I`, an ideal`f`, a ring element, optional argument, if given it should be a non-zero divisor in the ideal I

- Outputs:
- a ring, the ring
*R[It] ⊗ R/I*of the normal cone of*I*

- a ring, the ring

The normal cone of an ideal *I⊂ R* is the ring *R/I ⊕ I/I ^{2} ⊕...*, also called the associated graded ring of

- reesAlgebra -- Compute the defining ideal of the Rees Algebra
- normalCone -- The normal cone of a subscheme
- normalCone -- The normal cone of a subscheme

- normalCone(Ideal)
- normalCone(Ideal,RingElement)