Macaulay2 » Documentation
Packages » ReesAlgebra :: associatedGradedRing
next | previous | forward | backward | up | index | toc

associatedGradedRing -- The normal cone of a subscheme

Description

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 associatedGradedRing:

  • associatedGradedRing(Ideal)
  • associatedGradedRing(Ideal,RingElement)

For the programmer

The object associatedGradedRing is a method function with options.


The source of this document is in ReesAlgebra.m2:1286:0.