+
    iH                     h   R t ^ RIHtHtHtHtHtHtHtH	t	H
t
HtHtHtHtHtHtHtHt ^ RIHt ^ RIHtHt ^ RIHtHt ^ RIHtHt ^ RIHt ^ RI H!t" R t#R	 t$R
 t%R t&R t'R t(R t)R t*R t+R t,R t-R t.R t/R t0]R 4       t1R t2R t3R t4R t5R t6R t7R t8R t9R t:R  t;R! t<R" t=R# t>R$ t?R% t@R&# )'zTests for Groebner bases. )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)_representing_matrices)lexgrlex)ringxring)ZZQQ)slow)
polyconfigc                     \        R \        \        4      w  rpV^,          ^V,          V^,          ,          ,           pW,          ^V^,          ,          ,           ^,
          p\        W4.V 4      W^,          \        ^^4      ,
          .8X  g   Q h\        R\        \        4      w  rp^V^,          ,          V,          V^,          ,           p^V^,          ,          W,          ,           ^,
          p\        W4.V 4      W!^,          \        ^^4      ,
          .8X  g   Q h\        R\        \        4      w  rr%W^,          ,
          pW%^,          ,
          p\        W4.V 4      W4.8X  g   Q h\        R \        \        4      w  rpV^,          ^V,          V,          ,
          pV^,          V,          V,           ^V^,          ,          ,
          p\        W4.V 4      V^,          W,          \        ^^4      ) V,          V^,          ,           .8X  g   Q h\        R\        \        4      w  rr%V^,          ) V,           pV^,          ) V,           p\        W4.V 4      V^,          V,
          W,          V,
          W,          V^,          ,
          V^,          V^,          ,
          .8X  g   Q h\        R\        \        4      w  rr%V^,          ) V,           pV^,          ) V,           p\        W4.V 4      V^,          V^,          ,
          V^,          V,
          W,          V,
          W,          V^,          ,
          .8X  g   Q h\        R\        \        4      w  rr%V^,          ) V,           pV^,          ) V,           p\        W4.V 4      V^,          V,
          W,          V^,          ,
          W,          V,
          V^,          V^,          ,
          .8X  g   Q h\        R\        \        4      w  rr%V^,          ) V,           pV^,          ) V,           p\        W4.V 4      V^,          ) V^,          ,           V^,          V,
          W,          V^,          ,
          W,          V,
          .8X  g   Q h\        R\        \        4      w  rr%W^,          ,
          pV^,          ) V,           p\        W4.V 4      W^,          ,
          V^,          V,
          .8X  g   Q h\        R\        \        4      w  rr%W^,          ,
          pV^,          ) V,           p\        W4.V 4      V^,          W%,          ,
          W,          V,
          V) V^,          ,           .8X  g   Q h\        R\        \        4      w  rr%W^,          ,
          pW%^,          ,
          p\        W4.V 4      W^,          ,
          W%^,          ,
          .8X  g   Q h\        R\        \        4      w  rr%W^,          ,
          pW%^,          ,
          p\        W4.V 4      V^,          W%,          ,
          W,          V,
          V) V^,          ,           .8X  g   Q h\        R\        \        4      w  rr%V^,          ) V,           pW^,          ,
          p\        W4.V 4      WV,          ,
          V^,          V,
          .8X  g   Q h\        R\        \        4      w  rr%V^,          ) V,           pW^,          ,
          p\        W4.V 4      V^,          ) V^,          ,           W,          V^,          ,
          V^,          V,
          V) W%,          ,           .8X  g   Q h\        R\        \        4      w  rr%W%^,          ,
          pW^,          ,
          p\        W4.V 4      W^,          ,
          W%^,          ,
          .8X  g   Q h\        R\        \        4      w  rr%W%^,          ,
          pW^,          ,
          p\        W4.V 4      V^,          ) V^,          ,           W,          V^,          ,
          V) W%,          ,           V) V^,          ,           .8X  g   Q h\        R\        \        4      w  rr%^V^,          ,          V^,          ,          ^V,          V,          ,           ^,           pV^,          V^,          ,           ^,
          p\        W4.V 4      V^V^,          ,          ,
          ^V^,          ,          ,           ^V^,          ,          ,
          ^V,          ,           V^,          ^V^,          ,          ,
          \        ^^4      V^,          ,          ,           \        ^^4      V^,          ,          ,
          \        ^^4      ,           .8X  g   Q hR# )x,yzy,xx,y,zN)r   r   r   r   r   )Rxyfgzs         b/var/www/html/photoedit/myenv/lib/python3.14/site-packages/sympy/polys/tests/test_groebnertools.py_do_test_groebnerr&      sC   %S!FA	1qs1a4xA	a1fqAQFA1dR!Wn"5555%S!FA	!Q$q1a4A	!Q$qAQFA1dR!Wn"5555GR%HA	qDA	qDAQFA1&(((%U#FA	1qs1uA	1Q
