a Z>m?Z?ddl@mAZAddlBmCZCmDZDddlEmFZFddlGmHZHddlImJZJddlKmLZLd d eAD\ZMZNZOZPZQZRZSd d ZTd dZUddZVddZWddZXddZYddZZddZ[ddZ\ddZ]dd Z^d!d"Z_d#d$Z`d%d&Zad'd(Zbd)d*Zcd+d,Zdd-d.Zed/d0Zfd1d2Zgd3d4Zhd5d6Zid7d8Zjd9d:Zkd;d<Zld=d>Zmd?d@ZndAdBZodCdDZpdEdFZqdGdHZrdIdJZsdKdLZtdMdNZudOdPZvdQdRZwdSdTZxdUdVZydWdXZzdYdZZ{d[d\Z|d]d^Z}d_d`Z~dadbZdcddZdedfZdgdhZdidjZdkdlZdmdnZdodpZdqdrZdsdtZdudvZdwdxZdydzZd{d|Zd}d~ZdS)z4Tests for dense recursive polynomials' basic tools. )>dup_LCdmp_LCdup_TCdmp_TC dmp_ground_LC dmp_ground_TC dmp_true_LT dup_degree dmp_degree dmp_degree_indmp_degree_list dup_strip dmp_strip dmp_validate dup_reversedup_copydmp_copy dup_normal dmp_normal dup_convert dmp_convertdup_from_sympydmp_from_sympydup_nthdmp_nthdmp_ground_nth dmp_zero_pdmp_zero dmp_one_pdmp_one dmp_ground_p dmp_grounddmp_negative_pdmp_positive_p dmp_zeros dmp_grounds dup_from_dictdup_from_raw_dict dup_to_dictdup_to_raw_dict dmp_from_dict dmp_to_dictdmp_swap dmp_permutedmp_nest dmp_raise dup_deflate dmp_deflatedup_multi_deflatedmp_multi_deflate dup_inflate dmp_inflate dmp_exclude dmp_include dmp_inject dmp_eject dup_terms_gcd dmp_terms_gcddmp_list_termsdmp_apply_pairs dup_slice dup_random)f_polys)ZZQQ)ring)S)raises)oocCsg|] }|qS)Zto_dense).0frGrGq/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/polys/tests/test_densebasic.py 0rKcCs,tgtdksJtgdtdks(JdS)NrrN)rrArGrGrGrJ test_dup_LC2srRcCs,tgtdksJtgdtdks(JdS)NrrMrQ)rrArGrGrGrJ test_dup_TC7srScCs~tggtgksJtgddggtgdks4JtgggtggksLJtdgddggdgggtdgddggkszJdSNrNrOrPrQrNrOrP)rrArGrGrGrJ test_dmp_LC<s rVcCsvtggtgksJtgddggtdgks2JtgggtggksJJtdgddggdgggtdggksrJdSrT)rrArGrGrGrJ test_dmp_TCCsrWcCsvtggdtdksJtgddggdtdks4JtgggdtdksLJtdgddggdgggdtdksrJdSNrrUrQrNrOrP)rrArGrGrGrJtest_dmp_ground_LCJsrZcCsvtggdtdksJtgddggdtdks4JtgggdtdksLJtdgddggdgggdtdksrJdSrX)rrArGrGrGrJtest_dmp_ground_TCQsr[cCstggdtdksJtdggdtdks.JtddggdtdksHJtdgggdtdksbJtddgggdtdks~JdS) NrY)rrr)r\r]r)rrYrY)rYrrY)rYrYrY)rrArGrGrGrJtest_dmp_true_LTXs racCsPtgt usJtdgdks$Jtddgdks8JtgddksLJdS)NrYr)rYrrrrYrP)r rFrGrGrGrJtest_dup_degreeasrbcCsbtggdt usJtgggdt us.JtdggddksDJtdgdggddks^JdSNrYrNr)r rFrGrGrGrJtest_dmp_degreehsrdcCs@tgggddt usJtgggddt us4Jtgggddt usNJtdgggdddkshJtdgggdddksJtdgggdddksJttdddksJttdddksJttdddksJttdddksJttdddksJttdddksJttd d d ks.Jttd d dS) NrrNrY rPrOcSstdggddS)NrY)r rGrGrGrJrLz$test_dmp_degree_in..)r rFf_4f_6rE IndexErrorrGrGrGrJtest_dmp_degree_inpsrncCstggggdt t t t fks(JtdggggddksBJttddksTJttddksfJttddksxJttddksJttdd ksJttddksJttdd ksJdS) NrOrY)rrrrrN)rNrNrN)rOrOrO)rQrOrO)rQrPr])rerfrg)rPrPrhrO) r rFf_0f_1f_2f_3rkf_5rlrGrGrGrJtest_dmp_degree_lists(rtcCstggksJtdggks"Jtgdgks6JtdgdgksJJtddgdgks`JtgddgksvJtgdgdksJtgdgdksJtgdgdksJdS)NrrrrrY)rrrrY)rYrNr)rrYrNr)rrrrYrNr)r rGrGrGrJtest_dup_stripsrvcCs,tgddddgksJtggdggks0JtgggdggksHJtggggdggksbJtgggdgggks|JtgggggdgggksJtgggggggdgggksJtdgggddgggksJtggdgggddgggksJtggdgggggddgggggks(JdS)N)rrYrrrYrN)rrGrGrGrJtest_dmp_strips""rwcCstggdfksJtgdddgdfks0JtggggggdfksLJtdggdgdgdggdgggdfksxJttdddS)Nr)rrrrYrrYrNcSstdgddgdgdggS)NrrY)rrGrGrGrJrjrLz#test_dmp_validate..)rrE ValueErrorrGrGrGrJtest_dmp_validates ,rycCs4tgdgdksJtgdgdks0JdS)N)rYrNrrO)rOrrNrYrYrNrOr)rOrNrY)rrGrGrGrJtest_dup_reversesr{cCsHtdtdtdg}t|}tdtd|d<|d<||ksDJdS)NrYrrNr])rArrIgrGrGrJ test_dup_copysr~cCsVtdgtdtdgg}t|d}tdtd|dd<|dd<||ksRJdS)NrYrNrr])rArr|rGrGrJ test_dmp_copys "rcCs8tgdttdtdtdtdtdgks4JdS)N)rrrNrYr rrNrYrr)rrArGrGrGrJtest_dup_normals  rcCsHtdgggddgdgggdttdtdggtdgggksDJdS)Nr)rrNrYrrYrN)rrArGrGrGrJtest_dmp_normals rcCsZtdt}}|d|d|d|dg}t|||tdtdtdtdgksVJdS)NxrYrNrrO)rArZK0ZK1rIrGrGrJtest_dup_converts  rcCs`tdt}}|dg|dgg|dgg}t|d||tdgtdggtdggks\JdS)NrrYrNrO)rArrrGrGrJtest_dmp_converts  rcCsXttjtdgttdtdgks(JttjtdgttddtddgksTJdS)NrNrYrO)rrDOnerAHalfrBrGrGrGrJtest_dup_from_sympys rcCslttjtdgtjggdttdtdgggks6JttjtdggdttddtddggkshJdS)NrNrY)rrDrZZerorArrBrGrGrGrJtest_dmp_from_sympys rcCsrtgddtdksJtgddtdks0JtgddtdksHJtgddtdks`JttdddS) NrYrNrOrrOrYrNrecSstgddtS)N)rOrPrQ)rrArGrGrGrJrjrLztest_dup_nth..)rrArErmrGrGrGrJ test_dup_nths rcCstdgdgdggddtdgks$JtdgdgdggddtdgksHJtdgdgdggddtdgkslJtdgdgdggddtgksJttdddS)NrYrNrOrrecSstdgdgdggddtS)NrOrPrQrrY)rrArGrGrGrJrj rLztest_dmp_nth..)rrArErmrGrGrGrJ test_dmp_nths $$$"rcCstggddtdksJtdgdgdggddtdks:Jtdgdgdggddtdks\Jtdgdgdggddtdks~JtdgdgdggddtdksJtdgdgdggd dtdksJttd d dS) Nr\rYrrNrOr_rNrrNrY)rOrcSstdgdgdggddtS)NrOrPrQ)rNrrY)rrArGrGrGrJrjrLz%test_dmp_ground_nth..)rrArErmrGrGrGrJtest_dmp_ground_nths"""""rcCsXtgddusJtggddus&JtgggddusJdS)NrTrYFrNrO)r rArGrGrGrJtest_dmp_ground_p4s  rcCstttddgggksJttddtdks4JttddtdgksPJttddtdgggkspJdS)NrrNr]r)r!rArGrGrGrJtest_dmp_groundHsrcCstddtgggggksJtddtgks0JtddtggggksJJtddtgggggggksjJtddtggggggggggksJtddtgdksJdS)NrPrrNrYrOrru)r$rArGrGrGrJtest_dmp_zerosPs  &rcCsttdddgksJttddddggggks8Jttddddgggdggggks`JttddddgggdgggdggggksJttdddgdksJdS)Nr]rrNrYrOr)r]r]r])r%rArGrGrGrJtest_dmp_grounds[s  (0rcCsXtgggdtdusJtdgdgggdtdus6JtdgdgggdtdusTJdS)NrNFrYrT)r"rArGrGrGrJtest_dmp_negative_pesrcCsXtgggdtdusJtdgdgggdtdus6JtdgdgggdtdusTJdS)NrNFrYTr)r#rArGrGrGrJtest_dmp_positive_pksrcCstitgksJtitgks$Jtgiks4JtgiksDJtgtdddtdiksbJtgtdddtdiksJgd}dddd }dddd }t|t|ksJt|t|ksJt||ksJt||ksJtd t\}}}|}|d|d|d|d|d|dg}|d|d|dd }|d|d|dd }t|||kshJt|||ks|Jt||ksJt||ksJdS)NTZzerorr) rOrrrNrrrrrgrOrNrg)rgrQr))rgrQrx,y)rQrOr)rrOr)r'rAr&r)r(rC to_domain)rIr}hRryKrGrGrJtest_dup_from_to_dictqs,  (rc CstidtggksJtggdiks*JtgdtdddtdiksJJtggdtdddtdikslJdgggdgggggd gg }ddd d }t|dt|ksJt|d|ksJdS) NrYrTrrr\rOrNrg))rgr)rQrr\)r*rAr+r|rGrGrJtest_dmp_from_to_dicts " rcstgdgddggdggdttgdgddggdt}tdddtksTJtdddt|kslJt|dddtksJttfdddS)NrYrrrYrrYrrrrcstdddtS)NrirY)r,rArGrIrGrJrjrLztest_dmp_swap..)rrAr,rErm)r}rGrrJ test_dmp_swaps  rcCstgdgddggdggdt}tgdgddggdt}t|ddgdt|ksVJt|ddgdt|kspJt|ddgdt|ksJt|ddgdt|ksJdS)NrrYrr)rrAr-r|rGrGrJtest_dmp_permutes  rcCs|ttddtdgggksJtdggdtdggks:JtdggdtdgggksXJtdggdtdggggksxJdSrc)r.rArGrGrGrJ test_dmp_nestsrcCstgddtgggksJtdggddtdggks8JtgdgddggddtdggdggdggggggdggdggggksJdS)NrNrrYrrO)r/rArGrGrGrJtest_dmp_raises *rcCstgtdgfksJtdgtddgfks0JtgdtdgdfksNJtgdtdgdfkslJttdddttdgdfksJttdddttdddgfksJttddd ttdgd fksJttddd ttdgd fksJttddd ttdgdfks.JttddittdddgfksTJttddittdddgfkszJttddittdddgfksJdS)NrYrNrrYrrNrrO)r]rY)rYrrrrrrYr)r]rr])r]rO)rYrrrrYrrr)r]rP)rYrrrYrrrr)rgrPrP)rYrYrrgr)r0rAr'rGrGrGrJtest_dup_deflates8        rcCstggdtdggfksJtdggdtddggfks.)r4rArErmrGrGrGrJtest_dup_inflates rcCstdgddtdgksJtggddtggks4JtdggddtdggksRJtddggddtddggkstJtddggddtgdgksJtddggd dtgd gksJtgd dgddggd dtgd gdggddggksJttd ddS)NrYrr)rOr]rNrr`r)rYrOrNrrrrrcSstggddtS)N)r]rY)r5rArGrGrGrJrj3rLz"test_dmp_inflate..)r5rArErmrGrGrGrJtest_dmp_inflate&s"""rcCsPtgggdtggggdfks"JtdgggdtgdgggdfksHJtgddtggddfksjJtdgddggdtgdgddggdfksJtgdgdtdggddfksJtdgdgdggdtdggddfksJtgdggdtddggddfksJtdggdggdgggdtddggddfksLJdS)NrNr]rrrYrO)r6rArGrGrGrJtest_dmp_exclude6s"&".&,,rcCstgdgdtgdksJtgddgdtgdgks@JtgddgdtdgdgdggkshJtgdddgdtgdggksJtgdddgdtdggdggdgggksJdS)NrrrYrNrO)r7rArGrGrGrJtest_dmp_includeDs "(&rcCsntdt\}}}|}tgd|gggdfks4Jtggd|ggggdfksTJt|dgd|dgggdfksxJt|dggd|dggggdfksJt|dd|d|dgd|dggdgddgggdfksJd|dd||d|dd||d||dd g}dgddggd gdggggggd d ggg}t|d||dfksjJdS) NrrrNrYrOrPr]rQrrQrrr)rCrArr8rrrrrIr}rGrGrJtest_dmp_injectNs $(B@.rcCsVtdt\}}}|}tgggd|gks0Jtggggd|ggksLJtdgggd||dgkslJtdggggd||dggksJtdggdgddgggd||dd|d|dgksJd|dd||d|dd||d||dd g}dgddggd gdggggggd d ggg}t|d||ksRJdS) NrrNrOrYrPr]rQrrrr)rCrArr9rrGrGrJtest_dmp_eject`s $>@.rcCsVtgtdgfksJtgdtdgdfks4JtgdtdgdfksRJdS)NrrYrrYrrY)r:rArGrGrGrJtest_dup_terms_gcdrsrcCstggdtdggfksJtgddtdgdfks.r)rPrQrhr)rP rNrOrrrQrhrYrPrg)r=rA)rrGrGrJtest_dmp_apply_pairss&&&&      rcCsRgd}t|ddtgksJt|ddtdgks6Jt|ddtddgksPJt|ddtgdksjJt|ddtgdksJt|ddt|ksJt|ddt|ksJt|ddtgksJt|ddtgksJt|ddtddgksJt|ddtgd ksJt|ddtgd ks.JtddgddtddgksNJdS) N)rYrNrOrPrrYrPrNrOrUre)rNrOrrz)r>rArrGrGrJtest_dup_slicesrcCstdddt}t|dksJtdd|Ds4Jtdddt}t|dksRJtd d|DshJtd d d t}t|d ksJtd d|DsJtdddt}t|dksJtdd|DsJdS)Nrrcss&|]}d|kodknVqdS)rrNrGrHcrGrGrJ rLz"test_dup_random..rYcss&|]}d|kodknVqdS)rrNrGrrGrGrJrrLrNcss&|]}d|kodknVqdS)rrNrGrrGrGrJrrLrO(css&|]}d|kodknVqdS)rrNrGrrGrGrJrrL)r?rAr allrrGrGrJtest_dup_randomsrN)__doc__Zsympy.polys.densebasicrrrrrrrr r r r r rrrrrrrrrrrrrrrrrrr r!r"r#r$r%r&r'r(r)r*r+r,r-r.r/r0r1r2r3r4r5r6r7r8r9r:r;r<r=r>r?Zsympy.polys.specialpolysr@Zsympy.polys.domainsrArBZsympy.polys.ringsrCZsympy.core.singletonrDZsympy.testing.pytestrEZsympy.core.numbersrFrorprqrrrkrsrlrRrSrVrWrZr[rarbrdrnrtrvrwryr{r~rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrGrGrGrJs$                 "    #