K iHfdZddlmZmZmZmZmZmZmZm Z m Z m Z m Z m Z mZmZmZmZmZddlmZddlmZmZddlmZmZddlmZmZddlmZddl m!Z"d Z#d Z$d Z%d Z&d Z'dZ(dZ)dZ*dZ+dZ,dZ-dZ.dZ/dZ0edZ1dZ2dZ3dZ4dZ5dZ6dZ7dZ8dZ9d Z:d!Z;d"Zd%Z?d&Z@y')(zTests for Groebner bases. )groebnersigsig_keylbplbp_key critical_paircp_keyis_rewritable_or_comparableSignPolynNums_poly f5_reduce groebner_lcm groebner_gcd is_groebner is_reduced)_representing_matrices)lexgrlex)ringxring)ZZQQ)slow) polyconfigc tdtt\}}}|dzd|z|dzzz}||zd|dzzzdz }t||g|||dztddz gk(sJtdtt\}}}d|dzz|z|dzz}d|dzz||zzdz }t||g|||dztddz gk(sJtdtt\}}}}||dzz }||dzz }t||g|||gk(sJtdtt\}}}|dzd|z|zz }|dz|z|zd|dzzz }t||g||dz||ztdd |z|dzzgk(sJtdtt\}}}}|dz |z}|dz |z}t||g||dz|z ||z|z ||z|dzz |dz|dzz gk(sJtdtt\}}}}|dz |z}|dz |z}t||g||dz|dzz |dz|z ||z|z ||z|dzz gk(sJtdtt\}}}}|dz |z}|dz |z}t||g||dz|z ||z|dzz ||z|z |dz|dzz gk(sJtdtt\}}}}|dz |z}|dz |z}t||g||dz |dzz|dz|z ||z|dzz ||z|z gk(sJtdtt\}}}}||dzz }|dz |z}t||g|||dzz |dz|z gk(sJtdtt\}}}}||dzz }|dz |z}t||g||dz||zz ||z|z | |dzzgk(sJtdtt\}}}}||dzz }||dzz }t||g|||dzz ||dzz gk(sJtdtt\}}}}||dzz }||dzz }t||g||dz||zz ||z|z | |dzzgk(sJtdtt\}}}}|dz |z}||dzz }t||g||||zz |dz|z gk(sJtdtt\}}}}|dz |z}||dzz }t||g||dz |dzz||z|dzz |dz|z | ||zzgk(sJtdtt\}}}}||dzz }||dzz }t||g|||dzz ||dzz gk(sJtdtt\}}}}||dzz }||dzz }t||g||dz |dzz||z|dzz | ||zz| |dzzgk(sJtdtt\}}}}d|dzz|dzzd|z|zzdz}|dz|dzzdz }t||g||d|dzzz d |d zzzd|dzzz d|zz|d zd|d zzz tdd|dzzztdd|dzzz tdd zgk(sJy) Nx,yzy,xx,y,z)rrrrr)Rxyfgzs j/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/polys/tests/test_groebnertools.py_do_test_groebnerr0s %S !FAq 1qs1a4xA !a1f qA QFA 1adR!Wn"5 55 5 %S !FAq !Q$q1a4A !Q$1 qA QFA 1adR!Wn"5 55 5GR%HAq1 AqDA AqDA QFA 1a& (( ( %U #FAq 1qs1u A 1Q Qq!tVA QFA 1a41r!Awhqj1a4.?"@ @@ @GR%HAq1 A A A A QFA 1a4!8QqS1WacAqDj!Q$A+"N NN NGR'HAq1 A A A A QFA 1a4!Q$;1q!A#'1Q3A:"N NN NGR%HAq1 A A A A QFA 1a4!8QqS1a4Z1q!Q$A+"N NN NGR'HAq1 A A A A QFA AqD51a4<A1Q3A:qsQw"O OO OGR%HAq1 AqDA A A QFA 1q!t8QTAX"6 66 6GR'HAq1 AqDA A A QFA 1a4!A#:qsQwQT "B BB BGR%HAq1 AqDA AqDA QFA 1q!t8QAX"6 66 6GR'HAq1 AqDA AqDA QFA 1a4!A#:qsQwQT "B BB BGR%HAq1 A A AqDA QFA 1qs7AqD1H"5 55 5GR'HAq1 A A AqDA QFA AqD51a4<1q!tQTAXrAaCx"P PP PGR%HAq1 AqDA AqDA QFA 1q!t8QAX"6 66 6GR'HAq1 AqDA AqDA QFA AqD51a4<1q!taR!A#XrAqDy"Q QQ QGR%HAq1 !Q$q!t ac!eaA 1q!t aA QFA  AadF Qq!tVa1f$qs* 1qAv 1Q1 $r!Awq!t|3b2h>#  cntjd5tdddy#1swYyxYwN buchbergerrconfigusingr0r1r/test_groebner_buchbergerr:s) | , +4cntjd5tdddy#1swYyxYwNf5br5r6r9r1r/test_groebner_f5br?s) u %r;ctdtt\}}}}|dz|zdz|dz|zdz||z|z|dz|zz g}|tdd|dzzztdd |d zzz td d|dzzztd d |dzzz td d|zztddz |td d|dzzztdd|d zzz tdd|dzzztdd|dzzz tdd|zztddz |dzd|dzzz d|d zzzd|dzzz d|dzzzd|zz dzg}t|||k(sJy)Nr"r r!rir&icir#iigi5[i iii4r'r$)RY. )rrrr)r)r*r+r.FGs r/_do_test_benchmark_minpolyrMsGR%HAq1 AAq!tax!|a!eq[AqD1H%=>A RD\!Q$  CQT!1 1BtDM!Q$4F FDQTVWYZVZIZ Z]_`dei]jkl]l loqrtuwox x R"Xad] R3Z1_ ,r#c{1a4/? ?"S*QPQT/ QTVW[\_T`abTb beghkloep p A!Q$AqD 2ad7 *R1W 4r!t ;b @ BA Aq>Q  r1cntjd5tdddy#1swYyxYwr3r7r8rMr9r1r/!test_benchmark_minpoly_buchbergerrPs) | ,%"$%%%r;cntjd5tdddy#1swYyxYwr=rOr9r1r/test_benchmark_minpoly_f5brRs) u %%"$%%%r;c`tdd}gd}t|Dcgc]}d|z c}tt\}}|Dcgc]\}}||dz ||dz f}}}|\ }}}} } } } } }}}}|Dcgc] }|dzdz  }}|Dcgc]\}}|dz||zz|dzz}}}||z}t |dd|||z|z||z ||z | |z | |z|z| |z | |z | |z|z||z ||z|z|dz||zz|dzz|dzdz g k(sJt ||dgk(sJycc}wcc}}wcc}wcc}}w)Nr!rJ))r!r)rr )r!r#)r!r')r! )rr&)rr$)r r%)r )r# )r# )r&r')r'r$)r$r%)r%rW)rWrU)rUrV)rVrT)r&rT)r&rW)r'rU)r$rV)r%rT)r r#zx%dr r)rangerrrr)VEvr)ijx1x2x3x4x5x6x7x8x9x10x11x12r*I3r+IgIs r/test_benchmark_coloringrns aA GA a)519)2s 3DAq*+,$!Q!AE(Aa!eH ,A,895BBBBBS# q!Q$( B () *1!Q$1*q!t  *B * RA AcrFA  S3 S S S S3 S S S3 S c C QS36! Q  #    Aq>aS  3*,  *s DD/D%D*ctdtt\}}}}|d|zzd|zzdz |dzd|dzzzd|dzzz|z d|z|zd|z|zz|z g}t||dd|zzd|zzd|dzzzd|d zzz d|zd |zzd |dzzz d |d zzz||dzzd |d zzz d |dzzzgk(sJtdtt\}}}}|Dcgc]}|j |}}t||d|zd |zzd |dzzz d |d zzz| |zd |dzzz d|dzzz| d|zz d|z|zzd|dzzzd|zd|zzd|zzgk(sJycc}w)Nzx:3rr!ir$r%ir O(Tr#r&rUrTrXrrrrrset_ring)r)x0r_r`rmr]s r/_do_test_benchmark_katsura_3rxsub#&KAr"R adQrT A  Q2q51RU7 "R ' 2b1R47 R  !A Aq> QrT AbD3r1u9$s2q5y0 "qt bQhRU* RU RAX2q5(   ub%(KAr"R!"$A!**Q-$A$ Aq> "qt bQhRU* b1RU7Qr1uW$ ad RU2X2q5( R!B$2    %sE%cntjd5tdddy#1swYyxYwr3r7r8rxr9r1r/"test_benchmark_katsura3_buchbergerr{) | ,'$&'''r;cntjd5tdddy#1swYyxYwr=rzr9r1r/test_benchmark_katsura3_f5br~) u %'$&'''r;c  tdtt\}}}}}|d|zzd|zzd|zzdz |dzd|dzzzd|dzzzd|dzzz|z d|z|zd|z|zzd|z|zz|z |dzd|z|zzd|z|zz|z g}t||d|zd|dzzz d|dzzzd |d zzzd |d zzz d |dzzz d|dzzzd|zzdz d|zd|dzzz d|dzzzd|d zzz d|d zzz d|dzzzd|dzzz d|zz d|zd|dzzzd|dzzz d|d zzzd|d zzzd|dzzz d|dzzz d|zzd |d!zzd"|dzzz d#|dzzzd$|d zzzd%|d zzz d&|dzzzd'|dzzz|z gk(sJtdtt\}}}}}|Dcgc]}|j |}}t||d(|zd)|dzzz d*|z|zzd+|zz d,|d zzzd-|dzzz d.|dzzz d/|zz| d0|dzzzd1|dzzz d2|z|zzd3|zz d4|dzzz d5|dzzzd6|zz d7|zd8|dzz|zzd9|dzzz d:|z|zz d;|zzd<|dzzz d=|dzzzd>|zzd?|zd@|dzzzdA|z|dzzzdB|z|zz dC|zzdD|dzzzdE|dzzz d|zzd|dzz|z d|dzzz dF|z|zz d|zzd'|dzzz d |zzdG|z|z|z dG|dzzzd3|z|zzd |zz d|dzzzd|zz dG|z|z|z d|dzzzd;|z|zzd |zz dH|dzzzd6|zz |d|zzd|zzd|zzdz gk(sJycc}w)INzx:4rr!i9Zl'\r$l= r'l:Gr&lh2r#i0%2r ieiFJiQl BZl rDl> % l!Ii|0ii lkvYl`A+lp l\8_] iܮxi(i9i0r%ili<iH i`$ii6in;imiXdii<SrWiini iv93!?i"i iQru)r)rwr_r`rarmr]s r/_do_test_benchmark_katsura_4rs%S)NAr"R adQrT AbD 1 $ Q2q51RU7 "Qr1uW ,r 1 2b1R47 QrT"W $r ) Q2b1R47 "R ' )A Aq> \"a%''+b!e*;;k"a%>OOR\]_ab]bRbbenoqstotettxABDFGBGxG GJQRTJT TW^ ^ [Q&&RU)::[Q=NNQ[\^`a\aQaadmnprsnsdssv}ACDDwD DGNOQGQ Q \"a%'',r1u*<<{2q5?PPS^_acd_dSddgqrtvwrwgww{DEGIJEJ{J JMUVXMX Xr1u uRU{"U2q5[04A:= RU  AX  "2q5 )+- .   %U+NAr"R!"$A!**Q-$A$ Aq> Bb!ed2gbj(2b506"a%<?%A+MPSTVXYTYPYY\`ac\cc c"a%i"RU("RU2X-25BE ABr1uHLqQStS 2RU 2 BE )CF2I52=BE IBrSTuHTWYZ\W\\ 22q5472q5=(3r6"94r"uN cntjd5tdddy#1swYyxYwr3r7r8rr9r1r/#test_benchmark_kastura_4_buchbergerrr|r;cntjd5tdddy#1swYyxYwr=rr9r1r/test_benchmark_kastura_4_f5brrr;ctdtt\}}}d|dzzd|dzzzd|dzzz d|d zzz d |d zzz d |d zzzd|dzzzd|zz dzdd|zz |dzzdd|zz |dzzzdd|zz|d zzzdd|zz|d zzzdd|zz|d zzzd|z|dzzzdd|zz |zzdzd|zzg}t||d|zd|dzzz d|dzzz d|d zzz d |d zzz d!|d zzz d"|dzzz d#|zz d$z d%|dzzd&|dzzzd'|dzzzd(|d zzzd)|d zzzd*|d zzzd+|dzzzd,|zzd-zgk(sJtdtt\}}}|Dcgc]}|j |}}t||d.|d zz|zd/|d zzz d0|dzz|zzd1|dzzz d2|z|zzd3|zz d4|dzzzd5|zzd6z d7|d zzd8|d zzzd9|dzz|zzd:|dzzzd;|z|zzd<|zzd=|dzzzd>|zzd?zd@|d zzdA|dzz|zzdB|dzzz dC|z|zzdD|zz dE|d zzzdF|dzzzdG|zzdHz dI|d zzdJ|dzz|zzdK|dzzz dL|z|dzzzdM|z|zzdN|zz dO|dzzzdP|zzdQz gk(sJycc}w)RNzx,trWr%rr$rr'r&Nr#ir i rliHiiii8ilii@`l RtJ)1~MCMgK bq cL elra2U!J'B\KW4Du+%B:N'/|,3D`Nl >C_=DmbgrVJ5n,O{-[ 8D/7"l*uQ!3'; PtSo"_;2g0PZwg l.S[_ik 8Cn|# v*u0HtSl5u3jx]L*(IIyL1iColat1:'6(lPg];meVq '%opZ"Mmt:%63lP*71}<U1qq,+'cX0rVvQa;pA9l@ir0@>/3,F%*;W@ {=5|o&(c_46l:W]l`k-@\K'l,8 y'X^l4C| ,YdmlLo5Rsl "#?Vql@otc?clt-JOlSz(G l j P.qlj=Mj1l :q~\q,9Dh`l \B{+9C0-fl n_Y\D&nbl jj9k${.ZGcl v^O1mDM(l |!gc]0t|-l @Nw*%iLM!6l z *rpK0Z%l4X\h@T:V%]yF= l8bH(KKnEm?p@(8*.l`'[%gQCe4 ? XGl`Abwc}{?Vq*qAl.'l#8}(UU,7l8 L*e?FRm&l ^4O} P\X9T7cq!2l&m u@IgG8H2GWlm Q<--:b8aoTVlkJX]JDh6,^%>a1Rl 4cDHad,;T&~D!C0l 3b! @+(# 5;1l a Rz 2y,vDl [K0PR;Tze3Dlol ,'_wR$9M^Dr.l [66FWg^4Pw* 3l @;k`n|)^&al Z(G2uj))gCZlO]iMW jVo5CUl D K6 u^ @_3 l |E}wB=`/k!l 9)P9@II%N`;l VDqtRx T,S)l ZDHbEV*x 5VGI2l @4e`2er1NX0y6l 4 IDV!%vl _+YSYB&k'?%lru)r)r*trmr]s r/_do_test_benchmark_czichowskirs %S !FAq 1a4"QT' Bq!tG #c!Q$h .AqD 83q!t8 Cc!Q$h NQTUVQV VYZ Z 1*ad dSUlAqD0 0C#a%KA3E EPTUVPVXY[\X\H\ \`cfijkfk`kmnpqmq_q quyz{u{}~AB~BuB BFJMPQRMRFRTUEU UXZ Z]`ab]b b cA Aq>]^__efgijfjj kfghjkgkk l gghjkgkk l hhiklhll  m hhiklhll  m gghjkgkk  l gghh i f f ad"q!t# $1$ % 1$ % !A%  & !A%  & 1$  % ! "    *%U #FAq!"$A!**Q-$A$ Aq>1!Q$6q81!Q$6 71!Q$6q8 9 31a47 8 314Q6  7 314  5 /q!t3  4 2!3 4 2 2 EQTIEadJ KDQTI!K L FadJ K EQFqH  I FaG  H B!Q$F  G EQF G E E9A=71?8A=> 9:1<= 9: ; 6ad: ; 6ad: ; 9:; 994AqD821a479:4QT9: 314QT9: 4A5a7 8 5Q6 7 31a47 8 4A56 449%% %%  %sK cntjd5tdddy#1swYyxYwr3r7r8rr9r1r/$test_benchmark_czichowski_buchbergerrDs) | ,(%'(((r;cntjd5tdddy#1swYyxYwr=rr9r1r/test_benchmark_czichowski_f5brIs) u %(%'(((r;c tdtt\}}}}}||z|z|z||z||zz||zz||zz||z|z||z|zz||z|zz||z|zz||z|z|zdz g}t||d|zd|dzzzd|dzzz d|zz d|zd|zzd|dzzz d|dzzzd|zzd|dzzd|d zzzd|d zzz d|dzzz d|z|dzzd|zz|dzz d|dzzzd|zz|d z|d zz |dzz dzgk(sJtdtt\}}}}}|Dcgc]}|j |}}t||d|z|z|dzz |d zzd|dzzz | d|dzz|dzzz|z |dzz d|zz | d|z|dzzzd|zzd|dzzzd|zz|dzd|dzz|dzzz|dzz dz |dz|z||dzzz|dzzdz||dzz|dzz |dz|zz d|z|dzzz |dzz |dz|dzz ||z|dzz||zz|dzz||z|z|zg k(sJycc}w) Nza,b,c,dr!r#r rWr&r$rrUr'rTr%ru)r)abcdrmr]s r/_do_test_benchmark_cyclic_4rMs>iS)JAq1Q QQ 1qsQqS1Q3  1Q1Q1Q 1Q & 1Qq1 A Aq> !a1f qAv!# !ac AadFQq!tV#ac) !Q$1b51QT6!AadF* !AqD1Q3A!Q$&1,aeadlQT.AA.E   iU+JAq1Q!"$A!**Q-$A$ Aq> !A1 q!ta1f$ Qq!tVAqD[1q!t#ac) QqSAX !a1f$qs* 1qAvad{QT!A% 1Q1a4!Q$" !Q$A 1Q1QT)AqD0 1q!t QqS1a4Z!A#%1, A A      %s5Icntjd5tdddy#1swYyxYwr3r7r8rr9r1r/"test_benchmark_cyclic_4_buchbergerrjs) | ,&#%&&&r;cntjd5tdddy#1swYyxYwr=rr9r1r/test_benchmark_cyclic_4_f5brns) u %&#%&&&r;ctdd}tdd}tdd}t|tt|tkDsJt|tt|tksJy)Nrrrr)r!r!r!r#)rrr)rrr)s1s2s3s r/ test_sig_keyrrs^ Xq B Xq B Xq B 2s gb#. .. . 2s gb#. .. .r1cdtdtt\}}}}}tt dd|j d}tt dd|j d}tt dd|j d}t |t |kDsJt |t |ksJy)Nx,y,z,trrrrr rTr#rJ)rrrrrzeror)r)r*r+r.rp1p2p3s r/ test_lbp_keyr{siS)JAq1Q S1 qvvr *B S1 qvvr *B S1 qvvr *B 2; $$ $ 2; $$ $r1c tdtt\}}}}}d||z|dzz|dz|dzzz|dzz dz df}d|dz ||zz ||zz |dzz df}d|dz|dzz|dz|dzzz|z |z d f}d ||z||d zzz||zz|d zzd f}t|||d dtddfd|dz ||zz ||zz |dzz dfddtddfd||z|dzz|dz|dzzz|dzz dz dffk(sJt|||ddtddfd ||z||d zzz||zz|d zzd fddtddfd|dz|dzz|dz|dzzz|z |z d ffk(sJy)Nrrr#rr#r!rr)rrrrr r r&)rrrrrr'rJ)rrr!rrrrX)rr!rrr#r))rrr#rr)rrrr))rrrr&r )rrrr )rrrr) r)r*r+r.rrq1rq2s r/test_critical_pairrsHiU+JAq1Q QqSAX1QT 1AqD81B QqS1QT6\AaC/!Q$6 ;B R #L"R)47H1a4%RSTURU+XYZ[X[J[^_ab^bJbde6fL"Q(36G1QPQTTUWXTXYZ\]Y]T]I]`acd`dIdghIhjk5l(   R #L"Q(36G1qQRTUQUvXYZ[X[I[^_ab^bIbdf5gL"Q(36GAaQRdUVXYUYZ[]^Z^U^I^abIbefIfhi5j(  r1ctdtt\}}}}}d||z|dzz|dz|dzzz|dzz dz df}d|dz ||zz ||zz |dzz df}d|dz|dzz|dz|dzzz|z |z d f}d ||z||d zzz||zz|d zzd f}t|||} t|||} t | |t | |ksJt|||} t|||} t | |t | |ksJy) Nrrrr#r!rrr r&rr'rJ)rrrrr ) r)r*r+r.rrrrrcp1cp2s r/ test_cp_keyrsJiU+JAq1Q QqSAX1QT 1AqD81B QqS1QT6\AaC/!Q$6 ;B B "C B "C #q>F3N ** * B "C B "C #q>F3N ** *r1ctdtt\}}}}}tt dd|j d}tt ddtdd|dzztdd|z|zztdd|z|zz|dz|zztd d|dzzztd d |z|dzzztd d |z|zz tdd|dzzztdd|dzzz dg}t t|t||dusJtt dd|j d}tt ddtdd|z|ztd d|z|zztdd|zz d |dzzztdd|z|zztd d|zz d |dzzztd d|zz dg}t t|t||dusJy)Nr)rrrr!r)rrrr!-r!r&rr#L#rirJr$r rr'T)rr!r!rrrU) rrrrrrr r r )r)r*r+r.rpBs r/ test_is_rewritable_or_comparablersiU+JAq1Q C a !&&!,A Sq !2a8AqD=2a719Q;#>Ab!A#MPQSTPTUVPV#VY[\]^`YabcefbfYf#fiklnoqirstituvxyuyiy#y|~@BCF}GHI}IJK}K$KNPQSTUNVWXZ[W[N[$[^`acdf^ghiklhl^l$lno p qA 'tAwA :d BB B C a !&&!,A Sq !2b8A:a<"Qq'!)A+#=1Q #IAaQRdF#RUWXZ[\U]^_U_`aUa#adfghijdklmdm#mpqrsuvrvpv#vy{|}~zABCzC$CEF G HA 'tAwA :d BB Br1c  tdtt\}}}}d|d|zzd|zzdz dfdd|dzzd|z|zzd|zz d|dzzzd|zz dfdtd d |z|ztdd |zz d |dzzztd d |zz d fd |d |d zzztdd|dzzz td d|zzd fd|d ztd d|d zzz tdd|dzzztdd|zzdfg}t|d|d|}t |}t ||d|j dfk(sJttt|ddt|t|}t |||k(sJy)Nr")rr!rr!)rrr'r%)rr rUr r#))rrr!rrqr$))rrrrrrtr&r))rrrr!d) rrrrrrrrrr r r )r)r*r+r.rKcpss r/test_f5_reducersGR%HAq1 !ac'AaC-!+Q / !AqD&1Q3q5.1Q3.1a47!A#=q A "R(1*Q,Aa2Qq!tV;b1gaiG K !bAg+2aA 51Q A1 E !Q$Br1a4/"Qr(1a4-?"Qr(1*La P  RA qtQqT1 %Br A Q?~qvvq9 99 9 CQ C %(CF3A Q?a  r1c tdtt\}}}gd}|dz|z d|zz dzd|z|dzz|zdz g}t|||tddtddtdd tddgtddtddtddtdd gtddtddtddtd dgtddtddtddtddggtddtddtddtdd gtddtdd tddtd dgtddtddtddtddgtddtddtddtdd gggk(sJy) Nr))rr)rr!)r!r)r!r!rr r!rr#r')rrrr)r)r*r+basisrKs r/test_representing_matricesrs %U #FAq ,E AAaC! RTAqD[1_q01A !%A . Q(Bq!HbAhY1a 1 Q(Bq!HbAh1ay 1 Q(Bq!HbAh1a 1 Q(Bq!HbAh1a 1 3 Q(Bq!HbAh1ay 1 Q(Bq!H9bAh1a 1 Q(Bq!HbAh1a 1 Q(Bq!HbAh1ay 1 3 34 44 4r1ctdt\}}}}t|dz|dzz ||z |dz|dzz k(sJtd|dzzd|dzzz d|zd|zz d|dzzd|dzzz k(sJtdt\}}}}t|dz|dzz ||z |dz|dzz k(sJtd|dzzd|dzzz d|zd|zz d|dzzd|dzzz k(sJtdt\}}}t|dz|z||dzz|dz|dzzk(sJd|z|dzzd|z|dzzz d|z|dzzz d|z|dzzz}|dzd|dzzz |z}d|z|dzzd|z|dzzz d|z|dzzz d|z|dzzzd|z|dzzzd|z|dzzz }t|||k(sJ|dzd|dzz|zz d |z|dzzz d|dzzz }|dzd|dzz|zzd |dzz|dzzzd |z|dzzzd|dzzz}|dz|dz|zzd |dzz|dzzz d |dzz|dzzz d|z|dzzz d|dzzz }t|||k(sJy)Nr"rrr&r r#r$r'rWrTrUr2/r)rrrr)r)r*r+r.r,r-hs r/test_groebner_lcmrs.GR HAq1 1q!t QU +q!tad{ :: : !Q$1a41qs 3qAv!Q$ FF FGR HAq1 1q!t QU +q!tad{ :: : !Q$1a41qs 3qAv!Q$ FF F %_FAq 1Q!Q$ '1a419 44 4 !AqD1Q3q!t8ac!Q$h&1QT1A 1qAv A !AqD1Q3q!t8ac!Q$h&1QT1AaC1Hrs 9,)&%,hT%% !D,'':''BJ(((:&&/%&+*C" &4 #6 =5$r1