Qq!tVAQFA1a4r!Awhqj1a4.?"@@@@GR%HA	
A	A	
A	AQFA1a4!8QS1WacAqDj!Q$A+"NNNNGR'HA	
A	A	
A	AQFA1a4!Q$;1q!#'13A:"NNNNGR%HA	
A	A	
A	AQFA1a4!8QS1a4Zq!Q$A+"NNNNGR'HA	
A	A	
A	AQFAAqD51a4<A13A:qsQw"OOOOGR%HA	qDA	
A	AQFA1!t8QTAX"6666GR'HA	qDA	
A	AQFA1a4!#:qsQwQT	"BBBBGR%HA	qDA	qDAQFA1!t8QAX"6666GR'HA	qDA	qDAQFA1a4!#:qsQwQT	"BBBBGR%HA	
A	A	qDAQFA1s7AqD1H"5555GR'HA	
A	A	qDAQFAAqD51a4<q!tQTAXrACx"PPPPGR%HA	qDA	qDAQFA1!t8QAX"6666GR'HA	qDA	qDAQFAAqD51a4<q!taR!#XrAqDy"QQQQGR%HA	!Q$q!tac!eaA	1q!taAQFA	AadF
Qq!tVa1f$qs*	1qAv1Q1$r!Awq!t|3b2h>#       c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; i
buchbergerr   Nconfigusingr&    r'   r%   test_groebner_buchbergerr0      s&    	|	,	, 
-	,	,	,	   5A	c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; if5br+   Nr,   r/   r'   r%   test_groebner_f5br5      s&    	u	%	% 
&	%	%	%r1   c                  z   \        R \        \        4      w  rr#V^,          V,           ^,           V^,          V,           ^,           W,           V,          V^,          V,           ,
          .pV\        ^R4      V^,          ,          ,           \        RR4      V^,          ,          ,
          \        RR4      V^,          ,          ,           \        RR4      V^,          ,          ,
          \        RR4      V,          ,           \        ^^54      ,
          V\        ^^54      V^,          ,          ,           \        ^[^4      V^,          ,          ,
          \        R^4      V^,          ,          ,           \        R^54      V^,          ,          ,
          \        R	^4      V,          ,           \        R
^4      ,
          V^,          ^V^,          ,          ,
          ^)V^,          ,          ,           ^RV^,          ,          ,
          ^YV^,          ,          ,           ^.V,          ,
          ^,           .p\        W@4      V8X  g   Q hR# )r   i  ic  i  i  ig  i  i  i  i  i4  N)r   r   r   r   )r   r    r!   r$   FGs         r%   _do_test_benchmark_minpolyr9      s   GR%HA	
AAq!tax!|aeq[AqD1H%=>A	
RD\!Q$	CQT!1	1BtDM!Q$4F	FDQTVWYZVZIZ	Z]_`dei]jkl]l	loqrtuwox	x	
R"Xad]	R3Z1_	,r#c{1a4/?	?"S*QPQT/	QTVW[\_T`abTb	beghkloep	p	
A!Q$AqD	 2ad7	*R1W	4r!t	;b	@	BA A>Qr'   c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir)   r-   r.   r9   r/   r'   r%   !test_benchmark_minpoly_buchbergerr<      s&    	|	,	,"$ 
-	,	,	,r1   c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir3   r;   r/   r'   r%   test_benchmark_minpoly_f5br>      s&    	u	%	%"$ 
&	%	%	%r1   c                  x   \        ^^4      p . ROp\        V  Uu. uF  pRV,          NK  	  up\        \        4      w  r0V UUu. uF#  w  rEW^,
          ,          W^,
          ,          3NK%  	  pppV w  rgrrrrppV  Uu. uF  pV^,          ^,
          NK  	  ppV UUu. uF+  w  ppV^,          VV,          ,           V^,          ,           NK-  	  pppVV,           p\	        VRR V4      VV,           V,           VV,
          VV,
          V	V,
          V
V,           V,           VV,
          VV,
          VV,           V,           VV,
          VV,           V,           V^,          VV,          ,           V^,          ,           V^,          ^,
          .8X  g   Q h\	        VV4      ^.8X  g   Q hR# u upi u uppi u upi u uppi )   zx%dN))r@      )rA      )r@      )r@      )r@      )rA      )rA      )rB      )rB   
   )rC      )rC   	   )rF   rD   )rD   rG   )rG   rH   )rH   rK   )rK   rI   )rI   rJ   )rJ   rE   )rF   rE   )rF   rK   )rD   rI   )rG   rJ   )rH   rE   )rB   rC   )ranger   r   r   r   )VEvr   ijx1x2x3x4x5x6x7x8x9x10x11x12r    I3r!   IgIs                          r%   test_benchmark_coloringrb      s   aA	GA a)a5199a)2s3DA*+,!$!!E(A!eH	!A,895BBBBBS#	Aq!Q$((AB	()	*1!Q$1*q!t

B	*
RAAcrFA
S3
S
S
S
S3
S
S
S3
Sc	CQS36!Q
#    Aq>aS   3 *, 
	*s   F&)F+>F11F6c                  *   \        R \        \        4      w  rr#V^V,          ,           ^V,          ,           ^,
          V^,          ^V^,          ,          ,           ^V^,          ,          ,           V,
          ^V,          V,          ^V,          V,          ,           V,
          .p\        W@4      R^V,          ,           ^V,          ,           ^V^,          ,          ,           RV^,          ,          ,
          ^V,          ^V,          ,           ^OV^,          ,          ,
          ^V^,          ,          ,           W3^,          ,           ^(V^,          ,          ,
          ^TV^,          ,          ,           .8X  g   Q h\        R \        \        4      w  rr#V Uu. uF  qUP                  V 4      NK  	  pp\        W@4      ^V,          ^V,          ,           ^OV^,          ,          ,
          ^V^,          ,          ,           V) V,           ^V^,          ,          ,
          ^V^,          ,          ,           V) ^V,          ,
          ^
