
    sg#                        d Z ddlmZ ddlmZ ddlmZ  ede      \  ZZZ	Z
ZZZZZZZZZej(                  Zee	fe	e
feefeefeefe	efe	efe
efe
efeefeefeefeefeefeefeefeefeefeefeefeefeefeefgZeD  cg c]
  } | dz  dz
   c} ZeD  cg c]  \  } }| dz  | |z  z   |dz  z    c}} Zeez   Zeez   e
dz  e
ez  z   edz  z   gz   Zd	 Zd
 Zyc c} w c c}} w )z,Benchmark of the Groebner bases algorithms.     )ring)QQ)groebnerzx1:13         c                  8    t        t        t              dgk7  sJ y Nr   )r   F_1R     ]/var/www/html/venv/lib/python3.12/site-packages/sympy/polys/benchmarks/bench_groebnertools.py&time_vertex_color_12_vertices_23_edgesr          Cs"""r   c                  8    t        t        t              dgk(  sJ y r
   )r   F_2r   r   r   r   &time_vertex_color_12_vertices_24_edgesr      r   r   N)__doc__sympy.polys.ringsr   sympy.polys.domainsr   sympy.polys.groebnertoolsr   r   x1x2x3x4x5x6x7x8x9x10x11x12gensVEF3Fgr   r   r   r   )xys   00r   <module>r,      s^   2 # " .7;GR7H 42r2r2r2r2sCFF"XBx"bB8b#YR2r(RQSH#YS	B8b"XBx"bB8bRUY	3Z#sb#YR2s)b#YS	S Aq!tax%&(TQq!taczAqD(2g2gQBQ&''## (s   CC"