a m?Z?m@Z@mAZAmBZBmCZCmDZDmEZEmFZFmGZGmHZHmIZImJZJmKZKddlLmMZMddlNmOZOddlPmQZQmRZRmSZSmTZTmUZUmVZVmWZWddlXmYZYdd lZm[Z[dd l\m]Z]m^Z^m_Z_dd l`maZadd lbmcZcdd ldmeZeddlfmgZgddlhmiZimjZjmkZkddllmmZmmnZnddlompZpmqZqmrZrmsZsmtZtmuZuddlvmwZwddlxmyZyddlzm{Z{ddl|m}Z}ddl~mZmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZddlmZdd lmZdd!lmZdd"lmZmZmZdd#lmZmZmZmZmZmZmZmZmZmZmZd$d%Zd&d'Zd(d)Zd*d+Zd,d-Zd.d/Zd0d1Zd2d3Zd4d5Zd6d7Zd8d9Zd:d;Zdd?Zd@dAZdBdCZdDdEZdFdGZdHdIZdJdKZdLdMZdNdOZdPdQZdRdSZdTdUZdVdWZdXdYZdZd[Zd\d]Zd^d_Zd`daZdbdcZdddeZdfdgZdhdiZdjdkZdldmZdndoZdpdqZdrdsZdtduZdvdwZdxdyZdzd{Zd|d}Zd~dZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddZddÄZddńZddDŽZddɄZdd˄Zdd̈́ZddτZddфZddӄZddՄZddׄZddلZddۄZdd݄Zdd߄ZddZddZddZddZddZ ddZ ddZ ddZ ddZ ddZddZddZddZddZddZddZddZddZddZddZdd Zd d Zd d ZddZddZddZddZddZ ddZ!ddZ"ddZ#ddZ$d d!Z%d"d#Z&d$d%Z'd&d'Z(d(d)Z)d*d+Z*d,d-Z+d.d/Z,d0d1Z-d2d3Z.d4d5Z/d6d7Z0d8d9Z1d:d;Z2d<d=Z3d>d?Z4d@dAZ5dBdCZ6dDdEZ7dFdGZ8dHdIZ9dJdKZ:dLdMZ;dNdOZ<dPdQZ=dRdSZ>dTdUZ?dVdWZ@dXdYZAdZd[ZBd\d]ZCd^d_ZDd`daZEdbdcZFdddeZGdS(fzBTests for user-friendly public interface to polynomial functions. N);PolyPurePolypolyparallel_poly_from_exprdegree degree_list total_degreeLCLMLTpdivprempquopexquodivremquoexquo half_gcdexgcdexinvert subresultants resultant discriminant terms_gcd cofactorsgcdgcd_listlcmlcm_listtruncmoniccontent primitivecompose decomposesturmgff_listgffsqf_normsqf_partsqf_listsqf factor_listfactor intervals refine_root count_roots real_rootsnroots ground_rootsnth_power_roots_polycancelreducedgroebner GroebnerBasisis_zero_dimensional_torational_factor_listto_rational_coeffs) MultivariatePolynomialErrorExactQuotientFailedPolificationFailedComputationFailedUnificationFailedRefinementFailedGeneratorsNeededGeneratorsErrorPolynomialErrorCoercionFailed DomainError OptionError FlagError)DMPfield)FFZZQQZZ_IQQ_IRREX) RealField) ComplexField)lexgrlexgrevlex)Add)_aresame)Tuple)Expr) Derivativediffexpand) _keep_coeffMul)FloatIIntegerRationaloopi)Pow)Eq)S)Symbol)imre)exp)tanh)sqrt) Piecewise)sin)Matrix) MatrixSymbol)rootof)signsimp)iterable)SymPyDeprecationWarning)raiseswarns_deprecated_sympywarns) abcdpqtwxyzcCs.t||D]\}}t||dkr dSq dS)Ng|=FT)zipabs)r|r}uvrp/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/polys/tests/test_polytools.py _epsilon_eqVsrcCsht|t|kr`t|rFt|t|kr@tddt||DSdSqdt|to\|j|ddSndSdS)Ncss|]\}}t||VqdSN) _strict_eq).0r~rrrr az_strict_eq..FTstrict)typerwlenallr isinstancereq)r|r}rrrr]srcCsttt}t|ttWdn1s20Yt|ttWdn1sd0Yt|ttWdn1s0YdSr)rrrzrnrrrrtest_Poly_mixed_operationsjs **rcCsvtd}tjdddt|djt|d|dg|ks:Jtjdddt|djt|d|dg|kslJtjdddt|djt|d|dg|ksJtjdddt|djt|d|dg|ksJtjdddttf|djt|d|d g|dgg|ksJtjdddtd jttdtdgtksDJtjdddtd d jttdtdgtksxJtjdddttdjttdtdgtksJtjdddttdjttdtdgtksJtjdddtd jttdtdgtksJtjdddtd d jttdtdgtksFJtjdddttdjttdtdgtkszJtjdddttdjttdtdgtksJtjd t titddtt tttddksJtjd titddttttddksJtjddittfddtttttddks@Jtjdtitt fddttttt ddksrJdS)Nrrgensdomain)rr)rrrrrrTrrLrF)rZ compositerSrrrNrr) rMr from_dictrreprJrrNrOrrrKrrrtest_Poly_from_dictts      2                 rcCstd}tjddgt|djt|d|dg|ks8Jtjddgt|djt|d|dg|kshJtjddgtdjttdtdgtksJtjddgtddjttdtdgtksJtjddgttdjttdtdgtksJtjddgttdjttdtdgtks(Jtjd d gtdjttd gtksRJtjd d gtdjttd td gtksJt t d d dS)NrrrrrrTrr?cSstjggttfdS)Nr)r from_listrrrrrrrz%test_Poly_from_list..) rMrrrrrJrNrOrRryr=rrrrtest_Poly_from_lists00.002*0rcsttdttdttdtddttttttdtdtksRJtjdjtddgks|JtjtdjtddgtksJtjtdjtddgtksJtjtdksJtjtdjtddgksJtjttdjtddgtks*JtjttdjtddgtksPJtjtdttdtd dksvJt t fd d t t fd d t t fd d tjttfdttdttddksJtjttftdttdttddksJtjttftdttdttddks6JtjttfddttdttddksdJtdtksJtjtdjtddgtksJt t fdd tjdjtddgksJtjtdksJtjttdjtddgtks Jt t fdd tjtdjtddgks`Jtdtks|JtjtdjttdgtdtdggtksJtjtdjttdgtdtdggtksJtjdjtdgddggksJtjtdttttttdksHJt t fdd tjtttdttttttdksJt t fdd tjtttdttttttdksJt t fdd tjtdttttttdksJt t fdd tjtttdttttttdksJJt t fdd tjtttdttttttdksJt t fdd tjttfdksJtjttftdjttdgtdtdggtksJtjttftdjttdgtdtdggtks2JtjttfdjtdgddggksnJtjttfdjttdgtdtdggtksJtjttftdjttdgtdtdggtksJtjttftdjttdgtdtdggtks Jtjttfdjtdgddggks\JtjttfddjttdgtdtdggtksJtjttfddjttdgtdtdggtksJdS)NrrrmodulusrrrZZ[x]cstjtdSNrr from_polyrr)rfrrrrz%test_Poly_from_poly..cstjttdSrrrrrNrrrrrrcstjttdSrrrrrOrrrrrrrNrOrrzFF(3)cstjtdSNr)rrrOrgrrrrrcstjttdSrrrrrOrrrrrrcstjttdSr)rrrrNrhrrrrcstjttdSrrrrrrrrcstjtddSNrr)rrrrrrrrrcstjttdSrrrrrrrrcstjttdSrrrrrrrrcstjtddSrrrrrrrrTr) rrrNrrMrrrJrOryrFrr)rrrrrtest_Poly_from_polys*"".&&&,      $,&.  6*    *                    rcCsttddttddtd}tjtd|djt|d|dg|ksRJtjtd|djt|d|dg|ksJtjtdt|djt|d|dg|ksJtjtdt|djt|d|dg|ksJtjtt|djt|dg|d|d gg|ksJtjtttt|djt|dg|d|d gg|ksXJttdjtddgt ks|Jttdjtddgt ksJttdtjtddgt ksJttdtjtddgt ksJtjtdt djtddgt ksJtjtdt djtddgt ks.cSsttdSNr)rrrjrrrrrrrrrrrr) ryrCrMrrrrrJrrN)F3rrrtest_Poly_from_exprs&..00:>$$&&((**0rcCs tt}t|tdt|djt|tdg|ks8J|}t|tdt|djt|tdg|kspJtt}t|tdt|djt|tdg|ksJ|}t|tdt|djt|tdg|ksJtt}t|ddgt|djt|ddgg|ksJ|}t|ddgt|djt|ddgg|ksVJtt}t|ddgt|djt|ddgg|ksJ|}t|ddgt|djt|ddgg|ksJt t }t|ddgt|djt|ddgg|ksJdS)Nrr) rNrrrrrJ get_fieldrOZ old_poly_ringalgebraic_fieldrc)domrrrtest_poly_from_domain_element.s$0000 22 22 rcCsttddttddttddttddttddttddttddttd dttd dttd dttd dttd dttddttddttddttddttddttddttddttddttddttdttt}t tttdt|ksZJt t tttgt|ksxJt tttgt|ksJt tttft|ksJt itt t }|j tt t fkr|dksJt t tttt tt tt tttt tksJt dtddtdddgdksJJt dtddtdddgdks|Jt dtddtdd dgd!ksJttd"dt dtdd#ttdd#dddtdd#tdd#dgksJtt dtdd#ttdd#dd dgd$sDJt d%tdd&tdddgdksvJt d%tdd&tdddgdksJt d%tdd&tdd dgd!ksJttd'dt d(tdd)tdddtd*d+td,d+dgks(Jt d(tdd)tdd dgd-ksZJt dddd.tt t tdt dtt ddtt tt ksJt tddtd/ttksJdtd#td0tdtdd1}t |td2d3d4t dtd#td0tdtddtd2d3d4ks>Jt |td2d5d4t dtd#d6td0tdd6tddtd2d5d4ksJtt tdtd7tsJtt tdttd7tsJdS)8NcSsttdttSNrrrrrrrrHrz"test_Poly__new__..cSstttttttdSrrrrrNrrrrrJrcSstttttttdSrrrrrrrKrcSstttddS)NT) symmetricrrrrrrMrcSsttdtdtdS)Nrr)rrrrrOrrrrrNrcSsttdttddS)NrT)rgaussianrrrNrrrrrPrcSsttdtdddS)NrrT)rrrrrrrrQrcSsttdtttdgdS)Nrrr extension)rrrNrprrrrrSrcSsttdtdtdgdS)Nrrrr)rrrprrrrrTrcSsttdttddS)NrTrrrrrrrVrcSsttdtdddS)NrrTrrrrrrrWrcSsttdttddS)NrTrgreedyrrrrrrYrcSsttdttddS)NrTrrLrrrrrrZrcSsttdttddS)NrFrrrrrrr\rcSsttdttddS)NrFrrrrrrr]rcSsttdtdddS)NrrrW)rorderrrrrrr_rcSsttdtddS)NrrWrrrrrrr`rcSstdddS)NrrrrrrrrrbrcSs tddgSNrrrrrrrrcrcSstdS)NrrrrrrrrdrcSstdSrrrrrrrfrr)rrrrrrrNr)rrrrOrR)@@rcSs*tdtddttdddddS)NrrrrrNr)rrrerrrrryrr)g333333?g?rrrcSs tdtddtdddS)N@r@rrNrrrrrrrrrr )rrr)rrrrriTrrFr)ryrDrHNotImplementedErrorrCr|rr}r~riterrrras_expr all_coeffsrFrerrc get_domainrOrrrTrUrrrrtest_Poly__new__Gs$:222" 2 22 @2. ((, 2 $rcCs*ttddjtddtfks&JdSr)rrargsrrrrtest_Poly__argssrcCsttttttjtfks"JttttttjtfksDJttttttjtfksfJtttttttjttfksJtttttttjttfksJttttttttjtttfksJttttttttjtttfksJttttttttjtttfks4JtttttjtttfksZJtttttddjtttfksJtttttddjtttfksJtttttddjtttfksJttttttttddjtttfksJtttttddjtttfks2Jtttttddjtttfks\JtttttddjtttfksJttttttdjtttfksJttttttdjtttfksJttttttdjtttfksJttttttttddjtttfks4Jtttttdd d jtttfks`Jtttttdd d jtttfksJdS) Nz x > p > q)sortz p > x > qz p > q > xrwrtrrzq > x)rrzp > x)rrrrrrrrrtest_Poly__genss,"""&&*,,&***0******0,rcCs@ttjtdttdksJttdjtdttdksJttdttttdttddtddggttddggtfksJttdttd d ttdttddtddggt tddggt fksJttdttttdttd d ddtddggt tddggt fk s6Jttdt tt d  ttdt dtd d ttdt td d ttdt dtd d fk sJtdt\}}}ttttdd tttttdd ddt||dg|t|||dg|fk sJttttdd tttttdd ddt||dg|t|||dg|fk s~Jttddttdtdttdd }ttdtdttdd }||dd|j|jfk sJdS)NcSstttSr)rr_unifyrrrrrrrz"test_Poly__unify..rrrrrrrOrTrzQQza,bZZ[a]zZZ(a,b)zZZ(a)cSs&tttdtdttddddS)NrTrKZZ(x)r)rrrrrrrrrrzQQ(x)zQQ[x])ryrArMrrrrrJrNrOrcrPZunifyrprLr|r}Z to_domainrFrr)rZF5FABrrrrrtest_Poly__unifysb$( $( VVHLLRVVRVVTXXNRRNRRTXXPTT0. 0. 0. rcCs4ttddjthksJttdttjttthks@JttdtttjttthksfJttdtttjttthksJttdttttjttthksJttdtttttdjttthksJtdttdtttjthksJtttttjtthks0JdSNrrr)rr free_symbolsrrrrrSrrrrtest_Poly_free_symbols s$&(*.(r cCsttddjtksJttdttjtks.皙?) rrrrNrOryrFrrTrrrrtest_Poly_get_domaingsrcCsLtdtdttdtdks*JtdtddtdtdksTJtdtdttdtdddksJtdtddtdtdddksJttddttdddtdtd ksJtdtd dttddttddksJttd d ttd d ttd d dS)NrrrNrOrrrRr皙?cSsttddtSr)rr set_domainrNrrrrrrz&test_Poly_set_domain..cSsttdddtS)Nrrr)rrrrOrrrrrrcSstttttttSr)rrrrrNrrrrrr) rrrrNrOreryrFrDrrrrtest_Poly_set_domainus**..68rcCs2ttdddddks JttdddS)NrrrcSsttddSr)rr get_modulusrrrrrrz'test_Poly_get_modulus..)rrrryrErrrrtest_Poly_get_moduluss rcCsttdddddttddddks2JttdddddttddddksdJttdddttddddksJttdddS)NrrrrrcSsttdddSr)rr set_modulusrrrrrrz'test_Poly_set_modulus..)rrrryrFrrrrtest_Poly_set_moduluss   .rcCs&ttddttdks"JdS)Nrrr)rrZ add_groundrrrrtest_Poly_add_groundsrcCs&ttddttdks"JdSNrr)rrZ sub_groundrrrrtest_Poly_sub_groundsrcCs*ttddtdtdks&JdSr)rrZ mul_groundrrrrtest_Poly_mul_groundsrcCsPtdtddttdks&JtdtddttdksLJdS)Nrrrr)rrZ quo_groundrrrrtest_Poly_quo_grounds&r cCs8tdtddttdks&JttdddS)NrrcSstdtddSNrr)rr exquo_groundrrrrrrz(test_Poly_exquo_ground..)rrr"ryr>rrrrtest_Poly_exquo_grounds&r#cCsHtt dtttt dtkr>ttdtksDnJdSr)rrrrrrr test_Poly_abssr$cCsFtt dttt dt kr.cSstttdtttSrr4rrrrrr)rrpowrdrry TypeErrorrrrr test_Poly_pows"&.28r7cCs:ttdtt}}|tdt}}t||||fks.cSstttttSrrrrrGrrrrrrcSsttttttSrrHrrrrrrcSsttttttSrrHrrrrrr)rrrGrryrErrrrrrtest_Poly_replacess""$$$(&*&**rIcCsttddttttttttttttks:JttttttttttttksfJttttttttttttksJttttttttttttksJtttttjtdtttttksJtttttjtdtttttksJdS)NcSstttttSr)rrrreorderrrrrrrrz#test_Poly_reorder..r)ryrErrrrJrrrrtest_Poly_reorders,,,,,rKcCsttdttdtttt}|tdttdkrN|jttfksRJtttttttdttttttksJttddttdddS)NrrcSs"tttdtdtttSr1rrrltrimrrrrrrz!test_Poly_ltrim..cSsttttttdS)NrrLrrrrrr) rrrrrMrrryrErrrrtest_Poly_ltrims $.4rNcCs^tttdtttttdus&JtttttttttdusLJttdddS)NrTFcSs"tttdtdtttSr1)rrr has_only_gensrrrrrrrz)test_Poly_has_only_gens..)rrrrrOryrDrrrrtest_Poly_has_only_genss&&rPcCstdtdddtdtdddks0Jtdtdddtdtdddks`JttddttdddS) NrrrNrrOcSsttddSrrrto_ringrrrrrrz#test_Poly_to_ring..cSstdtdddS)NrrrrrQrrrrrr)rrrRryrFrGrrrrtest_Poly_to_rings00rScCstdtdddtdtdddks0Jtdtdddtdtdddks`JttddddttddddksJtdtdddtdtdddksJtdtd tdtd ksJdS) NrrrNrrOrrrr)rrZto_fieldrrrrtest_Poly_to_fields 0000rTcCsdtdttdtks Jttdttdks@Jtdtttdks`JdS)Nrrr)rrZto_exactrrrrtest_Poly_to_exacts  rUcCsttddtttd}|ttddtddksJ|ddtdtksXJ|ddtdtdtkszJ|ddtdtddtdtksJ|ddttddtddtdtksJ|tddtdtksJ|tddtdtksJ|tddtdtdtks>J|tddtdtddtdtkspJ|tddttddtddtdtksJdS)Nrrrrr)rrslicerrrrtest_Poly_slices$".6&2rXcCs tdtdgksJtdtdgks0JtdtdtddgksRJtdtddtdtgdksJtdtddtdtgdksJtttddtdtddddgksJtttddtdtdd ddgksJdS) NrrrrrrrrrrVrW)rrZcoeffsrrrrrtest_Poly_coeffss"..6rZcCs tdtdgksJtdtdgks0JtdtdtddgksRJtdtddtdtgdksJtdtddtdtgd ksJtttddtdtd d d d gksJtttddtdtd dd d gksJdS)Nrrrrrrrrrr)rrrrrVrrrrrW)rrZmonomsrrrrrtest_Poly_monomss"..6r`cCs tdtdgksJtdtdgks0JtdtdtddgksRJtdtddtdtgdksJtdtd dtdtgd ksJtttddtdtd d d dgksJtttddtdtd ddd gksJdS)Nrrrrrrrrrr)r\rrcrbr)r]rrcrbrrVr^rr_rrW)rrZtermsrrrrrtest_Poly_termss&"..rhcCstdtdgksJtdtdgks0JtdtdtddgksRJtdtddtdtgdksJtdtddtdtgdksJdS)NrrrrrYr)rrrrr)rrrrrrrtest_Poly_all_coeffss ".ricCstdtdgksJtdtdgks0JtdtdtddgksRJtdtddtdtgdksJtdtddtdtgd ksJdS) Nrrrrrrr[r)r]rr\rr)rrZ all_monomsrrrrtest_Poly_all_monoms s ".rkcCstdtdgksJtdtdgks0JtdtdtddgksRJtdtddtdtgdksJtdtd dtdtgd ksJdS) Nrrarrbrrcrrdr)re)rjr)r\rrcrb)rrZ all_termsrrrrtest_Poly_all_termss"  rlcCshttddtd}ttddtd}dd}|||ksJJdd}|||ksdJdS)NrircSs|\}|dd|SNrrrmonomcoeffkrrrfunc'sz test_Poly_termwise..funccSs|\}|f|dd|fSrnrrorrrrs-s)rrZtermwise)rrrsrrrtest_Poly_termwise#s rtcCstdtdksJtdtdks,JtttdksBJttdtdks\JttddtdkszJttdtdtdksJdS)Nrrrr)rrlengthrrrrtest_Poly_length4s rvcCstdtiksJtdtttiks0JtdtddiksJJtdtttddikshJttddtdddksJttddtttdddksJtdtdttdd ttd ttdd d d ksJdS) Nrrrrrrrr)r\r))rrrrwrr)rrrrrrrrr)rrZas_dictrrrrrrtest_Poly_as_dict>s$(8r{cstdtdksJtdtttdks0JtdtdksFJtdtttdks`JttddttddksJttddttttddksJtdtdttddttdttdtdttddttdttksJttddttdtttt tddttdksnJtdidtdtdksJtd id d ttdksJtdtd id ksJdd d ksJttfd ddS)Nrrrrrrrr?iHi{cstdiSr)rrrrrrrcrz#test_Poly_as_expr..)rrrrrryrDrrrrtest_Poly_as_exprLs$&*.. $,((r~cCspttdttdttddttddtddtd tddtdd td d kslJdS) NrTrr3rriBr,iAFrOr)rrrcZliftrrrrtest_Poly_liftfs $8rcCstdtdtdtfks Jtdtdtdtfks@Jtttdtttfks`JttdtdtttfksJttdtdtttfksJttdttdtd tdd tttttdtfksJdS) Nrrrrr\r)rrCr)rrrC)rrdeflaterrrrrrtest_Poly_deflatels   $$"rcCsttdtttdttdt}|ttdtttdttdttksbJ|jddttdtttdttdttksJdS)NrrrT)front)rrrZinjectrrrrtest_Poly_injectxs*8rc Csttdtttdttdtt}|ttttdtdttdtddksdJ|ttttdtdttdtddksJttttt}t|ttttt}|tt|ttttddksJ|ttt|tttddksJ|tttt|ttddks,J|tt|ttttd dksPJ|ttt|tttd dkstJ|tttt|ttd dksJttd d tt dd dS)NrrrrrZZ[y]zZZ[x, y]z ZZ[x, y, z]zZZ[w]zZZ[t, w]z ZZ[z, t, w]cSstttttttdtSr)rrrrNrejectrrrrrrz!test_Poly_eject..cSstttttttSr)rrrrrrrrrrr) rrrrrrrryrGr)rexrrrrtest_Poly_ejects,88"$$$$$rcCsjtttttttksJttttttttttksFJtdtttdttksfJdSr)rrrexcluderrrrtest_Poly_excludes(rcCs tdttddksJtdttddks4JtdttddksNJtdttddkshJttddttddtdtttdksJtdtttdksJtdttddksJtdttd dksJttd dttd ddS) Nrr/rrcSstdttdS)Nrrrr _gen_to_levelrrrrrrz)test_Poly__gen_to_level..cSstdttdSrrrrrrrrrrcSstdtttSr)rrrrrrrrrrrcSstdttdS)Nrrrrrrrrr)rrrrryrErrrrtest_Poly__gen_to_levelsrcCs4tdtt usJtdtdks.JtttdksDJtdtjddt us`JtdtjdddkszJtttjdddksJtdtjtdt usJtdtjtddksJtttjtddksJtdtjddt usJtdtjdddksJtttjdddks:Jttddttddttddtdttdks~Jtd tttdksJtttttdksJtdttjtddksJtd tttjtddksJtttttjtddksJtdttjtddks:Jtd tttjtddks\Jtttttjtddks~Jtdtt usJtdtdksJtttdksJtttd tdksJtttd td ksJtttd tdksJttdks"Jtt d dtt d dttd dttd dttdttt usvJttdttdksJtttd tdtdksJtttd tdttddksJtttd tdttdksJtttd tdtdttdks0JdS)NrrgenrcSstdtjddSNrrrrrrrrrrrz"test_Poly_degree..cSstdtjtdSr)rrrrrrrrrrcSstdtjddS)NrrrrrrrrrrrcSsttdtdSr!rrrrrrrrrcSsttdtddSNrrrrrrrrrrcSs ttdS)Ng?rrrrrrrrcSsttdtddtSrrrrrrrrrr) rrrrfryrErrrgr6rrrrtest_Poly_degreesR""""$(&rcCs(tdtt fksJtdttt t fks:Jtdtttt t t fks`JtdtdksvJtdttdksJtdtttdksJttdttdtdddksJtdtdksJtttd ksJtttdd ksJttd d dS) Nrrrrrwrr)rrrrrcSstdSr)rrrrrrrz'test_Poly_degree_list..)rrrrfrrryr@rrrrtest_Poly_degree_lists &0rcCsttdttdtdddks0JttdtddksPJtttttddkstJttdtddksJttttddksJttttdttdksJtddksJtttdtdtddks Jtttdtdtdtdks6JtttdtdtdttdksdJtttdttttdtdtdttdksJdS) Nrrrrrr r)rrrrrrrrrtest_Poly_total_degrees0 $  *,.rcCsttdttttdttks.JttttttttttksVJtttdtttttdksJdSr1)rrrZ homogenizerrrrrtest_Poly_homogenizes.(rcCs tdttt usJtdttdks2JttttdksJJtttttdksfJttdttdusJttttttdusJttddtdtddttddksJttddtdtddttddusJdS)Nrrrrrrr)rrrZhomogeneous_orderrfrrrrtest_Poly_homogeneous_order s <rcCstdtdksJtdtdks,JtdtdttdksNJtttddtdtdddksJtttddtdtdddksJtttddtdtddddksJtttddtdtddddksJdS) NrrrrrrVrWr)rrr rrrrr test_Poly_LCs"220rcCsRtdtdksJtdtdks,JtdtdttdksNJdS)Nrrr)rrZTCrrrr test_Poly_TC#srcCstdtdksJtdtdks,JtdtdttdksNJtttddtdtdddksJtttddtdtdddksJdS)NrrrrrrVrW)rrZECrrrrr test_Poly_EC)s "2rcstdtddksJtdttdks0JtdtddksHJtdttdks`Jttdtddks|JttdttddksJttdttddksJttdttddksJtdttddttddksJtdttddttttddks.cSsttddS)Nrrrrcoeff_monomialrrrrrJrcSsttddtSNrrrrrrrrKrcSsttddttSr)rrrrrrrrrLr) rrrrrnrrqryr ValueErrorrrrrtest_Poly_coeff2s&   ,4$ (rcCs<tdtddksJtdtddks0JtdtddksHJtdtddks`Jttdtddks|JttdtddksJttdtddksJttdtddksJtdttddttdddksJtdttddttdddks*Jttdd dS) Nrrr,rrrrcSstttdttdSr)rrrnthrrrrr^rztest_Poly_nth..)rrrrryrrrrr test_Poly_nthOs,.rcCs,tdtdksJtdtdks,JtdtdttdksNJtttddtdtddd ksJtttddtdtdd d ksJtttddtdtddd tdtdksJtttddtdtdd d ttdks(JdS) Nrrrrr\rrrVr^rWr_r)rrr rrrrr test_Poly_LMas"22<rcCspttdtdttdttdtttd}dd}|jdddksXJ|j|dd kslJdS) NrrrcSs tt|Sr)tuplereversed)rprrrrorz+test_Poly_LM_custom_order..rVr)rrrrx)rrrrr )rZrev_lexrrrtest_Poly_LM_custom_orderms<rcCstdtdksJtdtdks,JtdtdttdksNJtttddtdtddd ksJtttddtdtdd d ksJdS) NrrrrrrrrVr_rWr^)rrZEMrrrrr test_Poly_EMus "2rcCs0tdtdksJtdtdks,JtdtdttdksNJtttddtdtdd d ksJtttddtdtdd d ksJtttddtdtdd d dtdtdksJtttddtdtdd d ttdks,JdS)Nrrarrbr)r\rrrrVrfrWrgr)rrr rrrrr test_Poly_LT~s"22@rcCstdtdksJtdtdks,JtdtdttdksNJtttddtdtdd d ksJtttddtdtdd d ksJdS) Nrrarrbr)rrrrrVrgrWrf)rrETrrrrr test_Poly_ETs "2rcCsFtdtdksJtdtdks,JtdtdksBJdSNrrr)rrZmax_normrrrrtest_Poly_max_normsrcCsFtdtdksJtdtdks,JtdtdksBJdSr)rrZl1_normrrrrtest_Poly_l1_normsrcCsttdt\}}|dkr@|ttdtddkr@|tksDJttddt\}}|dkr|ttdtddkr|tksJttddtjdd\}}|dkr|ttdtddkr|tksJtttdtjdd\}}|tkr*|ttttddkr*|ttks.Jttd tdtd d\}}|d kr|ttd tdtd dkr|tksJttd tdtd djdd\}}|d kr|ttd tdtd dkr|tksJdS) NrrrNrrOT)convertrrrS) rrZ clear_denomsrrNrOrrprS)rqrrrrtest_Poly_clear_denomssP          "     rcCsttdtdt}ttdtt}||ttdtttttdtdtfksbJ|t}|t}||||fksJdS)Nrrr)rrrZrat_clear_denomsrrSrrrrtest_Poly_rat_clear_denomss*  rc Cstddtdddddtdtddd tdddtdtddd d td ddtddddtdtd ddddtdtddd tdddtdtddd d tddddtdtd ddddtdtddd tdddtdtddd d tdddtd ddddtdtddd tdddtdtddt}|tdtddksJdS)Nlwf8*-rrl><i^i#l4$isDlRr lwf8*-rrSr)rrjrprrrrrtest_issue_20427sX     $   &.  &  rcCs`ttdttddtks(JttdtttddtksRJttdtdfttddtksJtttdtttdtdtksJtttdttttddtksJtttdttttdtdtddks"Jtttdtttttddtddks`JtttdtdfttdtdtddksJtttdtdftttddtddksJtttdttttdtddttksJtttdttttdtddttks\JdS)Nrrrr?r)rrZ integraterrrrrtest_Poly_integrates(*.22>>@@>rcCsxttdttdtdks(JttdtttdtdksRJttdttdftdtdksJttdtdttttdttdtksJttdtdttttdtdttksJttdtdtttttdtdttks:JttdtdtttttdtdttksxJttdtdtttdftdtdttksJttdtdtttdftdtdttksJttdtdtttttdttdks6JttdtdtttttdttdkstJdS)Nrrr)rrr^rrrrrtest_Poly_diffs(*.>>>>@@>rcCstttdttdtdks(Jtttdttddtttdttks\JtttdtttdtdksJdS)NrrFevaluate)r^rrr]Zdoitrrrrtest_issue_9585s (rcCstdtddksJtdtddks0JtttddksHJtdtdddksbJtdtdddks|JtttdddksJtdttddksJtdttddksJttttddksJtdtdddksJtdtdddksJtttdddks6Jttddttddttddtd ttdtd tksJtd tttdtd ttksJtttttdtdttksJtd tttdtd tksJtd ttttdtd ttks&JttttttdtdttksRJtd tttdtd tksvJtd ttttdtd tksJttttttdtdttksJtttttttditd ttksJtttttttditdtdtks2Jtttttttd tdidks^Jtttttttdtd idksJttttttddksJttttttd dgdksJttdddtjtdd ksJttdddt d t d dks*Jtt ddtt ddt d}d |t d |t d dt d d t d}ttd |dt|dtdd}|t dt d|ksJttd |dt|dttdd}|t dt dt|tddksJdS)NrrrrcSstdtddSNrrrrevalrrrrrrz test_Poly_eval..cSstdttdSr)rrrrrrrrrrcSstdtddS)Nrrrrrrrrrr{rr>r,r?10)r?rrNrrcSsttttttdS)N)r?rr,)rrrrrrrrr-rcSsttdddjtjddS)NrrNrFauto)rrrrjHalfrrrrr.ralphaz ZZ[alpha]z ZZ(alpha,z))rrrryrErrjrrerprrGrkr)rresultrrrrrtest_Poly_evalsP"**$,,$(,26,,$((,4& (rcCs~tdttdttdt}|dtdtdtdksHJ|ddtdtdksfJ|ddddkszJdS)Nrrrr?rr-)rrrrrrrrtest_Poly___call__:s$$rcCsttdtddgtdttdtttddtgksBJtttdttddgtdttdtttddtgksJttdttddtgtdttdtttddtgksJtttdtttddtgtdttdtttddtgks"JttdtddgttdttdttttddttgkslJtttdttddgttdttdttttddttgksJttdttddtgttdttdttttddttgks JtttdtttddtgttdttdttttddttgksbJttdtddgdttdtttddtgksJtttdttddgdttdtttddtgksJttdttddtgdttdtttddtgks4JtttdtttddtgdttdtttddtgksJtdtddgdtdtttddtgksJtdtddgdtdtttddtgksJtdttddtgdtdtttddtgks6JtdttddtgdtdtttddtgksvJttdddgdttddttdtgksJttdddgdttddttdtgksJtttddtdgdttddttdtgks*JtttddtdgdttddttdtgksjJtttttttttgttdddttttddttttddgksJttdd dS) NrrrrVrrNrcSs tddgSr')rrrrrrsrz.test_parallel_poly_from_expr..)rrrrryr?rrrrtest_parallel_poly_from_exprBs8 "  "   "  "             & rcCstdtdtt}}ttd}}dd||||fD\}}}}||||fks\J|||ksnJ|||ksJ|||ksJt||||fksJt|||ksJt|||ksJt|||ksJt||tt||fksJt||tt|ksJt||tt|ks(Jt||tt|ks@Jt||ttf||fks^Jt||ttf|ksxJt||ttf|ksJt||ttf|ksJt||||fksJt|||ksJt|||ksJt|||ksJt||dd||fksJt||dd|ks4Jt||dd|ksLJt||dd|ksdJt||dd||fksJt||dd|ksJt||dd|ksJt||dd|ksJttdd ttd d ttd d ttd d dS) NrrcSsg|]}t|ttqSrr4rrrrr zrztest_pdiv..TpolysFcSs tddSNrr)r rrrrrrztest_pdiv..cSs tddSr)r rrrrrrcSs tddSr)rrrrrrrcSs tddSr)rrrrrrr)rrr r rrryr@)rrrr9rGQRrrr test_pdivvsFrc sdtdtdttttd}}dd||fD\}}}}||||fks\J|||ksnJ|||ksJ|||ksJt||fksJt|ksJt|ksJt|ksJttt||fksJttt|ksJttt|ks(Jttt|ks@Jtttf||fks^Jtttf|ksxJtttf|ksJtttf|ksJt||||fksJt|||ksJt|||ksJt|||ksJtdd||fksJtdd|ks4Jtdd|ksLJtdd|ksdJt||dd||fksJt||dd|ksJt||dd|ksJt||dd|ksJttdd ttd d ttd d ttd d tdd dtddtdd }}tdd d}} t|| fksVJtdd|| fksrJtdd||fksJttd||fksJtt d|| fksJttdd|| fksJttdd||fksJtt dd|| fks Jtt dd|| fks>Jt| ksRJtdd| ksjJtdd|ksJttd|ksJtt d| ksJttdd| ksJttdd|ksJtt dd| ksJtt dd| ksJt|ks.Jtdd|ksFJtdd|ks^Jttd|ksvJtt d|ksJttdd|ksJttdd|ksJtt dd|ksJtt dd|ksJtddttd}t|ks&Jtdd|ks>Jtt fdd tt fdd tt d|ks~Jttdd|ksJtt fdd tt dd|ksJtt dd|ksJt tdt t\}}| j r| j s J}| j s:J}| j sTJ}| j snJt tttt dttt\}}| jr| jsJt ddtttd} t d tttd}| j|ddt dtddt ddttddfksJ| j|ddt td  ddtdtddt dtddfks`JdS)NrrcSsg|]}t|ttqSrr4rrrrrrztest_div..TrFcSs tddSr)rrrrrrrztest_div..cSs tddSr)rrrrrrrcSs tddSr)rrrrrrrcSs tddSrrrrrrrrrrrrrrrcstddSNFrrrrrrrrcsttdSrrrNrrrrrrcsttddS)NFrrrrrrrrrrPrQ)rrrrrrryr@rNrOr>rrZis_ZZZis_FracrcrPrj) rr9rrrrZqzZrzZqqZrqrrrrtest_divs   " "  0rcCs6ttdt\}}t|ddks&J|dks2JdS)Ng>, p ?g3! @g+=r)rr|r)rr9rrrtest_issue_7864src Csdttdd}}tdtddd}}}dd|||||fD\}}}}} |||| fkshJ||||| fksJ|||ksJt||||fksJt|||||fksJt|||ksJt||t||fksJt||t|||fksJt||t|ksJt||tf||fks8Jt||tf|||fksVJt||tf|ksnJt|||| fksJt||||| fksJt|||ksJt||dd || fksJt||dd ||| fksJt||dd |ksJt||d d ||fks"Jt||d d |||fks@Jt||d d |ksXJtd d d kslJtd d dksJtdddksJttddttddttdddS)Nrr3 rrcSsg|]}t|tddqS)rOrrrrrrrr$rztest_gcdex..TrFdi)r)rrrrrrcSsttddtdddSNrrFr)rrrrrrrFrztest_gcdex..cSsttddtdddSr)rrrrrrrGrcSsttddtdddSr)rrrrrrrHr)rrerrrryrG) rrsrrrrrjTHrrr test_gcdex s<"rcCsvtdtddtddtdd}tdtdddtddtddd}|d |ksrJdS) Nrrrrr?i=rr,)rrrevertrrrr test_revertKs,4rcCstddtdtdddtd}}}t|t|t|}}}|||||gksdJt|||||gks|Jt||t|||gksJt||tf|||gksJt|||||gksJt||dd|||gksJt||dd|||gksJttdddS)NrrTrFcSs tddSr)rrrrrr^rz$test_subresultants..)rrrryr@rrrrrrrrrtest_subresultantsRs0rcCstddtdtddd}}}t|t|}}|||ksLJt|||ks^Jt||t|ksrJt||tf|ksJt|||ksJt||dd|ksJt||dd|ksJt||dd|||dtdgfksJtttttt}}}t|t|t|}}}|||ks:Jt|||ksNJt||t|ksdJt||tf|ks|Jt|||ksJt||dd|ksJt||dd|ksJttdd dS) NrrrTrF)Z includePRScSs tddSr)rrrrrryrz test_resultant..)rrrr|r}ryr@rrrrtest_resultantas(((rcCstddtddtdd}}t|}||ks>Jt||ksNJt|t|ks`Jt|tf|kstJt||ksJt|dd|ksJt|dd|ksJttdttttdd tt}}t|t|}}||ksJt||ksJt|tttt|ks*Jt|ttttf|ksFJt||ksXJt|dd|ksnJt|dd|ksJttd d dS) Nrrr ipTrFrcSstdSNr)rrrrrrrz#test_discriminant..)rrrr|r}r~ryr@rrrrrrrtest_discriminant|s&&.rcCsttdtdt}t|ddgks.J|dks>Jttddtddt}|d}t||gdksJ||dksJdS)Nrrrrrr)rrr)rrsortedZ dispersionsetZ dispersionshift)fpZgprrrtest_dispersions rcCsDtddtddtddtdg}t|tdks>Jt|ddttdksZJtgdksjJtddgdks~JtgddksJtttdtttdgdksJtgt}|jr|tjusJtgtdd}|jr|jsJt d}t|| gt| |gkr,|ks2nJt t d d dS) NrrrTrrrr?r,*cSs tgddSNTr)rrrrrrrztest_gcd_list..) rrrr is_Numberrjris_Polyr@rpryr@)rrr|rrr test_gcd_lists** 2rcCs\tddtddtddtdg}t|tdtddtdtdtdksbJt|ddttdtddtdtdtdksJtgdksJtddgdksJtgdd ksJtttd tttd gd ksJtgt}|jr$|tjus(Jtgtdd}|jrF|jsJJt t d d dS)NrrrrrTrrrrrcSs tgddSr)rrrrrrrztest_lcm_list..) rrrrrrjOnerrAryr@)rrrrr test_lcm_lists*8@, rcCstddtdd}}tdtdtd}}tdtdtdtd}}dd||||||fD\}}}} } } ||| || fksJ||| ksJ||| ksJt|||||fksJt|||ksJt|||ksJt||t|||fksJt||t|ks&Jt||t|ks.TrFrr,r?)rrrrrCrrrr/rcSsttSr)rrrrrrrrztest_gcd..cSsttSr)rrrrrrrr) rrrrrprrcrPryr6)rrrrrr9rrrjrrrlr|r}rrrtest_gcdsr"&2, 2,  ..2rcCsZttddtsJttdtdts,Jtdddks>JtdtddksTJtttddtddtstJtttddttddtsJttddtddtddksJttddttdddksJttddtsJttdtdts Jtdddks Jtdtddks8Jttddd d ddksVJdS) Nrrrrrrg"@rFr)rrrdrrerbrarrrrtest_gcd_numbers_vs_polys!s $$"rcCstddksJtdtdks"Jttdtdks:Jtt dt dksVJtdtddtdksvJtdtdtddtdddksJttdtttdtttdtdksJtdtdtdttddtttdtdksJttdtdttddttdtdtdksdJttdtdttdtttddtdksJtdtdtdttddtttddtdksJtdtdtddttddtttdd dtddtdksLJtd tdtd ttdttd tdd tdksJttd tdd tdsJtddttttdd dtdtttksJtddttttddtdd ddttdttdtddddksVJtttttd dtttdksJtdtdtdtt}t|tdtdttdksJt|d dtdtdttdksJt t dddS)Nrrrr?rFrrrgffffff@r_T)r_deeprcSs ttdkSr1)rrrrrrrXrz test_terms_gcd..) rrrarrerZrrrirryr6rrrrtest_terms_gcd8s6 *8FFBJ\J$ ,(  (,rcCs<tddtddtddtddtdtdtdtdt}}t|t|}}|d|kszJt|d|ksJt|dt|ksJt|dtf|ksJt|d|ksJt|ddd|ksJt|ddd|ksJdtddtddtddtddtd td tdtd }}t|t|}}|d|ksrJt|d|ksJt|dt|ksJt|dtf|ksJt|d|ksJt|ddd|ksJt|ddd|ksJttddtddd }|dttdd dd ks8JdS) Nrrrrr?TrFrr)rrr rrrr test_trunc[s(VXrcCstdtdttj}}t|ddt|}}||ks>Jt||ksNJt|t|ks`Jt|tf|kstJt||ksJt|dd|ksJt|dd|ksJttdd tdtdd td dd tdd tdksJttdd tdtddtddtddtdks:Jtdtdd td ddtdtdkspJdS)NrrrOrTrFcSstdSr)r!rrrrrrztest_monic..r?rrrcSstdtdtdddS)Nrr?rFr)r!rrrrrrrrg@g@rrrr)rrjrrr!ryr@r>rrrr test_monicws8:rcCspdtdtdtd}}|dks.Jt|dks>Jttddtdtdd}|dkslJdS)NrrcSstdSr)r"rrrrrrztest_content..rrr)rrr"ryr@)rrrrr test_contents rcCs>dtddtd}}t|t|}}|d|fks@Jt|d|fksTJt|td|fksjJt|tfd|fksJt|d|fksJt|ddd|fksJt|ddd|fksJttddtdtd d }td ttd }|d|fks J|d |fks Jttdtdks:JdS)NrrrTrFcSstdSr)r#rrrrrrz test_primitive..rrrrrz-3*x/4 + y + 11/8z(1/8, -6*x + 8*y + 11))rrr#ryr@rRrjrrrrtest_primitives" r cCsTtddtddtddtddtd d td dtd }td d td }td d t}tt|||f\}}}|||ksJt|||ksJt||t|ksJt||tf|ksJt|||ksJt||dd|ksJt||dd|ksJ|||gks0Jt|||gksFJt|t||gks^Jt|tf||gksxJt|||gksJt|dd||gksJt|dd||gksJttddttddttd td tttttd d ttksJttd td tttttd  d ttksPJdS)Nrrmrr,ir?qrrrrrTrFcSs tddSr)r$rrrrrrztest_compose..cSstdSr)r%rrrrrr)rmaprr$r%ryr@rrrrr test_composes,P8r cCsBttddtdtdttddtdtks>JdSr)rrrrrrr test_shiftsrc Cs ttddtdtttdttdtdtkr|ttddtddtdttdtdksnJttdtddtttdttdtdtddtddtkrttddtdtddttdtdksnJttddtdttttjttdttddtkrttddtddtdtttjtdksnJttddtdtttdtttjttddtkr:tttjdtddtdttdttjks@nJttddtdtttdtttjttddtdd krtttjdtddtdttdttjksnJtt d d tt d d tt d d tt dd tt dd dS)NrrrrrrrrRrcSs$tttttdttdSr)rrr transformrrrrrrz test_transform..cSs ttttdttdSrrrrrrrrrrrcSs ttttdttdSrrrrrrrrcSs$tttttdttdSrrrrrrrrcSs$ttttdtttdSrrrrrrrr) rrrr6rErerjrryrrrrrtest_transforms<06 0 62 82 :2 :rc sftttdd}dtdtdd}}|||gks:Jt|gksNJtt|gksdJttf|gks|Jt|||gksJtdd||gksJt|dd|gksJttddttfd dttd d td td tddtd tdtdd tdtdtddtdtdtddttddtddtttddtdtddtdtddtddtdtddttddtddttddtddtdtddtddtd tdd!td dtd"d#d$tdd%td tddgksbJdS)&NrOrrTrFcSstdSrr&rrrrrrztest_sturm..cs tddSrrrrrrrrii =r,rir rrrri$zZZ(pi)r@r|r3i Nr`rl i iȯrl^_i@) rrr&ryr@rGrjrgre)rrrrrr test_sturms> <(2HrcsdtddtdtddtdtttdfttddfgksTJttdftddfgkstJttfddttddtddtddtdtttddtddfttddtddfttdfgks JttddtddftddtddftdfgksNJttfdddS) NrrrrrcstSrr(rrrrr rztest_gff..cstSrrrrrrr r)rrr'ryrrrrrtest_gff s(, 0 $ DrcCsztdtd}}t|t|ttt||fd}|tdtddtdtddtdttddksvJdS) NrrrrrrrOr)rprrrZnorm)r|r}rrrr test_norm s rcCsttddtdddtddtdtdtddtddfksRJttddtdddtddtdtdtddtddfksJttddtdddttddtdtdttddttddtddtddfksJttddtdddttddtdtdttddttddtddtddfksJdS) NrrrrrrrOr)r)rrprrrrr test_sqf_norm$ s 44*  * rc Cstdtdtdd}tddtddtd}td}tdtdtd}tt||||f\}}}}||ksJt||ksJt|t|ksJt|tf|ksJt||ksJt|dd|ksJt|dd|ksJ|d|df|dfgfksJt|d|df|dfgfks8Jt|td|df|dfgfks\Jt|tfd|df|dfgfksJt|d|df|dfgfksJt|ddd|df|dfgfksJt|ddd|df|dfgfksJ||df|dfgksJttd d tddks.JtddgfksDJtdtddd d tddd ksvJt|||dksJt|t||dksJt|tf||dksJtdt d}t||||d|ksJt||t||d|ks Jt||tf||d|ksFJttdtdks`Jtt dt dks~JttdtdksJtd tdt ddtdddksJtd tddtd t dddtdtdksJtttddtdtddks2Jdttdttd}t|dks`Jtddtdd}t|tddksJt|dtddfgfksJdS)NrrrrrTrFcSstdSr)r*rrrrrN rztest_sqf..rrr?rrlH/Pl_ %) rr rr*r+Zsqf_list_includeryr@r,rrare) rrrrrrrPrrrrtest_sqf3 sT ""$&"&&2"$&,@.rc stdtdtddtd}td}tdtd}tt|||f\}}}}|d|df|df|dfgfks|Jtd|df|df|dfgfksJttd|df|df|dfgfksJttfd|df|df|dfgfksJt|d|df|df|dfgfksJtddd|df|df|dfgfksHJt|ddd|df|df|dfgfkstJ||df|df|dfgksJtddgfksJtddgfksJttdttdgfksJtd ttdd tfgfksJtdtttddtfttfgfks2Jtttttdtttjfgfks^Jt ddkrxt dj s|JtdtdtdfgfksJtdtddtdfgfksJt dtdtksJt dtddtdksJt dtddd d tddd ks.Jt ||d|ksLJt t||d|kslJt tf||d|ksJtdtdtttttddf\}}} } t |||d||| ksJt |t||d||| ksJt |tf||d||| ksBJt d dd }t ddd} t ddd} t tttj dusJt tdtddtdttdtdksJt tdtddtdttddksJt ttdt| t| td| td| ks0Jt ttdt| t| tdd| ksfJt ttdtt ttdtdt ksJt ttdtt ttddt ksJtt| dd|d|d|ddt|dd|dt|dt| dd}t |ksDJt ||ksVJtdd| dd}tt|t t|ksJttdtdttdddfgfksJtddt ksJt tdtdttdtksJt ddtdttdtks8Jt tddtdtdtdtdtdtdks~Jt tddttdtdtdksJtddttdt ksJdtdtddtddtttddtddtd} dttdd dtd d} t | ks\Jt td| ksrJt td| ksJtddtdtdt tddttddksJt dtddttddksJt tddtdtddttdtttdtk s:Jt dtddtdtdddttdtttdtk sJt tdtdk sJt t dt dk sJt tdtdk sJt dtd tddtddd!k sJt td"tdd#dd$tdtdtd%td&tdtdtdtddk sjJt td"tdd#dd$tdtdtd%d'td&tdd'tdtdd'tddk sJttttttttddtdttttddtd}t tttdtk sLJt |tttdtddk svJt ttddtdtddttddtdtdtdk sJtddtddtdt tdtdtddk sJt ttdtdtddk s>Jdttdttdt dk slJt tdk sJt dtddtdtddtdtdtdddtdtd k sJt dd(k sJttfd)d*ttd+d*t tttdtdttdtddtdtgtttttttttttttttgk sJtttdtddd,d,tdu sJtttdtddd,d,tdu sJt tt tt ksJd-tt dtdt t dtdttddtdtdttdtd-tdtddtt dt t dttdtdtddtt t dtdttdd}t |d,ks Jt ttdttdd.tttdtksBJt ttdttdd.tttdtksxJt ttdttdksJt td/tdd/tdtd0d/td0d/td0dd!ksJt td/td/dd1d0td0dksJtdtdd"tdtd2tdd ttdd3ttd4td5tdd6td7}t |ttdtdtdd"td2ksJt |tdd.tdtdtdd"td2ksJt |tdd.tdtdtdd td5ksJdtdtdd tt dd.t ddd8ksZJt ddd8dtdtdtd9tksJttdttdt |tdtdfttdfttdfgfksJdS):NrrrrTrFr?rrrrZpositivei)integerr9)realrrrri iXiiHiriiTiYrrrCrrrr,rrcsttddS)NFrr.rrrrrr rztest_factor..cSsttddddS)NrrTrr$rrrrr rrr/rg?rg?Mrih)rfractioni)rr rr-Zfactor_list_includerprrjrr.Z is_IntegerrkZis_Powrr_rrrSrcrPrQrargriryrErIr[rrrrn)rrrrUVWrrrr9r Zf_zziZf_qqierrrr test_factorr sD&&(*(,,$ ",, $"2 "0*,.   :6>66204  **. 2($$&* "" ,B 4  8"*$  *,4:6 $ $ H 0 >66", 2h488 4r.cCs.tddtddtddtddtdd}tddtddtdtddtdddttddtdd}t|tddtddtddksJt|tdd tddksJt|dtddftddftdddfgfks Jt|dtddftdd fgfksJJtdtdd td d}tdtdd td d}t|tdttd ttd td td tdtdtdtdksJt|ddtdtttd tttd td td tdtdtdtdksRJt|dtddfttd fttd ftd td tdtdtdtddfgfksJt|dddtddftttd ftttd ftd td tdtdtdtddfgfks*JdS)Nrririi i-1i%ipi@ rr?rrTr)rrr.r-rcrrrrtest_factor_large/ s|<>0$( *  ,  4 &  (0r/cCsptdtdtddtdddks*JtdtddtdttdddtddtdkslJdS) Nr?rrrrFrr)r.rrarerrrrtest_factor_noevalM s*r0c Cs tdgksJtdgks Jttdddgks6JttdgksHJttddgks^Jttd td gdd d d fgksJtttd d td dd ttdd}|jddddgksJ|ddgksJ|jdddddgksJ|jddddgksJ|jtddd|jddkrhtdddfdftddtddfdfgksnnJ|jtddd|jddkrtdddfdftddtddfdfgksnJ|jtddd|jd dkrtdd!dfdftddtddfdfgks"nJ|jtdd"d|jd#dkr|tdd$tdd$fdftddtddfdfgksnJttd d td dd ttdd}t|ddddgksJt|ddgksJt|tdddt|ddkr0tdddfdftddtddfdfgks6nJt|tdddt|ddkrtdddfdftddtddfdfgksnJt|tdddt|d dkrtdd!dfdftddtddfdfgksnJt|tdd"dt|d#dkrDtdd$tdd$fdftddtddfdfgksJnJttd d td dd%tdd%tdd}|d&td'd fd%ftd'd dfdfd(d)dtdd fdftdd d fd%fgksJttd d*td d+gtd,d-td.d/fddiftd0d1td-d2fddifgks2Jttd d*td d+gddtd,d-td.d/fddiftd0d1td-d2fddifgksJttd d*td d+gtd3d td4dfddiftd4dd5fddifd6tddfddiftddtd7d fddifgksJttdtd tdtddtdtdtd d gd8ddifd9ddd:fd;dddd<fd=d%d ifgksJtd d td d td d td}}}t|td%d dd>gksJt|td%d dd>td%d tdd fgksJt|td%d dd?d@dtdd fgks,Jt|td%d dd?d@gksLJt|td%d dAgkshJt|td%d dAtd%d tdd fd fgksJt|td%d dBdCdtdd fd fgksJt|td%d dBdCgksJt||gtd%d dAgksJt||gtd%d dAtd%d tdd fdd ifgks@Jt||gtd%d dBd@dd ifd;ddifdtdd fdd ifgksJt||gtd%d dBd@dd ifd;ddifgksJttd td d gd8ddifd@ddifdDddifgksJttd td d gddEd8ddiftd'd dfddifdDddifgk sLJd%td dFtddGtd d tdG}t|gk sJt|dddH\}}|gk sJtdIdJt|t|D sJ|tdKd%t dLd%dftdKd%t dLd%ft tdKd%tdLd%fdtdLd%t dLd%fgk s8Jt|ddtdddM\}}|gk s`JtdNdJt|t|D sJt t dOdPt t dQdPt t dRdPdS)SNrrT)r,r)rrr)rrrrrrrrirrr>r)r1r)r2r)fastr,)r3repsrriUr?r{Gz?igMbP?ii'-C6?irr/r)rrr)r1rrKe#i5kriiir>G)r/r/r9rrr)rrr?)rr)infr,)supr,r/rrBrC)rDrrrrm)rr,css^|]V\\}}}t|t|ko,t|knoTt|t|koPt|knVqdSrrmrlrr|r}r9rrrr s &z!test_intervals..i()rr,r5css^|]V\\}}}t|t|ko,t|knoTt|t|koPt|knVqdSrrHrIrrrr s &cSsttddddSNrrr4r/rrrrrr rz test_intervals..cSsttddjddSrK)rrr/rrrrr rcSs ttddtddgddS)Nrrrr4rLrrrrr r) r/rrrerjrrrr3rcryr)rrrZ real_partZ complex_partrrrtest_intervalsR s(.$($($($.*$($($($.8   6 6 .. 6  00, 2. : *   * 0   rMcsttddjdddddks(Jjdddddks@Jjdddddtd dfksbJjddddtd ddfksJjdddddtd dfksJjddddtd ddfksJjdddd d dtd dfksJjdddd d td ddfksJjddtdd dtddtddfksBJjddddtddtddfkslJttfddttfddttfddtddtdddddtd dfksJtddddtd ddfksJtdddd d dtd dfksJtdddd d td ddfksBJtddtdd dtddtddfksrJtddddtddtddfksJttddttfddttfdddS)Nrrr)stepsrr/rrDrrT)rNr3rr4rrrr7csdjddddS)NrrT)Z check_sqfr0rrrrr rz"test_refine_root..csdddSrrOrrrrr rcsdddSr!rOrrrrr rcSstdddtdddS)Nrrr,rr4)r0rerrrrr rcstjddddSNrrrr4)rr0rrrrr rcstddddSrPrOrrrrr r)rrr0reryrErBrrrrrtest_refine_root s0""""$&0* $$&&0*rQcCsttdddksJttddt ddks6Jttddt ddksTJttddt t ddksvJttdddddksJttdddddksJttdddddksJttdddddksJttddddddksJttddddddks&JttddddddksFJttddddddksfJttdddksJttdddtddksJttdddtddksJttdddtdtddksJttdddddks Jttdddddks(Jttddt ddksHJttddt ddkshJttddt dt ddksJttddt t dddksJttd d dS) NrrErF)rBrCr/rrrcSstdSrr1rrrrr rz"test_count_roots..)r1rrfrcryrErrrrtest_count_roots s."    ""(  ((rScstdtddtddtddtddks@JddksRJddksdJttfdd ttd tddttdtdddksJdS) Nrrrrrrrcs dS)Nr)rootrrrrr rz test_Poly_root..r)rrrTrery IndexErrorrurrrrtest_Poly_root s (rVcCsttdgksJttdddgks(Jttdgdks@JttddddgksZJtttdtdttdtdddgksJtttdtdddttdtdddfdgksJttdtdtdttdtdddddgksJttdtdtdddttdtdddfdgksRJd tdd td d td }tdtd}t|td d d d gksJt|t|dgksJdS) NrF)multiplerrrwrArrrrr)r2rrurrerrrrtest_real_roots s86    $"rXcCsdtddtddtd}tdtd}t|tddddgksTJt|t|dt|dt|dgksJdS)Nrrrrrrr)rr all_rootsrerurrrrtest_all_roots1 s$ rZcCstdtgksJtdtgks,JttddtddgksNJttddtdtdtgksxJttddt}|ddgksJttddt}|dtdtgksJttddtddt}|ddgksJttddtddt}|dtdtgks6JttddttddtddtgksnJttddtttdddtddtgksJtdtd d gksJttd tdd d }td }t|dd|tj us Jt |ddks Jt|dd ks6Jt |dd|tj usVJt|dd kslJt |dd|tj usJt|dd|tj usJt |dd|tj usJt|dd|tj usJt |dd|tj us Jtd}t|dd|tj us4Jt |ddksJJt|dd ks`Jt |dd|tj usJt|dd ksJt |dd|tj usJt|dd|tj usJt |dd|tj usJt|dd|tj usJt |dd|tj us6Jt t ddt tddttddddgkspJttdd}|ddgksJtttdtgksJttdtdtgksJt tddttdd}|ddd|DksJtttddtd d!td"d#td$d%td&d'td(d)tdd*tdd+dd,ksJttd-tddd.ksJdS)/Nrrrrrrrrgrnz1e-5ghW!'rgJ5ogJ5o?gP?gg'rgg'?z1e-6cSsttttSrrrrr3rrrrrm rztest_nroots..cSstttSrr^rrrrrn rgcSstdSNrr3rrrrrx rcSsg|]}|dqSr\r\)rrrrrr| rztest_nroots..r3rr>iri@riVr,i r?i\ iie z[-1.7 - 1.9*I, -1.7 + 1.9*I, -1.7 - 2.5*I, -1.7 + 2.5*I, -1.0*I, 1.0*I, -1.7*I, 1.7*I, -2.8*I, 2.8*I, -3.4*I, 3.4*I, 1.7 - 1.9*I, 1.7 + 1.9*I, 1.7 - 2.5*I, 1.7 + 2.5*I]gV瞯.cs ttSr)r5rrrrrr rrrcSstttdttSr1)r5rrrrrrr s )rr5ryrr.r=)Zf_2Zf_3Zf_4Zf_12rrrtest_nth_power_roots_poly s rhcsttdtdtdtd}|jtdttdfddt|DdgksdJtt dd tt d d tt d d tt d d tt d d dS)Nrrrrrcsg|]\}}|r|qSrr)rr r9rZr0rrr rz"test_same_root..cSsttdtdddSNrrr)rrrO same_rootrrrrr rz test_same_root..cSs ttddtddddS)Nrrrrr)rrrMrkrrrrr rcSsttddtdddSNrrrr)rrrPrkrrrrr rcSs$tttddttdddSrl)rrrrNrkrrrrr rcSstttdtdddSrj)rrrrNrkrrrrr r) rrrkrnrcrg enumeraterYryrErGr=rrrirtest_same_root s&$&rnc Csttddtdttdtdi}t|tdt dtddddft dtdddft dtdddfgfksJttddtdttddtddi}t|tdusJdS)Nrrr/r)r_rrErpr;rerrrrtest_torational_factor_list s.  4rocCs tddksJtddks Jtttks0Jtttus@JtddksPJtdtdksbJtdtdkstJd td d d td d td d f\}}}}d d ||||fD\}}}}||d ||fksJt||fd ||fksJt||ftd ||fksJt||ftfd ||fks2Jt||fd ||fksNJt||fddd ||fksnJt||fddd ||fksJtd d ttd }t||ksJt|ddttd ksJtd d ttd }t||ksJt|ddttd ksJttd d d td d fd td d fksRJttd tttd tttd tksJttd td tttttksJttd td tttttksJttd td ttttks Jttdd td d td td td ksDJttdd tjtd d td td d td ksJttd td ttd ttd ttd ksJttd t d t}ttt t}ttt tdd}td tdd}t||fd ||fks&Jtdtd d td d td dtdtd }td d }t||fddd td d tdttd fksJtdtdt}ttd tdtdtdd td dtd t}t||fd | | fksJtttdd}td tdd}||d tttddtd tddfksbJ|j|ddtttddtd tddfksJtdttttdd}td td ttdd}|j|ddtdtd tddtd tttddfksJdtd tdt td  t tt td }t|j dksRJt td}t td}d|d d |d  d |d d d|d d d|d d ||d|d d |d |d d|d d |d  d |d d d|d d |d |d d t|d |d d d|d d  ||d d d|d d |d |d d|d d ||d d d|d d |d |d d |d |d d t dd }t|j dksJtd!dd"}t|td d td td kftd td d tdf} t|td td kfd tdf} t| | ksxJtd | d | ksJtd | d | ksJttd d td | td | ksJttd d td | td | k sJttd d td td kftd td d tdf} ttd td kfd tdf} t| | k srJtd | d | k sJtd | d | k sJttd d td | td | k sJttd d td | td | k sJtd#dd$}t|dd%tju s&J|td tju s>Jt|tju sRJtd&dd} t| d'd| d'dk sJt| d(| d)d| d*d| d+t }t|t t| d(| d)d| d*d| d+t k sJttd d ttttk sJdS),Nrrr^)rrrrryrrzrrrcSsg|]}t|tqSrrrrrrr rztest_cancel..TrF)rrrrrr/rr,r?rrr)includeg{Gzt?rr8r)Z commutativeap (2*1*(x - 1/x)/(x*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x)) - 2*1*((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))*((-x + 1/x)*((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) + 1)*((x - 1/x)/((x - 1/x)**2) - ((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))**2/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) - 1/(x - 1/x))*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x)/x - 1/x)*(((-x + 1/x)/((x*(x - 1/x)**2)) + 1/(x*(x - 1/x)))*((-(x - 1/x)/(x*(x - 1/x)) - 1/x)*((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) - 1 + (x - 1/x)/(x - 1/x))/((x*((x - 1/x)/((x - 1/x)**2) - ((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))**2/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) - 1/(x - 1/x))*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x))) + ((x - 1/x)/((x*(x - 1/x))) + 1/x)/((x*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x))) + 1/x)/(2*x + 2*((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))*((-(x - 1/x)/(x*(x - 1/x)) - 1/x)*((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) - 1 + (x - 1/x)/(x - 1/x))/((x*((x - 1/x)/((x - 1/x)**2) - ((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))**2/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) - 1/(x - 1/x))*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x))) - 2*((x - 1/x)/((x*(x - 1/x))) + 1/x)/(x*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x)) - 2/x) - ((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))*((-x + 1/x)*((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) + 1)/(x*((x - 1/x)/((x - 1/x)**2) - ((x - 1/x)/((x*(x - 1/x)**2)) - 1/(x*(x - 1/x)))**2/(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x) - 1/(x - 1/x))*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x)) + (x - 1/x)/((x*(2*x - (-x + 1/x)/(x**2*(x - 1/x)**2) - 1/(x**2*(x - 1/x)) - 2/x))) - 1/xr)Z _signsimpMr)rrr)rrr)r6rrfrprrjrrnrr|rZis_MulrorerkrqNaNrErvrtrrrc)rrrrrrrrrp1p2Zp3Zp4rqexprrrr test_cancel s0   46,,*:D>< 8@     ( 8   >"..:.. ! "0BrvcCsdtdtdtdtd}tdttdtg}dtdg}tdtdt}t||||fksrJt||tt||fksJt|}||||fksJtdttttdttg}ttdtdttt}tt||dd||fsJtt||ttdd||fs Jt|dd}t||||fsFJdtdtddt}ttdtddttdg}tdttddttdtddtddtddtd dtddttddg}d }t||||fksJ||||fks*Jt||d d dd ksFJ|j|d d dd ksbJ||dusvJ||dd usJtddgtdgd fksJt t d d dS)NrrrrTrr?rrFrcSs tddgSr)r7rrrrr rztest_reduced..) rrr7r8reducerrrecontainsryr@)rrrr9rrrr test_reducedZ s4$ " $pryc CstgtttgksJttddtdttdgttdddtddtdgks^JttddtdttdtttdgtttdddtdtddtdgksJttddtdttdgttdd d tdtdtttdtdttgksJttddtdttdtttdgtttdd d tdtdtttttdttttdtdtttgksJttddtddgtdgksJtttddttddgtdgksJdtdttd tddtdtttdtdtttdtdg}td tdtddttdtd ttdtdtdd }t|tttddd}|dttdtdtddtddtdtd ddttddtddtddtddtd dtdddtdtttdtdtdtdddttddtddtddtd dtdtdgksJt||tttddd d\}}tddt||j D|t|ddksJttdtdtdtdg}t|ttddtddttddtdttdtgksJt|ttddtddtdtd dtdttdtgksJt|dd dtddttddtdttdtgksJtdgtdgks.JttddtgttdtddtgksdJt t ddttddtddgddtdgksJttddtddgddtdgksJt t dddS)NrrrrrVrrrXTrrrrrCrFrr?)rrrcSsg|]\}}||qSrr)rrrrrrr rz!test_groebner..r)rrLrrcSs tdgSr)r8rrrrr rztest_groebner..Z buchbergermethodZf5bcSstttgddS)Nunknownr{)r8rrrrrrr r) r8rrrrrir7sumrrryr@r)rrrrr9rrr test_groebner sJH^,& <: ,0ZP@N6J .$0 6  0 600rcCs@ttttttttttttttttttttttttttttdg}t|tttttd}dtdtddtddtdtdtdtddtddtdtddtd dtd dtddttddttddtddttd td tddg}t|tttttd|kstJ|t|ksJdtd d tddtd dtddtddtddtddtddt tddt td dt tddt tddt tddt tddt tdt dtddtd dtddtddtddtdg}t|t ttd}dt dtdd td d!tdd"tdd#tdd$tdd%td&dtd d tddtd dtddtddtddtddtdg}t|t ttd|ksJ|t|ksJtdtdt dd'tt dt dg}t|tt td}tdtdt dt ddtt dg}t|tt td|ks(J|t|ksrIl*El2t5T Jl"3CR7 l}wSo8lHg51n?l3&[Tle t{l*JwiC1r/) r|r}r~rr8rWrVZfglmrrr)rrrrrr test_fglm slp&..2^j         ^0rcCstttgttdusJttdtdgttdus:JttttgtttdusVJttttgttttdustJtttttttttg}t|tttdusJtddttdttdttddtddtdg}t|tttdus JdS)NTrrFrr,)r:rrrr)rrrrtest_is_zero_dimensional s""FrcCsttdtdtdtdg}t|ttdd}tddttddtdttdtg}dd|D}t|dgttdd|ksJt|tdusJt|dksJ|d|dkr|djrJ|d |d kr|d jrJ|d|dkr|djrJ|d d|d dkrHtd d |d dDrLJ|dd|ddkrtd d |d dDrJ|j|ksJ|j |ksJ|j ttfksJ|j t ksJ|j tksJ||ksJ|t|ksJ||ksJ|t|ksJ|gks(Jt|ttddd }|d|dkrX|djs\J|d |d krz|d js~J|d|dkr|djsJ|d d|d dkrtdd |d dDsJ|dd|ddkrtdd |d dDsJdS)NrrXrrcSsg|]}t|ttqSrr4rrrrr rz&test_GroebnerBasis..rTrcss|] }|jVqdSrrrrrrrr rz%test_GroebnerBasis..css|] }|jVqdSrrrrrrr rrzcss|] }|jVqdSrrrrrrr rcss|] }|jVqdSrrrrrrr r)rrr8rr9rranyexprsrrrrNrrXrr)rrrrrrrtest_GroebnerBasis s8$2"::""":rcCsttttttksJtttttks,JttttttttksLJtttttttttttksxJttttdtttttksJttttttdtttttttksJtttdttddtttdttddtttksJtdttddtdtddttdtddttksjJttttddtttddtttttddtttksJtdtttddtdttddtttdttddtttksJtdttdtdtdtddttdtdtdtttksvJttttdtdtttddtttttdtdtttksJtdtttdtdtdttddtttdttdtdtttks:JtttttdttdtdttdtttdtddtdtttksJtttttttdttdtdttdtdttdtddttdtddtttdttdtttksBJtttttttttttttttksxJtttdtttddtttdtttdksJtttdtttddtttdtttdksJtdttdtksJttdd ttttttttttksJJttttttttttkspJdS) NrrrrrrrcSstdSr)rrrrrr< rztest_poly..) rrrrrrrrNryrCrrrr test_poly s ,$4LN4 < 4 8 @ "< F  6BB&rcCstdtddd}ttjttks&Jttjtt ks.fooFN)__name__ __module__ __qualname__Zis_commutativerrrrfoof srr)r\rrr6)rr-r~rrrtest_noncommutativee s   rcCstttdttdtttdddus2JtttdtdtdttdtdushJttttdus~JtttdtdusJdS)NrrrSrr)r<rrrrprrrrrrtest_to_rational_coeffso s$(rcCs^ttttdtdfttdfgfks,JttttdtdttdfgfksZJdSr)r-rrr+rrrrtest_factor_termsz s,rcCsttddtddgdks&JttdtdttdddggddggksZJttdtdtttdddggggdgdgggksJdS)NrrrNr)rrrrr)rrZas_listrrrrrr test_as_list s &4 rcCs^ttdttdtdfgfks&JttdtttttdttdfgfksZJdSr)r-rprrrrrrrtest_issue_11198 s&rcCs0ttdt}|tdtks,JdS)Nr)rrgZevalfrrrrrrtest_Poly_precision srcCs8tddtdttddtdtddks4JdS)NrrrSr)rrprrrrrrtest_issue_12400 src CsRttddtddtddtddtdddtdksLJttdtddtdtddtdtdd ksJttddtdtddtdtdtddksJtdtddtdd tdksJttdddtdddtdddtddd td dddtddksPJttddtdtddtdtdd ksJttdtddtdtddtddksJttdtddtdtddtd tddgtdtddksJttddtddtddtddtddtddgdtdtddksJttddtd tddtd tdd td ftddtd ksJttdddtdddtdddtdddtdddtdddgtddddtddksNJdS)Nr?rrrrrrrrrr,rrrr>/r>i)rrjrprerrrrrtest_issue_14364 sL<>*`8<VfPrcCstddd}d|d|d td|d|dddddddtdd ||d td|d|ddddtdd d |}t|dd ||ddksJdS) NrTrr3rrr,rrrr)rkrprer.)rrurrrtest_issue_15669 s <LrcCstd}t|d}t.tt|dt|dgg}Wdn1sN0YttddT||||krtt|ddt|ddggksnJWdn1s0YdS)NrrF)Ztest_stacklevelr)rkrrzrsr{rx)rrrqrrrtest_issue_17988 s  <rcCs@tdtdtdtks Jtdtdtdks.cs tddS)NrrrRrrrrr rcstSr)r2rrrrr rcstSrr`rrrrr rcstSr)r4rrrrr rcs tdSr1rgrrrrr r)rrrryrErrrrtest_issue_19113 srcCsdtddtdtttd}t|tdddttdtddksXJt ttttttttt}t|tdtttt ttksJdS)Nrr)rrprr.rcrrrrrrtest_issue_19360 s(0*rcCsBtttttt}|}||ks*Jd|j|jks>JddS)Nz(Copied polynomial not equal to original.z9Copied polynomial has different generators than original.)rrrrcopyr)rrrrrtest_poly_copy_equals_original s rcCsJtttttt}tt|}||ks2Jd|j|jksFJddS)Nz.Deserialized polynomial not equal to original.z?Deserialized polynomial has different generators than original.)rrrrpickleloadsdumpsr)rZ deserializedrrr&test_deserialized_poly_equals_original s rcCs0tttdtdtt}|t ks,JdSr)rrrf)rrrrtest_issue_20389 srcCsLddlm}|d\}}tdt|||d|}|tdksHJdS)Nr)symbolszw Rrr)sympy.core.symbolrrrcrrj)rrrrrrrtest_issue_20985 s  r(H__doc__rZsympy.polys.polytoolsrrrrrrrr r r r r rrrrrrrrrrrrrrrrrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.r/r0r1r2r3r4r5r6r7r8r9r:r;r<Zsympy.polys.polyerrorsr=r>r?r@rArBrCrDrErFrGrHrIZsympy.polys.polyclassesrJZsympy.polys.fieldsrLZsympy.polys.domainsrMrNrOrPrQrRrSZsympy.polys.domains.realfieldrTZ sympy.polys.domains.complexfieldrUZsympy.polys.orderingsrVrWrXZsympy.core.addrYZsympy.core.basicrZZsympy.core.containersr[Zsympy.core.exprr\Zsympy.core.functionr]r^r_Zsympy.core.mulr`raZsympy.core.numbersrbrcrdrerfrgZsympy.core.powerrhZsympy.core.relationalriZsympy.core.singletonrjrrkZ$sympy.functions.elementary.complexesrlrmZ&sympy.functions.elementary.exponentialrnZ%sympy.functions.elementary.hyperbolicroZ(sympy.functions.elementary.miscellaneousrpZ$sympy.functions.elementary.piecewiserqZ(sympy.functions.elementary.trigonometricrrZsympy.matrices.densersZ"sympy.matrices.expressions.matexprrtZsympy.polys.rootoftoolsruZsympy.simplify.simplifyrvZsympy.utilities.iterablesrwZsympy.utilities.exceptionsrxZsympy.testing.pytestryrzr{Z sympy.abcr|r}r~rrrrrrrrrrrrrrrrrrrrrrr r rrrrrrrrrrr r#r$r&r)r+r.r0r2r7r:r;r=rBrDrFrIrKrNrPrSrTrUrVrXrZr`rhrirkrlrtrvr{r~rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr r rrrrrrrr.r/r0rMrQrSrVrXrZrerfrhrnrorvryrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrs<  $                      4  -\S"A   #  +           7          :  4 / u  +       Q  #   ?>q($ N +0**,