V,          V,          ,           ^V^,          ,          ,           RV,           ^V,          ,           ^V,          ,           .8X  g   Q hR# u upi )zx:3i  NirL   r   r   r   r   r   set_ring)r   x0rS   rT   ra   rQ   s         r%   _do_test_benchmark_katsura_3rg      s   ub#&KA"	adQrT	A		Q2q51RU7	"R	'	
2b1R47	R		!A A>
QrT	AbD3r1u9$s2q5y0	"qtbQhRU*
U
RAX2q5(    ub%(KA"!"$A**Q-A$A>	"qtbQhRU*	b1RU7Qr1uW$	ad
RU2X2q5(
R!B$2	    	%s   Jc                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir)   r-   r.   rg   r/   r'   r%   "test_benchmark_katsura3_buchbergerrj      &    	|	,	,$& 
-	,	,	,r1   c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir3   ri   r/   r'   r%   test_benchmark_katsura3_f5brm      &    	u	%	%$& 
&	%	%	%r1   c                      \        R \        \        4      w  rr#pV^V,          ,           ^V,          ,           ^V,          ,           ^,
          V^,          ^V^,          ,          ,           ^V^,          ,          ,           ^V^,          ,          ,           V,
          ^V,          V,          ^V,          V,          ,           ^V,          V,          ,           V,
          V^,          ^V,          V,          ,           ^V,          V,          ,           V,
          .p\        WP4      RV,          RV^,          ,          ,
          RV^,          ,          ,           RV^,          ,          ,           RV^,          ,          ,
          RV^,          ,          ,
          RV^,          ,          ,           RV,          ,           R,
          R	V,          R
V^,          ,          ,
          RV^,          ,          ,           RV^,          ,          ,
          RV^,          ,          ,
          RV^,          ,          ,           RV^,          ,          ,
          RV,          ,
          RV,          RV^,          ,          ,           RV^,          ,          ,
          RV^,          ,          ,           RV^,          ,          ,           RV^,          ,          ,
          RV^,          ,          ,
          RV,          ,           RV^,          ,          RV^,          ,          ,
          RV^,          ,          ,           RV^,          ,          ,           RV^,          ,          ,
          ^$V^,          ,          ,           ^V^,          ,          ,           V,
          .8X  g   Q h\        R \        \        4      w  rr#pV Uu. uF  qfP                  V 4      NK  	  pp\        WP4      RV,          RV^,          ,          ,
          RV,          V,          ,           ^;V,          ,
          R V^,          ,          ,           R!V^,          ,          ,
          R"V^,          ,          ,
          R#V,          ,           V) ^V^,          ,          ,           ^V^,          ,          ,
          ^<V,          V,          ,           ^V,          ,
          ^V^,          ,          ,
          ^SV^,          ,          ,           ^	V,          ,
          R+V,          R$V^,          ,          V,          ,           ^V^,          ,          ,
          R%V,          V,          ,
          ^ V,          ,           R&V^,          ,          ,
          ^9V^,          ,          ,           ^3V,          ,           ^!V,          ^?V^,          ,          ,           R'V,          V^,          ,          ,           ^V,          V,          ,
          ^"V,          ,           R(V^,          ,          ,           R)V^,          ,          ,
          ^V,          ,           ^V^,          ,          V,
          ^V^,          ,          ,
          ^V,          V,          ,
          ^V,          ,           ^V^,          ,          ,
          ^V,          ,           ^V,          V,          V,
          ^V^,          ,          ,           ^V,          V,          ,           ^V,          ,
          ^V^,          ,          ,           ^V,          ,
          ^V,          V,          V,
          ^V^,          ,          ,           ^ V,          V,          ,           ^V,          ,
          ^V^,          ,          ,           ^	V,          ,
          V^V,          ,           ^V,          ,           ^V,          ,           ^,
          .8X  g   Q hR*# u upi ),zx:4i9Z l    '\ l    = l   :G l   h2 i0%2ieiFJ iQ l    BZ l   rD l   >% l   !I i|0i i l   kvYl   `A+ l   p l   \8_]
 iܮxi(i9i0 il i<  iH  i`  i  i6  in  im iXd i  i  in  i  iv  i  i	  iQ  Nird   )r   rf   rS   rT   rU   ra   rQ   s          r%   _do_test_benchmark_katsura_4rp      s   %S)NA"	adQrT	AbD	 1	$	Q2q51RU7	"Qr1uW	,r	1	
2b1R47	QrT"W	$r	)	Q2b1R47	"R	'	)A
 A>
\"a%''+b!e*;;k"a%>OOR\]_ab]bRbbenoqstotett  xA  BD  FG  BG  xG  	G  JQ  RT  JT  	T  W^  	^
[Q&&RU)::[Q=NNQ[\^`a\aQaadmnprsnsdssv}  A  CD  D  wD  	D  GN  OQ  GQ  	Q
\"a%'',r1u*<<{2q5?PPS^_acd_dSddgqrtvwrwgww  {D  EG  IJ  EJ  {J  	J  MU  VX  MX  	Xr1uuRU{"U2q5[04A:=RU
	AX	 "2q5	)+-	.	    %U+NA"!"$A**Q-A$A>Bb!ed2gbj(2b506"a%<?%A+MPSTVXYTYPYY\`ac\cc	c"a%i"RU("RU2X-25BE	ABr1uHLqQStS
2RU
2BE	)CF2I52=BE	IBrSTuHTWYZ\W\\
22q5472q5=(3r6"94r"u<tBEzICPRTUPUIUXYZ\X\\	"a%"qQwBr)AbD02b!e8;adB
2b22q5 2b58+ad2Qr1uW<qtC
2b2"a%"R%(*QrT1Br1uH<qtC
QrT	AbD1R4!#	 	 	 	 	%s   ^c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir)   r-   r.   rp   r/   r'   r%   #test_benchmark_kastura_4_buchbergerrs      rk   r1   c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir3   rr   r/   r'   r%   test_benchmark_kastura_4_f5bru      rn   r1   c                     \        R \        \        4      w  rp^	V^,          ,          ^$V^,          ,          ,           ^ V^,          ,          ,
          ^V^,          ,          ,
          ^NV^,          ,          ,
          RV^,          ,          ,           RV^,          ,          ,           ^lV,          ,
          ^	,           R<^HV,          ,
          V^,          ,          R=^V,          ,
          V^,          ,          ,           ^^V,          ,           V^,          ,          ,           RRV,          ,           V^,          ,          ,           RRV,          ,           V^,          ,          ,           R>V,          V^,          ,          ,           R?RV,          ,
          V,          ,           ^`,           ^lV,          ,           .p\        W04      RV,          RV^,          ,          ,
          R	V^,          ,          ,
          R
V^,          ,          ,
          RV^,          ,          ,
          RV^,          ,          ,
          RV^,          ,          ,
          RV,          ,
          R,
          RV^,          ,          RV^,          ,          ,           RV^,          ,          ,           RV^,          ,          ,           RV^,          ,          ,           RV^,          ,          ,           RV^,          ,          ,           RV,          ,           R,           .8X  g   Q h\        R \        \        4      w  rpV Uu. uF  qDP                  V 4      NK  	  pp\        W04      RV^,          ,          V,          RV^,          ,          ,
          RV^,          ,          V,          ,           RV^,          ,          ,
          RV,          V,          ,           RV,          ,
          RV^,          ,          ,           R V,          ,           R!,
          R"V^,          ,          R#V^,          ,          ,           R$V^,          ,          V,          ,           R%V^,          ,          ,           R&V,          V,          ,           R'V,          ,           R(V^,          ,          ,           R)V,          ,           R*,           R@V^,          ,          R+V^,          ,          V,          ,           R,V^,          ,          ,
          R-V,          V,          ,           R.V,          ,
          R/V^,          ,          ,           R0V^,          ,          ,           R1V,          ,           R2,
          RAV^,          ,          R3V^,          ,          V,          ,           R4V^,          ,          ,
          R5V,          V^,          ,          ,           R6V,          V,          ,           R7V,          ,
          R8V^,          ,          ,           R9V,          ,           R:,
          .8X  g   Q hR;# u upi )Bzx,ti  i   i   i  i8  i@  l     
RtJ)1~MCMgKbqcLel   ra2U!J'B\KW4Du+%B:N'/|,3D`N l    >C_=DmbgrVJ5n,O{-[8 D/7"l   *uQ!3'; PtSo"_ ;2g0PZwg
l   .S[_ik
8Cn|#	v*u0HtSl    5u3jx]L*(IIyL1iColat1:'6(l    Pg];meVq'%opZ "Mmt:%63l    P*71}<U1qq,+'cX0rVvQa; pA9l    @ir0@>/3,F%*;W@ {=5|o&(c_46l   :W]l   `k-@\K'l   ,8y'X^l    4C|	,Ydm l    Lo5Rs l     "#?Vq l    @otc?c l      t-JOl     Sz(Gl	   jP.qlj=Mj1l	   :q~\q,9D h`l
   \B{+9C0-f l
   n_Y\D&nb l
   jj9k${.ZGc l
   v^O1mDM( l	   |!gc]0t|- l
   @Nw*%iLM!6 l
    z *rpK0Z% l   4X\h@T:V%]yF= l    8bH(KKnEm?p@(8*. l   `'[%gQ Ce4
?XG l   `Abwc}{?Vq*qA l    .'l#8}(UU,7 l   8L*e?FRm & l    ^4O}P\X9T7cq!2l    &mu@IgG8H2GW l    m
Q<--:b8aoTV l   4cDHad,;T&~D!C0 l   3b!@+(#5;1l    aRz2y,vD l   [K0PR;Tze3Dlol
   ,'_wR$9M^Dr.l
   [66FWg^4Pw*
3l   @;k`n|)^&a l   Z(G2uj))gCZ l
   D
K6
u^@_3 l
   |E}wB=`/k!l
     9)P9@II%N`; l
   VDqtRx
T,S) l
   ZDHbEV*x
5VGI2l
   @4e`2er1NX0y6 l
   4IDV!%v l
   _+YSYB&k'?%l Nii ililkJX]JDh6,^%>a1R lO]iMW
jVo5CU rd   )r   r    tra   rQ   s        r%   _do_test_benchmark_czichowskirx      s   %S!FA	
1a4"QT'	Bq!tG	#c!Q$h	.AqD	83q!t8	Cc!Q$h	NQTUVQV	VYZ	Z
1*ad	dSUlAqD0	0C#a%KA3E	EPTUVPVXY[\X\H\	\`cfijkfk`kmnpqmq_q	quyz{u{}~  AB  ~B  uB  
B  FJ  MP  QR  MR  FR  TU  EU  
U  XZ  
Z  ]`  ab  ]b  
b	cA A>]^__efgijfjj	kfghjkgkk	l 	gghjkgkk	l 	hhiklhll		m
 	hhiklhll	m 	gghjkgkk	l 	gghh	i 	f	f 	ad"q!t#	$1$	% 	 1$	% 	!A%		&
 	!A%	& 	 1$	% 	 !	" 		   * %U#FA!"$A**Q-A$A>1!Q$6q81!Q$6	71!Q$6q8	9 	31a47	8 	314Q6		7
 	314	5 	/q!t3	4 	2!3	4 	2	2 	EQTIEadJ	KDQTI!K	L 	FadJ	K 	EQFqH		I
 	FaG	H 	B!Q$F	G 	EQF	G 	E	E 9A=71<Q>?8A=> 	9:1<= 	9:	;
 	6ad:; 	6ad:; 	9:; 	99 4AqD821a479:4QT9: 	314QT9: 	4A5a7	8
 	5Q67 	31a478 	4A56 	449% % % % 	%s   W#c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir)   r-   r.   rx   r/   r'   r%   $test_benchmark_czichowski_buchbergerr{   D  s&    	|	,	,%' 
-	,	,	,r1   c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir3   rz   r/   r'   r%   test_benchmark_czichowski_f5br}   I  s&    	u	%	%%' 
&	%	%	%r1   c                  	   \        R \        \        4      w  rr#pW,           V,           V,           W,          W,          ,           W#,          ,           W$,          ,           W,          V,          W,          V,          ,           W,          V,          ,           W#,          V,          ,           W,          V,          V,          ^,
          .p\        WP4      ^V,          ^V^	,          ,          ,           ^V^,          ,          ,
          ^V,          ,
          ^V,          ^V,          ,           ^V^	,          ,          ,
          ^V^,          ,          ,           ^V,          ,           ^V^,          ,          ^V^
,          ,          ,           ^V^,          ,          ,
          ^V^,          ,          ,
          ^V,          V^,          ,          ^V,          ,           V^	,          ,
          ^V^,          ,          ,           ^V,          ,           V^,          V^,          ,
          V^,          ,
          ^,           .8X  g   Q h\        R \        \        4      w  rr#pV Uu. uF  qfP                  V 4      NK  	  pp\        WP4      ^V,          V,          V^,          ,
          V^,          ,           ^V^,          ,          ,
          V) ^V^,          ,          V^,          ,          ,           V,
          V^,          ,
          ^V,          ,
          V) ^V,          V^,          ,          ,           ^V,          ,           ^V^,          ,          ,           ^V,          ,           V^,          ^V^,          ,          V^,          ,          ,           V^,          ,
          ^,
          V^,          V,          W4^,          ,          ,           V^,          ,           ^,           W#^,          ,          V^,          ,
          V^,          V,          ,
          ^V,          V^,          ,          ,
          V^,          ,
          V^,          V^,          ,
          W$,          V^,          ,           W4,          ,           V^,          ,           W,           V,           V,           .	8X  g   Q hR# u upi )za,b,c,dNrd   )r   abcdra   rQ   s          r%   _do_test_benchmark_cyclic_4r   M  s   iS)JAQ	
Q	
qsQS13		
QQQ	Q	&	
Qq1	A
 A>	!a1fqAv!#	!ac	AadFQq!tV#ac)	!Q$1b51QT6!AadF*	!AqD1Q3A!Q$&1,aeadlQT.AA.E	    iU+JAQ!"$A**Q-A$A>	!A1q!ta1f$	
Qq!tVAqD[1q!t#ac)	
QqSAX!a1f$qs*	1qAvad{QT!A%	1Qa4!Q$"	Q$A1Q1QT)AqD0	1q!tQS1a4Z!#%1,		A	 	 	 	 	%s   Rc                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir)   r-   r.   r   r/   r'   r%   "test_benchmark_cyclic_4_buchbergerr   j  s&    	|	,	,#% 
-	,	,	,r1   c                      \         P                  ! R R7      ;_uu_ 4        \        4        RRR4       R#   + '       g   i     R# ; ir3   r   r/   r'   r%   test_benchmark_cyclic_4_f5br   n  s&    	u	%	%#% 
&	%	%	%r1   c                      \        R^4      p \        R^4      p\        R^4      p\        V \        4      \        V\        4      8  g   Q h\        V\        4      \        V\        4      8  g   Q hR# )    Nr   r   r   )r@   r@   r@   )rA   rA   rA   )r   r   r   )s1s2s3s      r%   test_sig_keyr   r  s^    	Xq	B	Xq	B	Xq	B2sgb#....2sgb#....r'   c                  j   \        R \        \        4      w  rr#p\        \	        R^4      V P
                  ^4      p\        \	        R^4      V P
                  ^4      p\        \	        R^4      V P
                  ^4      p\        V4      \        V4      8  g   Q h\        V4      \        V4      8  g   Q hR# )x,y,z,tNr   r   r   r   )r   r   r   r   r   zeror   )r   r    r!   r$   rw   p1p2p3s           r%   test_lbp_keyr   {  s    iS)JAQ	S1qvvr	*B	S1qvvr	*B	S1qvvr	*B2;$$$2;$$$r'   c                     \        R \        \        4      w  rr#pRW#,          V^,          ,          V^,          V^,          ,          ,           V^,          ,
          ^,
          ^3pRV^,          ) W$,          ,
          W4,          ,
          V^,          ,
          ^3pRV^,          V^,          ,          V^,          V^,          ,          ,           V,
          V,
          ^3pRW#,          W4^,          ,          ,           W4,          ,           V^,          ,           ^3p\        WVV 4      RR\        R^4      3RV^,          ) W$,          ,
          W4,          ,
          V^,          ,
          ^3R
R	\        ^^4      3RW#,          V^,          ,          V^,          V^,          ,          ,           V^,          ,
          ^,
          ^338X  g   Q h\        WxV 4      RR\        ^^4      3RW#,          W4^,          ,          ,           W4,          ,           V^,          ,           ^3RR\        ^^4      3RV^,          V^,          ,          V^,          V^,          ,          ,           V,
          V,
          ^338X  g   Q hR# )r   Nr   rC   r   rA   )r   r   r   rA   rB   )r   r   rA   rA   rA   r   r   r@   rA   )r   rA   rL   r   r@   r   r   )r   rC   ))r   r   rC   rA   rA   )r   r   rA   r   ))r   r   r   rF   rB   )r   r   r   rB   )r   r   r   r   )	r   r    r!   r$   rw   r   q1r   q2s	            r%   test_critical_pairr     s$   iU+JAQ
QSAX1QT	1AqD81<a	@B
adUQS[13.A5q	9B
QT!Q$YAad2Q6:A	>B
QS1T6\AC/!Q$6	;B#L"R)47H1a4%RSRU+XYX[J[^_ab^bJbde6fL"Q(36GQPQTTUWXTXYZ\]Y]T]I]`acd`dIdghIhjk5l(    #L"Q(36GqTUQUvXYX[I[^_ab^bIbdf5gL"Q(36GAaQRdUVXYUYZ[]^Z^U^I^abIbefIfhi5j(   r'   c                     \        R \        \        4      w  rr#pRW#,          V^,          ,          V^,          V^,          ,          ,           V^,          ,
          ^,
          ^3pRV^,          ) W$,          ,
          W4,          ,
          V^,          ,
          ^3pRV^,          V^,          ,          V^,          V^,          ,          ,           V,
          V,
          ^3pRW#,          W4^,          ,          ,           W4,          ,           V^,          ,           ^3p\        WVV 4      p	\        WxV 4      p
\	        W4      \	        W4      8  g   Q h\        WWV 4      p	\        WhV 4      p
\	        W4      \	        W4      8  g   Q hR# )r   Nr   r   r   r   )r   r   r   r   r   )r   r    r!   r$   rw   r   r   r   r   cp1cp2s              r%   test_cp_keyr     s*   iU+JAQ
QSAX1QT	1AqD81<a	@B
adUQS[13.A5q	9B
QT!Q$YAad2Q6:A	>B
QS1T6\AC/!Q$6	;B

"C

"C#>F3N***

"C

"C#>F3N***r'   c                  Z   \        R \        \        4      w  rr#p\        \	        R^4      V P
                  ^4      p\        \	        R^4      \        ^^-4      V^,          ,          \        ^^4      V,          V,          ,           \        ^^?4      V,          V,          ,           V^,          V,          ,           \        ^^-4      V^,          ,          ,           \        ^L^#4      V,          V^,          ,          ,           \        ^ ^i4      V,          V,          ,
          \        ^^4      V^,          ,          ,           \        ^^4      V^,          ,          ,
          ^4      .p\        \        V4      \        V4      V4      RJ g   Q h\        \	        R^4      V P
                  ^4      p\        \	        R^4      \        ^
^4      V,          V,          \        ^^4      V,          V,          ,           \        ^^4      V,          ,
          ^V^,          ,          ,           \        ^^4      V,          V,          ,           \        ^^4      V,          ,
          ^V^,          ,          ,           \        ^^4      V,          ,
          ^4      .p\        \        V4      \        V4      V4      RJ g   Q hR# )r   TN)r   r   rA   r@   )r   r   r   r@   )r   r@   r@   r   r   )	r   r   r   r   r   r   r	   r
   r   )r   r    r!   r$   rw   pBs          r%    test_is_rewritable_or_comparabler     s   iU+JAQCa !&&!,A	Sq!2a8AqD=2a719Q;#>Ab!A#MPQSTPTUVPV#VY[\]^`YabcefbfYf#fiklnoqirstituvxyuyiy#y|~  @B  CF  }G  HI  }I  JK  }K  $K  NP  QS  TU  NV  WX  Z[  W[  N[  $[  ^`  ac  df  ^g  hi  kl  hl  ^l  $l  no  
p  	qA 'tAwA:dBBBCa !&&!,A	Sq!2b8A:a<"Qq'!)A+#=1Q	#IAaQRdF#RUWXZ[\U]^_U_`aUa#adfghijdklmdm#mpqrsuvrvpv#vy{|}~  zA  BC  zC  $C  EF  
G  	HA 'tAwA:dBBBr'   c            
      |   \        R \        \        4      w  rr#RV^V,          ,           ^V,          ,           ^,
          ^3R^V^,          ,          ^V,          V,          ,           ^V,          ,
          ^V^,          ,          ,           ^V,          ,
          ^3R\        ^
^4      V,          V,          \        ^^4      V,          ,
          ^V^,          ,          ,           \        ^^4      V,          ,
          ^3RV^V^,          ,          ,           \        ^O^4      V^,          ,          ,
          \        ^^4      V,          ,           ^3RV^,          \        ^
^4      V^,          ,          ,
          \        ^^T4      V^,          ,          ,           \        ^^T4      V,          ,           ^3.p\        V^ ,          V^,          V 4      p\	        V4      p\        Wd4      RV P                  ^38X  g   Q h\        \        \        V4      ^ ,          ^d4      \        V4      \        V4      4      p\        Wd4      V8X  g   Q hR# )r   N)r   r@   )r   rA   )r   rB   ))r   r   r@   rA   ))r   r   rA   rA   ))r   rA   r   r@   )r   r   r   r   r   r   r   r   r   r
   r   r   )r   r    r!   r$   r7   cpss          r%   test_f5_reducer     s   GR%HA
!ac'AaC-!+Q	/
!AqD&1Q3q5.1Q3.1a47!A#=q	A
"R(1*Q,Aa2Qq!tV;b1gaiG	K
!bAg+2aA51Q	A1	E
!Q$Br1a4/"Qr(1a4-?"Qr(1*La	P		RA 
qtQqT1	%Br
AQ?~qvvq9999CQ
C %(CF3AQ?ar'   c                     \        R \        \        4      w  rp. ROpV^,          V,
          ^V,          ,
          ^,           RV,          V^,          ,           V,           ^,
          .p\        W4V 4      \        ^ ^4      \        ^ ^4      \        ^^4      ) \        ^^4      .\        ^ ^4      \        ^ ^4      \        ^^4      \        ^^4      ) .\        ^^4      \        ^ ^4      \        ^^4      \        ^^4      .\        ^ ^4      \        ^^4      \        ^ ^4      \        ^^4      ..\        ^ ^4      \        ^^4      \        ^ ^4      \        ^^4      ) .\        ^^4      \        ^^4      ) \        ^ ^4      \        ^^4      .\        ^ ^4      \        ^^4      \        ^ ^4      \        ^^4      .\        ^ ^4      \        ^ ^4      \        ^^4      \        ^^4      ) ...8X  g   Q hR# )r   N))r   r   )r   r@   )r@   r   )r@   r@   )r   r   r   r   )r   r    r!   basisr7   s        r%   test_representing_matricesr     s   %U#FA,E	
