Given a (graded) ideal I in a (graded)local ring (R,m), this function computes the bigraded ring Gr_m(Gr_I(R)), presented as a quotient of a bigraded polynomial ring with variables names u and v. After being computed once, this ring is stored in the cache of I. This function is based on the method normalCone.





The object grGr is a method function.