a ŸŹm?Z?dd l@mAZAdd lBmCZCdd lDmEZEddlFmGZGdd„e6ƒDƒ\ZHZIZJZKZLZMZNdd„ZOdd„ZPdd„ZQdd„ZRdd„ZSdd„ZTdd„ZUdd „ZVd!d"„ZWd#d$„ZXd%d&„ZYd'd(„ZZd)d*„Z[d+d,„Z\d-d.„Z]d/d0„Z^d1d2„Z_d3d4„Z`d5d6„Zad7d8„Zbd9d:„Zcd;d<„Zdd=d>„Zed?d@„ZfdAdB„ZgdCdD„ZhdEdF„ZidGdH„ZjdIdJ„ZkdKdL„ZldMdN„ZmdOdP„ZndQdR„ZodSdT„ZpdUdV„ZqdWdX„ZrdYS)Zz.Tests for dense recursive polynomials' tools. é)Ú dup_normalÚ dmp_normalÚdup_from_raw_dictÚ dmp_convertÚdmp_swap)Údmp_mul_ground)$Údup_clear_denomsÚdmp_clear_denomsÚ dup_integrateÚ dmp_integrateÚdmp_integrate_inÚdup_diffÚdmp_diffÚ dmp_diff_inÚdup_evalÚdmp_evalÚ dmp_eval_inÚ dmp_eval_tailÚdmp_diff_eval_inÚ dup_truncÚ dmp_truncÚdmp_ground_truncÚ dup_monicÚdmp_ground_monicÚ dup_contentÚdmp_ground_contentÚ dup_primitiveÚdmp_ground_primitiveÚ dup_extractÚdmp_ground_extractÚ dup_real_imagÚ dup_mirrorÚ dup_scaleÚ dup_shiftÚ dup_transformÚ dup_composeÚ dmp_composeÚ dup_decomposeÚdmp_liftÚdup_sign_variationsÚ dup_revertÚ dmp_revert)ÚANP)ÚMultivariatePolynomialErrorÚExactQuotientFailedÚ NotReversibleÚ DomainError)Úf_polys)ÚFFÚZZÚQQÚEX)Úring)ÚI)ÚS)Úsin)Úx)ÚraisescCsg|] }| Ą‘qSŠ)Zto_dense)Ú.0Úfr<r<úq/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/polys/tests/test_densetools.pyÚ 6ór@cCstgdtƒgksJ‚tgdtƒgks(J‚ttdƒgdtƒtdƒtdƒgksNJ‚ttdƒgdtƒtddƒtdƒtdƒgks|J‚ttdƒtdƒtdƒgdtƒtdƒtdƒtdƒgks´J‚ttdƒtdƒtdƒgdtƒtddƒtdƒtdƒtdƒgksôJ‚ttdƒtdƒtdƒgdtƒtddƒtddƒtddƒtdƒtdƒgks@J‚ttdƒtdƒtdƒgdtƒtddƒtddƒtddƒtdƒtdƒtdƒgks’J‚ttdtdƒitƒdtƒtd tdd ƒitƒksĆJ‚tttdƒtddƒd œtƒdtƒttdd ƒtdd ƒd œtƒks J‚dS)Nééréé é<ééé i@t)rGéi )rIé)r r4rr<r<r<r?Útest_dup_integrate8s,&.˙˙&˙ ,˙ ˙  ˙rLcCsÚtgggddtƒgggksJ‚tgggddtƒgggksr<r<r?Útest_dmp_integrate_in`s* ˙˙ ˙˙ ˙˙ ˙˙rPcCstgdtƒgksJ‚tdgdtƒgks*J‚tddgdtƒdgksDJ‚tgd˘dtƒddgks`J‚tgd˘dtƒgd˘ks|J‚tgd˘dtƒgd˘ks˜J‚tgd ˘tƒ}t|d tƒ|ksşJ‚t|dtƒgd ˘ksŇJ‚t|dtƒtt|dtƒdtƒksöJ‚t|d tƒttt|dtƒdtƒdtƒks$J‚td ƒ}tgd ˘|ƒ}t|d|ƒtgd ˘|ƒksZJ‚t|d|ƒtgd˘|ƒkszJ‚t|d |ƒtg|ƒks–J‚t|d |ƒ|ksŹJ‚t|d|ƒtt|d|ƒd|ƒksŇJ‚t|d |ƒttt|d|ƒd|ƒd|ƒksJ‚dS)NrBérCŠrBrCrB)rBrCrDé)rDrSrDŠrBé˙˙˙˙rrrC)rSéý˙˙˙rr) rHé"é8i§ţ˙˙ééLrrrErDrQr) éŞi2iŔi‘ö˙˙éŠi|rrérDrD) rCrrBrrrCrrrr)rBrrrCrrr)r r3rr2)r>ÚKr<r<r?Ú test_dup_diffqs6$˙˙   &˙˙r_c Cs‚tgddtƒgksJ‚tggddtƒggks0J‚tgggddtƒgggksNJ‚tdgdgggddtƒgggksrJ‚tdgggggddtƒdgggks˜J‚tdggdgggggddtƒdggdgggksĘJ‚tgd˘ddtƒtgd˘dtƒksđJ‚ttddtƒtksJ‚ttddtƒdggggggd˘gggd ˘gggggd ggd ggggd ggd dgggggggkslJ‚ttddtƒtttddtƒddtƒks˜J‚ttddtƒttttddtƒddtƒddtƒksÎJ‚tdƒ}ttd|ƒ}t|dd|ƒ|ksúJ‚t|dd|ƒt|dd|ƒksJ‚t|dd|ƒtt|dd|ƒdd|ƒksHJ‚t|dd|ƒttt|dd|ƒdd|ƒdd|ƒks~J‚dS)NrBrrCrDérTi !)é‡rr)iy˙˙˙rriYţ˙˙iŃ˙˙˙éé^rY)rr3r rNr2r)r^ZF_6r<r<r?Ú test_dmp_diffŽs>$&2˙&ý ˙˙ ˙  ",˙rdc Csěttdddtƒttttdddtƒddtƒdddtƒks:J‚ttdddtƒttttdddtƒddtƒdddtƒkstJ‚ttdddtƒttttdddtƒddtƒdddtƒksŽJ‚ttdddtƒttttdddtƒddtƒdddtƒksčJ‚dS)NrCrBrDr)rrNr3rrr<r<r<r?Útest_dmp_diff_inŻs$˙$˙$˙$˙recCsHtgdtƒdksJ‚tddgdtƒdks,J‚tgd˘dtƒdksDJ‚dS)NrQrrBrCŠrBrCrDéB)rr3r<r<r<r?Ú test_dup_evalşsrhcCstgddtƒdksJ‚tggddtƒgks.J‚tgggddtƒggksJJ‚tddggddtƒddgksjJ‚tdgggddtƒdggksŠJ‚tddgggddtƒddggksŽJ‚tddgddggddtƒddgksÔJ‚tddggddgggddtƒddggksJ‚dS)NrDrrBrCé rK)rr3r<r<r<r?Ú test_dmp_evalŔs  $&rjc Cs<ttdddtƒtttdddtƒddtƒks.J‚ttdddtƒtttdddtƒddtƒks\J‚ttdddtƒttttdddtƒddtƒdddtƒks–J‚ttdddtƒttttdddtƒddtƒdddtƒksĐJ‚tdƒggggggtdƒgd ggtdƒtdƒtd ƒtdƒggg}t|dddtƒdggggd ˘gks8J‚dS) Néţ˙˙˙rBrDrrQrCé-é÷˙˙˙rUri)rmrUriÔ˙˙˙)rrNr3rrÚintrOr<r<r?Útest_dmp_eval_inĎs( ˙˙ ˙˙ ˙  ˙ @˙rocCsŽtggdgdtƒgksJ‚tgggdgdtƒggks8J‚tgggddgdtƒgksVJ‚ttgdtƒtkslJ‚ttgd˘dtƒdks†J‚ttddgdtƒgd˘ks¤J‚ttdgdtƒddgd ggd ˘gksĚJ‚ttddgdtƒgd ˘ksęJ‚ttd d gdtƒgd ˘ks J‚ttd d gdtƒgd˘ks*J‚ttddgdtƒgd˘ksJJ‚ttddgdtƒgd˘ksjJ‚ttgd˘d tƒgd˘ksŠJ‚dS)NrBrC)rBéď˙˙˙rKiJrprK)iú˙˙rDiŽOéSrD)i.éQrB)ix˙˙˙iS=iÎ#iř•˙˙iô˙˙˙)iŸú˙˙riBý˙˙i8ű˙˙riý˙˙)ééRiĂë˙˙i8˙˙iěĹ˙˙iäý˙˙érU) lÁoä Žiů•lü˙˙˙fc5 žlý˙˙˙y ‚?÷ i•(č˙l2c[lţ|U78éü˙˙˙lXLk^i˜×)rUi˛˙˙˙iř˙˙iXť˙˙)rrCrS)i°rri€) rr3Úf_0Úf_1Úf_2Úf_3Úf_4Úf_5rNr<r<r<r?Útest_dmp_eval_tailßs2( ˙˙  ˙˙  ˙˙  r}c Cs>ttddddtƒttttdddtƒddtƒddtƒks:J‚dS)NrCrQrBrDr)rrNr3rrrr<r<r<r?Útest_dmp_diff_eval_inůs"˙r~cCs’tddƒ tdƒtddƒtdƒtddƒ tdƒtdƒg}tddƒtdƒtddƒtdƒtddƒtdƒtdƒg}t|dtƒ|ks€J‚ttd d „ƒdS) NrBéĐrr]rCé=rJrKcSsttdƒtdƒgdtƒS)NrBrrD)r*r4r<r<r<r?ÚrAz!test_dup_revert..)r4r*r;r/Šr>Úgr<r<r?Útest_dup_revertţs84r„cCs”tddƒ tdƒtddƒtdƒtddƒ tdƒtdƒg}tddƒtdƒtddƒtdƒtddƒtdƒtdƒg}t|ddtƒ|ks‚J‚ttd d „ƒdS) NrBrrr]rCr€rJrKcSstdggddtƒSŠNrBrC)r+r4r<r<r<r?r rAz!test_dmp_revert..)r4r+r;r-r‚r<r<r?Útest_dmp_reverts84r†cCsDtgd˘tdƒtƒgd˘ks J‚tgd˘tdƒtƒgd˘ks@J‚dS)NŠrBrCrDrSrJr`rD)rBrUrrBrUr)r`rJrSrDrCrB)rUrBrrUrB)rr3r<r<r<r?Útest_dup_truncs rˆcCsTtggddgdtƒggksJ‚tddggd˘dggddgdtƒdgdggksPJ‚dS)NrBrC)rBrSrBrV)rr3r<r<r<r?Útest_dmp_truncsr‰cCsHtttdƒdtƒtgd˘dgggggd˘gd˘dgggdtƒksDJ‚dS)NrDrC)rBrUrrU)rBrUrBrB)rrwr3rr<r<r<r?Útest_dmp_ground_truncs (˙˙rŠcCs”tgd˘tƒgd˘ksJ‚ttdd„ƒtgtƒgks:J‚ttdƒgtƒtdƒgksXJ‚ttdƒtdƒtdƒgtƒtdƒtddƒtdƒgksJ‚dS) N)rDr`é rfcSstgd˘tƒS)N)rDrSrJ)rr3r<r<r<r?r#rAz test_dup_monic..rBrQérD)rr3r;r.r4r<r<r<r?Útest_dup_monic s rcCsŔtdgdgdggdtƒdgdgdggks,J‚ttdd„ƒtggdtƒggksRJ‚ttdƒggdtƒtdƒggksvJ‚ttdƒgtdƒgtd ƒggdtƒtdƒgtddƒgtdƒggksźJ‚dS) NrDr`r‹rBrCcSstdgdgdggdtƒS)NrDrSrJrB)rr3r<r<r<r?r.rAz'test_dmp_ground_monic..rQrŒ)rr3r;r.r4r<r<r<r?Útest_dmp_ground_monic*s,˙$˙˙rŽcCstgtƒtdƒksJ‚tdgtƒtdƒks.J‚tdgtƒtdƒksFJ‚tddgtƒtdƒks`J‚tddgtƒtdƒkszJ‚tgd˘tƒtdƒks”J‚tgd˘tƒtdƒksŽJ‚ttddƒtdd ƒgtƒtdd ƒksÖJ‚ttddƒtdd ƒgtƒtdd ƒksţJ‚dS) NrrBrUrCrR)rCrSrCrDrSr‹rJé)rr3r4r<r<r<r?Útest_dup_content6s(rcCs&tggdtƒtdƒksJ‚tggdtƒtdƒks4J‚tdggdtƒtdƒksPJ‚tdggdtƒtdƒkslJ‚tdgdggdtƒtdƒksŒJ‚tdgdggdtƒtdƒksŹJ‚tdgdgdggdtƒtdƒksĐJ‚tdgdgdggdtƒtdƒksôJ‚ttddƒgtddƒggdtƒtddƒks$J‚ttddƒgtddƒggdtƒtdd ƒksTJ‚ttdtƒtdƒksnJ‚ttttdƒdtƒdtƒtdƒks–J‚ttdtƒtdƒks°J‚ttttdƒdtƒdtƒtdƒksŘJ‚ttdtƒtdƒksňJ‚ttttdƒdtƒdtƒtdƒksJ‚ttdtƒtdƒks4J‚ttttdƒdtƒdtƒtdƒks\J‚ttdtƒtdƒksvJ‚ttttd ƒdtƒdtƒtd ƒksžJ‚tt dtƒtdƒks¸J‚ttt td ƒdtƒdtƒtd ƒksŕJ‚tt dtƒtdƒksúJ‚ttt td ƒdtƒdtƒtd ƒks"J‚dS) NrBrrUrCrSrDr‹rJrr`rQrK) rr3r4rwrrxryrzr{r|rNr<r<r<r?Útest_dmp_ground_contentCsh  $$00˙˙ ˙˙ ˙˙ ˙˙ ˙˙ ˙˙ ˙˙r‘cCsĆtgtƒtdƒgfksJ‚ttdƒgtƒtdƒtdƒgfks@J‚ttdƒtdƒgtƒtdƒtdƒtdƒgfksrJ‚ttdƒtdƒgtƒtdƒtdƒtdƒgfks¤J‚ttdƒtdƒtdƒgtƒtdƒtdƒtdƒtdƒgfksâJ‚ttdƒtdƒtdƒgtƒtdƒtdƒtdƒtdƒgfks"J‚tgtƒtdƒgfks>J‚ttdƒgtƒtdƒtdƒgfksfJ‚ttdƒtdƒgtƒtdƒtdƒtdƒgfksšJ‚ttdƒtdƒgtƒtdƒtdƒtdƒgfksÎJ‚ttdƒtdƒtdƒgtƒtdƒtdƒtdƒtdƒgfksJ‚ttdƒtdƒtdƒgtƒtdƒtdƒtdƒtdƒgfksNJ‚ttddƒtddƒgtƒtddƒtdƒtdƒgfksˆJ‚ttddƒtddƒgtƒtddƒtdƒtd ƒgfksÂJ‚dS) NrrBrCrSrDr‹rJrr`)rr3r4r<r<r<r?Útest_dup_primitivemsL&22˙˙˙˙ (44˙˙ ˙˙ ˙˙ ˙˙r’cCstggdtƒtdƒggfks J‚ttdtƒtdƒtfksrƒÚFÚGr<r<r?Útest_dup_extractŽs r˘cCs tdggdggdggdggdtƒ}tdggdggdgggdtƒ}td ggd ggd ggdggdtƒ}td ggd ggdgggdtƒ}t||dtƒd||fksœJ‚dS)Nr”r•r–r—rBr˜r™ršr›rœrErržr])rr3rrŸr<r<r?Útest_dmp_ground_extract¸s˙"rŁcCsÎtgtƒggggfksJ‚tdgtƒdggggfks8J‚tddgtƒdgdggddggfks`J‚tddgtƒdgdggddggfksˆJ‚tgd˘tƒdgdggd˘gddgddggfksźJ‚ttdd„ƒdS)NrBrrCrf)rUrrDcSsttdƒtdƒgtƒSr…)r r5r<r<r<r?rÍrAz$test_dup_real_imag..)r r3r;r0r<r<r<r?Útest_dup_real_imagĂs((˙ ˙r¤cCs`tgtƒgksJ‚tdgtƒdgks(J‚tgd˘tƒgd˘ksBJ‚tgd˘tƒgd˘ks\J‚dS)NrBŠrBrCrDrSrJŠrBrkrDrvrJr‡)rUrCrVrSéű˙˙˙r`)r!r3r<r<r<r?Útest_dup_mirrorĐsr¨cCshtgdtƒgksJ‚tdgdtƒdgks,J‚tgd˘dtƒgd˘ksHJ‚tgd˘dtƒgd˘ksdJ‚dS)NrUrBrĽrŚiů˙˙˙)ia iRý˙˙é“iä˙˙˙rJ)r"r3r<r<r<r?Útest_dup_scaleŘsrŞcCshtgdtƒgksJ‚tdgdtƒdgks,J‚tgd˘dtƒgd˘ksHJ‚tgd˘dtƒgd˘ksdJ‚dS)NrBrĽ)rBr`rérrQ)rBéiSi°iĂ )r#r3r<r<r<r?Útest_dup_shiftŕsr­cCs~tggddgtƒgksJ‚tgdgddgtƒgks6J‚tgddgddgtƒgksTJ‚tgd˘gd˘ddgtƒgd˘kszJ‚dS)NrBrC)r`r§rSrVrH)rBrVrSrV) r`iŽ˙˙˙iic÷˙˙i…iMÎ˙˙i'CiÝĘ˙˙iĽ)r$r3r<r<r<r?Útest_dup_transformčs ˙rŽcCs,tggtƒgksJ‚tgdgtƒgks*J‚tgddgtƒgksBJ‚tdggtƒdgksZJ‚tgd˘gtƒgksrJ‚tgd˘gtƒdgksŒJ‚tgd˘dgtƒdgks¨J‚tgd˘dgtƒdgksÄJ‚tgd˘ddgtƒgd ˘ksäJ‚tgd˘ddgtƒgd ˘ksJ‚tgd˘gd˘tƒgd ˘ks(J‚dS) NrBrC)rBrCrrRrSrQr›rUŠrBrr)rBrSrSŠrBrSrKrKrS)r%r3r<r<r<r?Útest_dup_composeńs "rącCstgd˘gd˘dtƒgd˘ks"J‚tggggggdtƒgggksDJ‚tgggdgggdtƒgggkshJ‚tgggdggdgggdtƒgggks’J‚tdggggdtƒdgggks´J‚tdgdgggggdtƒggksŘJ‚tdgdgdggggdtƒdggksJ‚tdgdgdggdggdtƒdggks.J‚tdgdgdggdggdtƒdggksZJ‚tdgdgdggdgd ggdtƒdggggksŽJ‚tdgdgdggdgdggdtƒdgdgdggksĆJ‚tdgdgdggdgdgdggdtƒdgdgd gd gdggks J‚dS) NrRrr°rCrBrSrQr›rUrK)r&r3r<r<r<r?Útest_dmp_composes ""$*"$*,,48 ˙˙r˛cCsčtdgtƒdggksJ‚tddgtƒddggks4J‚tgd˘tƒgd˘gksPJ‚tgd˘tƒgd˘gd˘gksrJ‚tgd˘tƒgd˘gd˘gks”J‚tgd˘tƒgd˘gd˘gksśJ‚tgd ˘tƒgd ˘gd˘gksŘJ‚gd ˘}t|tƒgd ˘gd ˘gksţJ‚gd˘}t|tƒgd˘gd ˘gks&J‚gd˘}t|tƒgd˘gd ˘gksNJ‚tdtƒ\}}d|ddd|ddd|dd|dd|dd|dd|dd |dd!|d"g}t|| Ąƒ|gksäJ‚dS)#NrBr)rBrrr)rBrrrrrŻ)rBrrrrrr)rQrrrrB)rQrrB)rSrrDrrC)rSrDrC) rBrrŤré–riôriqrkriö˙˙˙r‹)rBrrrkr‹)rBrrJr) rCré(ri,ričriârvriě˙˙˙é)rCrrrvrľ) rBrrŤéř˙˙˙rłiˆ˙˙˙i i¨ý˙˙iaiöű˙˙iXiV˙˙˙rG)rBrśr]iŢ˙˙˙rGÚtr`rCé*rœé`rsiˆi ipi`rélrDi8i°rž)r'r3r6Z to_domain)r>ÚRrˇr<r<r?Útest_dup_decomposes2"˙˙""  "ürźcCs tddƒtddƒtddƒg}ttddƒg|tƒtg|tƒtg|tƒttddƒtddƒg|tƒttddƒtddƒg|tƒg}t|dt tĄƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒtdƒgksúJ‚ttdd „ƒdS) NrBrrHrCiBižý˙˙iAFcSsttdƒtdƒgdtƒS)NrBrCr)r(r5r<r<r<r?rFrAztest_dmp_lift..)r4r,r(Zalgebraic_fieldr7r;r0)Úqr>r<r<r?Ú test_dmp_lift<s&4˙60˙˙ržcCs*tgtƒdksJ‚tddgtƒdks(J‚tgd˘tƒdks>J‚tgd˘tƒdksTJ‚tgd˘tƒdksjJ‚tgd˘tƒdks€J‚tgd˘tƒdks–J‚tgd˘tƒdksŹJ‚tgd ˘tƒdksÂJ‚tgd ˘tƒdksŘJ‚tgd ˘tƒdksîJ‚tgd ˘tƒd ksJ‚tgd˘tƒd ksJ‚tgd˘tƒdks6J‚tgd˘tƒdksNJ‚tgd˘tƒdksfJ‚tgd˘tƒdks~J‚tgd˘tƒdks–J‚tgd˘tƒdksŽJ‚tgd˘tƒd ksĆJ‚tgd˘tƒd ksŢJ‚tgd˘tƒdksöJ‚tgd˘tƒdksJ‚tgd˘tƒdks&J‚dS)NrrB)rBrrC)rBrrDr)rBrrSrrJ)rUrrC)rUrrDr)rUrrSrrJ)rUrvr§)rBrvr§)rBrSr§)rBrvrJrC)rUrSr§)rUrSrJ)rUrvrJ)rBrSrJ)rUrrvrr§)rBrrvrr§)rBrrSrr§)rBrrvrrJ)rUrrSrr§)rUrrvrrJ)r)r3r<r<r<r?Útest_dup_sign_variationsIs0rżcCs€tgttƒtdƒgfksJ‚ttdƒgttƒtdƒtdƒgfksDJ‚ttdƒgttƒtdƒtdƒgfkslJ‚ttddƒgtƒtdƒtdƒgfks”J‚ttddƒgttƒtdƒtdƒgfksžJ‚ttdƒtdƒtdƒgttƒtdƒtdƒtdƒtdƒgfksţJ‚ttdƒtddƒtdƒgttƒtdƒtdƒtdƒtdƒgfksBJ‚ttdƒtdƒtdƒgttddtdƒtdƒtdƒtdƒgfksˆJ‚ttdƒtddƒtdƒgttddtdƒtdƒtdƒtdƒgfksĐJ‚tttdƒdƒttdƒd ƒgtƒtd ƒtd ƒtdƒgfksJ‚ttdƒgtƒtdƒtdƒgfkssd ˜        !      *(    #