AAaC!	RTAqD[1_q01A!%A.
Q(Bq!HbAhY1a	1
Q(Bq!HbAh1ay	1
Q(Bq!HbAh1a	1
Q(Bq!HbAh1a	1	3 Q(Bq!HbAh1ay	1
Q(Bq!H9bAh1a	1
Q(Bq!HbAh1a	1
Q(Bq!HbAh1ay	1	334 4 4 4r'   c                  8	   \        R \        4      w  rr#\        V^,          V^,          ,
          W,
          4      V^,          V^,          ,
          8X  g   Q h\        ^V^,          ,          ^V^,          ,          ,
          ^V,          ^V,          ,
          4      ^V^,          ,          ^V^,          ,          ,
          8X  g   Q h\        R \        4      w  rr#\        V^,          V^,          ,
          W,
          4      V^,          V^,          ,
          8X  g   Q h\        ^V^,          ,          ^V^,          ,          ,
          ^V,          ^V,          ,
          4      ^V^,          ,          ^V^,          ,          ,
          8X  g   Q h\        R\        4      w  rp\        V^,          V,          W^,          ,          4      V^,          V^,          ,          8X  g   Q h^V,          V^,          ,          ^V,          V^,          ,          ,
          ^V,          V^,          ,          ,
          ^V,          V^,          ,          ,           pV^,          ^V^,          ,          ,
          V,           p^V,          V^,          ,          ^V,          V^,          ,          ,
          ^V,          V^,          ,          ,
          ^V,          V^,          ,          ,           ^V,          V^,          ,          ,           ^V,          V^,          ,          ,
          p\        WE4      V8X  g   Q hV^,          ^V^,          ,          V,          ,
          ^	V,          V^,          ,          ,
          ^V^,          ,          ,
          pV^,          ^V^,          ,          V,          ,           ^V^,          ,          V^,          ,          ,           ^
V,          V^,          ,          ,           ^V^,          ,          ,           pV^,          V^,          V,          ,           ^V^,          ,          V^,          ,          ,
          ^2V^,          ,          V^,          ,          ,
          ^/V,          V^,          ,          ,
          ^V^,          ,          ,
          p\        WE4      V8X  g   Q hR# )r   r   N)r   r   r   r   )r   r    r!   r$   r"   r#   hs          r%   test_groebner_lcmr     s   GR HA1q!tQU+q!tad{:::!Q$1a41qs3qAv!Q$FFFGR HA1q!tQU+q!tad{:::!Q$1a41qs3qAv!Q$FFF%_FA1QQ$'1a419444	!AqD1Q3q!t8ac!Q$h&1QT1A	1qAvA	!AqD1Q3q!t8ac!Q$h&1QT1AaC1H<qs1a4xGA"""	1qAvax!A#ad("Qq!tV+A	1qAvax"QT'!Q$,&Aad2Qq!tV;A	1q!tAv1a41$r!Q$wq!t|3bd1a4i?"QT'IA"""r'   c                     \        R \        4      w  rr#\        V^,          V^,          ,
          W,
          4      W,
          8X  g   Q h\        ^V^,          ,          ^V^,          ,          ,
          ^V,          ^V,          ,
          4      ^V,          ^V,          ,
          8X  g   Q h\        R \        4      w  rr#\        V^,          V^,          ,
          W,
          4      W,
          8X  g   Q h\        ^V^,          ,          ^V^,          ,          ,
          ^V,          ^V,          ,
          4      W,
          8X  g   Q hR# )r   N)r   r   r   r   )r   r    r!   r$   s       r%   test_groebner_gcdr     s    GR HA1q!tQU+qu444!Q$1a41qs3qsQqSy@@@GR HA1q!tQU+qu444!Q$1a41qs3qu<<<r'   c                  B   \        R \        \        4      w  rpV^,          W,          \        ^^4      ) V,          V^,          ,           .pV^,          W,          \        ^^4      ) V,          V^,          ,           .p\        W04      RJ g   Q h\        W@4      RJ g   Q hR# )r   TFN)r   r   r   r   )r   r    r!   valid_groebnerinvalid_groebners        r%   test_is_groebnerr     s    %U#FAdAC"Qq'!ad!23N1acBqG8A:1#45~)T111'+u444r'   c                  .   \        R \        \        4      w  rpV^,          ^V,          V^,          ,          ,           pW,          ^V^,          ,          ,           ^,
          p\        W4.V 4      R8X  g   Q h\	        W4.V 4      p\        WP4      R8X  g   Q hR# )r   FTN)r   r   r   r   r   )r   r    r!   r"   r#   r8   s         r%   test_is_reducedr     s}    5"c"GA!	1qs1a4xA	a1fqAqfa U***!Aat###r'   N)A__doc__sympy.polys.groebnertoolsr   r   r   r   r   r   r   r	   r
   r   r   r   r   r   r   r   r   sympy.polys.fglmtoolsr   sympy.polys.orderingsr   r   sympy.polys.ringsr   r   sympy.polys.domainsr   r   sympy.testing.pytestr   sympy.polysr   r-   r&   r0   r5   r9   r<   r>   rb   rg   rj   rm   rp   rs   ru   rx   r{   r}   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r/   r'   r%   <module>r      s          9 , ) & % ,hT%%
!D,'':''BJ ( ((:&&/%&+*C" &4 #6	=5$r'   