# grGr -- the bigraded ring Gr_m(Gr_I(R))

## Synopsis

• Usage:
grGr(I)
• Inputs:
• m, an ideal, (assumed to be the irrelevant ideal of R, if not specified)
• I, an ideal,
• Outputs:
• a ring, the bigraded ring Gr_m(Gr_I(R))

## Description

Given a (graded) ideal I in a (graded-)local ring (R,m), this function computes the bi-graded 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.

 i1 : R = QQ[x,y] o1 = R o1 : PolynomialRing i2 : I = ideal"x2,xy" 2 o2 = ideal (x , x*y) o2 : Ideal of R i3 : A = grGr I o3 = A o3 : QuotientRing i4 : describe A QQ[u ..v ] 0 1 o4 = ----------------------- 2 (u v - u v , u , u u ) 0 1 1 0 1 0 1 i5 : hilbertSeries A 2 3 2 1 - 2T - T T + T + T T 0 0 1 0 0 1 o5 = -------------------------- 2 2 (1 - T ) (1 - T ) 1 0 o5 : Expression of class Divide
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.6034762263298035, "perplexity": 1116.9848840595034}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2023-06/segments/1674764500288.69/warc/CC-MAIN-20230205193202-20230205223202-00394.warc.gz"}