code: def _do_test_benchmark_czichowski():
      R, x, t = ring("x,t", ZZ, lex)
      I = [
          9 * x**8
          + 36 * x**7
          - 32 * x**6
          - 252 * x**5
          - 78 * x**4
          + 468 * x**3
          + 288 * x**2
          - 108 * x
          + 9,
          (-72 - 72 * t) * x**7
          + (-256 - 252 * t) * x**6
          + (192 + 192 * t) * x**5
          + (1280 + 1260 * t) * x**4
          + (312 + 312 * t) * x**3
          + (-404 * t) * x**2
          + (-576 - 576 * t) * x
          + 96
          + 108 * t,
      ]
  
      assert groebner(I, R) == [
          3725588592068034903797967297424801242396746870413359539263038139343329273586196480000
          * x
          - 160420835591776763325581422211936558925462474417709511019228211783493866564923546661604487873
          * t**7
          - 1406108495478033395547109582678806497509499966197028487131115097902188374051595011248311352864
          * t**6
          - 5241326875850889518164640374668786338033653548841427557880599579174438246266263602956254030352
          * t**5
          - 10758917262823299139373269714910672770004760114329943852726887632013485035262879510837043892416
          * t**4
          - 13119383576444715672578819534846747735372132018341964647712009275306635391456880068261130581248
          * t**3
          - 9491412317016197146080450036267011389660653495578680036574753839055748080962214787557853941760
          * t**2
          - 3767520915562795326943800040277726397326609797172964377014046018280260848046603967211258368000
          * t
          - 632314652371226552085897259159210286886724229880266931574701654721512325555116066073245696000,
          610733380717522355121 * t**8
          + 6243748742141230639968 * t**7
          + 27761407182086143225024 * t**6
          + 70066148869420956398592 * t**5
          + 109701225644313784229376 * t**4
          + 109009005495588442152960 * t**3
          + 67072101084384786432000 * t**2
          + 23339979742629593088000 * t
          + 3513592776846090240000,
      ]
  
      R, x, t = ring("x,t", ZZ, grlex)
      I = [i.set_ring(R) for i in I]
  
      assert groebner(I, R) == [
          16996618586000601590732959134095643086442 * t**3 * x
          - 32936701459297092865176560282688198064839 * t**3
          + 78592411049800639484139414821529525782364 * t**2 * x
          - 120753953358671750165454009478961405619916 * t**2
          + 120988399875140799712152158915653654637280 * t * x
          - 144576390266626470824138354942076045758736 * t
          + 60017634054270480831259316163620768960 * x**2
          + 61976058033571109604821862786675242894400 * x
          - 56266268491293858791834120380427754600960,
          576689018321912327136790519059646508441672750656050290242749
          * t**4
          + 2326673103677477425562248201573604572527893938459296513327336
          * t**3
          + 110743790416688497407826310048520299245819959064297990236000
          * t**2
          * x
          + 3308669114229100853338245486174247752683277925010505284338016
          * t**2
          + 323150205645687941261103426627818874426097912639158572428800
          * t
          * x
          + 1914335199925152083917206349978534224695445819017286960055680
          * t
          + 861662882561803377986838989464278045397192862768588480000
          * x**2
          + 235296483281783440197069672204341465480107019878814196672000
          * x
          + 361850798943225141738895123621685122544503614946436727532800,
          -117584925286448670474763406733005510014188341867 * t**3
          + 68566565876066068463853874568722190223721653044 * t**2 * x
          - 435970731348366266878180788833437896139920683940 * t**2
          + 196297602447033751918195568051376792491869233408 * t * x
          - 525011527660010557871349062870980202067479780112 * t
          + 517905853447200553360289634770487684447317120 * x**3
          + 569119014870778921949288951688799397569321920 * x**2
          + 138877356748142786670127389526667463202210102080 * x
          - 205109210539096046121625447192779783475018619520,
          -3725142681462373002731339445216700112264527 * t**3
          + 583711207282060457652784180668273817487940 * t**2 * x
          - 12381382393074485225164741437227437062814908 * t**2
          + 151081054097783125250959636747516827435040 * t * x**2
          + 1814103857455163948531448580501928933873280 * t * x
          - 13353115629395094645843682074271212731433648 * t
          + 236415091385250007660606958022544983766080 * x**2
          + 1390443278862804663728298060085399578417600 * x
          - 4716885828494075789338754454248931750698880,
      ]
  
imports: from sympy.polys.groebnertools import groebner, sig, sig_key, lbp, lbp_key, critical_pair, cp_key, is_rewritable_or_comparable, Sign, Polyn, Num, s_poly, f5_reduce, groebner_lcm, groebner_gcd, is_groebner, is_reduced
  from sympy.polys.fglmtools import _representing_matrices
  from sympy.polys.orderings import lex, grlex
  from sympy.polys.rings import ring, xring
  from sympy.polys.domains import ZZ, QQ
  from sympy.testing.pytest import slow
  from sympy.polys import polyconfig
label_desc: Use image node_id 14 for calling a global function with example usage: _do_test_benchmark_czichowski() without return types