Qi1dZddlmZmZmZmZddlmZddlm Z ddl m Z ddl m Z ddlmZmZmZmZmZddlmZdd lmZdd lmZdd lmZdd lmZdd lmZeZ dZ!dZ"dZ#dZ$dZ%dZ&dZ'dS)z4Tests for the subfield problem and allied problems. )AlgebraicNumberIpiRational)S)exp)sqrt)MPQ)is_isomorphism_possiblefield_isomorphism_pslqfield_isomorphismprimitive_elementto_number_field)QQ)IsomorphismFailed)Poly)CRootOf)raises)xc  tttttdzttfdttdttdttd}ttdtdz}ttdtdztdz}t ddgksJt Jt |Jt |t dddt dd dgksJt |t dddt dd dt d d dgksJt Jt ddgksJt |Jt |t dd dt d ddgksJt |t dd  dt d ddt dd dt dddgksJt |Jt |Jt ||ddgksJt ||Jt ||t dd dt dd dt dddt dd dgksJt |Jt |Jt ||Jt ||ddgksJt ||t dd  dt dddt dd dt dddgksJt |Jt |Jt ||Jt ||Jt ||ddgksJtdtdzdtdzzdz }t ||t dddt dd dt dd dt dd  dgksJdS)Nc$tS)N)r abs/var/www/development/aibuddy-work/election-extract/venv/lib/python3.11/site-packages/sympy/polys/numberfields/tests/test_subfield.pyz-test_field_isomorphism_pslq..s(>q!(D(Dr P; iCi@i)i9Giyii%i[i)rrr rNotImplementedErrorr Q)cdefrrs @@rtest_field_isomorphism_pslqr4s-A$q'' ""A  D D D D DEEEQ  AQ  AQ  AQ$q'')**AQ$q'')DGG344A !!Q ' 'Aq6 1 1 1 1 !!Q ' ' / / / !!Q ' ' / / / !!Q ' 'AaGGQ1a!+D D D D D ! 1  Ar((A!QxAb"IIq9 : : : : "!Q ' ' / / / !!Q ' 'Aq6 1 1 1 1 !!Q ' ' / / / !!Q ' 'Qq!WWHa2q1+E E E E E !!Q ' 'Q 3..-Ab#JJAc3KK<Ac2JJ,C C C C C "!Q ' ' / / / !!Q ' ' / / / !!Q ' 'Aq6 1 1 1 1 !!Q ' ' / / / !!Q ' 'A 3--Qr3ZZKAc3KKQsBZZK,D D D D D "!Q ' ' / / / !!Q ' ' / / / !!Q ' ' / / / !!Q ' 'Aq6 1 1 1 1 !!Q ' 'Q 3..-Ab#JJAc3KK<Ac2JJ,C C C C C "!Q ' ' / / / !!Q ' ' / / / !!Q ' ' / / / !!Q ' ' / / / !!Q ' 'Aq6 1 1 1 1$q'' Ad1ggI-122A ! 1  Ar((A#r {Aqbzz1qbzzk2N O O O O O OrctdtddgksJtttdzttdzdz ddgksJtt tdzttdzdz ddgksJtttdzt tdzdz ddgksJtt tdzt tdzdz ddgksJtdtztdzdz dtztdzdz tdddgksJtdtztdzdz dtztdzdz td ddgksJtdtztdzdz d tztdzdz td ddgksJtdtztdzdz d tztdzdz tdddgksJtdtztdzdz d zdtztdzdz tddd gksJtdtztdzdz d zdtztdzdz td dd gksJtdtztdzdz d zd tztdzdz td dd gksJtdtztdzdz d zd tztdzdz tddd gksJt tdtdz}t td tdz}t tdtdz }t td tdz }t jt jtd dt jg}td dt jtddt jg}t td}t||dusJt||dusJt||dusJt||dusJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt td }t||dusJt||dusJt||dusJt||dusJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt jt jtddt jg}td dt jtddt jg}t td}t||dusJt||dusJt||dusJt||dusJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt td }t||dusJt||dusJt||dusJt||dusJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJtddt jtddt d g}tddt jtddt d g}t dtdzdz }t||dusJt||dusJt||dusJt||dusJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt||d|ksJt dtdzdtdzzdz}t jt jtd dt j g}td dt jtddt j g}tddt jtddt j g} td dt jtddt j g} t||dusJt||dusJt||dusJt||dusJt||d|ksJt||d|ksJt||d| ksJt||d| ksJt||d|ksJt||d|ksJt||d| ksJt||d| ksJt td}t td} t td} t|| dusJt| |dusJt| |dusJttdtddJttdtddJttdtddJttdtddJt td}t dt ddz z} t|| dusJt|| JdS)Nrrrr r+#ir-r"T)fastFir&ir*!r!1i) r r rrrrHalfZeror One) pqrs pos_coeffs neg_coeffsr pos_1_coeffs neg_5_coeffs pos_5_coeffs neg_1_coeffsrr0s rtest_field_isomorphismrMNsN QQ ( (QC / / / / aQi4771 5 51a @ @ @ @ aRQZ4771 5 5"a @ @ @ @ aQi!DGGA 6 62q' A A A A aRQZ!DGGA 6 6Aq' A A A A ac$q''k!mQqSa[] ; ;!RRS?T T T T T RT$q''\!^QqSa[] ; ;R@P@PRS?T T T T T ac$q''k!mRT$q''\!^ < <"bAQAQST@U U U U U RT$q''\!^RT$q''\!^ < <(1b//ST@U U U U U  !DGG A AaCQKM + +08B.D E E E E  1T!WW QQqSa[] , ,08R0@0@"/E F F F F  !DGG A BqDaLN , ,08R0@0@"/E F F F F  1T!WW QRT$q''\!^ - -2:1b//20F G G G G a477*++Aa477*++Aa477*++Aa477*++A6168B??AF;J2q//168Aq>>16BJQ  A "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 Q - - - ; ; ; ; Q - - - ; ; ; ; Q - - - ; ; ; ; Q - - - ; ; ; ; Q . . .* < < < < Q . . .* < < < < Q . . .* < < < < Q . . .* < < < <a!!A "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 Q - - - ; ; ; ; Q - - - ; ; ; ; Q - - - ; ; ; ; Q - - - ; ; ; ; Q . . .* < < < < Q . . .* < < < < Q . . .* < < < < Q . . .* < < < <6168C#3#3QV>168C+;+;addUCJ2q//168B??QqTTEBJ$q'' A &&A "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 Q - - - ; ; ; ; Q - - - ; ; ; ; Q - - - ; ; ; ; Q - - - ; ; ; ; Q . . .* < < < < Q . . .* < < < < Q . . .* < < < < Q . . .* < < < <$q'' Ad1ggI-122AVQVXb!__ae > > > Q . . ., > > > > Q . . ., > > > > Q . . ., > > > >Q  AQ  AQ  A "1a ( (D 0 0 0 0 "1a ( (D 0 0 0 0 "1a ( (E 1 1 1 1 T!WWd1ggD 9 9 9 A A A T!WWd1ggD 9 9 9 A A A T!WWd1ggE : : : B B B T!WWd1ggE : : : B B BQ  AaddQh((A "1a ( (E 1 1 1 1 Q " " * * * * *rc j ttdgttdzdz dgfksJttdtdgttdzdtdzzz dzddgfksJttdgtdttdzdz d dgfksJttdtdgtdttdzdtdzzz dzd ddgfksJttdgtd tdzdz dgdd ggfksJttdtdgtd tdzdtdzzz dzddgt ddd t d d d gt dd d t d dd ggfksJttdgtddttdzdz d dgdd ggfksJttdtdgtddttdzdtdzzz dzd ddgt ddd t d d d gt dd d t d dd ggfksJttdgdttdzdz dgfksJt t dt t dttdtdzdzzttdtdzdzz}}t||tgttdzdtdzzzdzgdfksJttdd gttdzdz dd gfksJtd tdgttdzdz ddgfksJttdd gtd tdzdz dd gtddtd dgggfksJtd tdgtd tdzdz ddggtddtd dggfksJdS)Nrr!r Tpolysrdomainexrr"r&)rVrRc0tgtdS)NFrUrrrrrz(test_primitive_element.. s0Q5AAArc0tgtdS)NTrUrXrYrrrz(test_primitive_element..s0Q4@@@rr6r7)r!rr) rr rrr/r ValueErrorrr rs rtest_primitive_elementr\so d1ggY * *q!tax!o = = = =  a$q''A  #$a4"QT'>A#51v"> ? ? ? ? d1ggY 6 6 641qQU;V;V;VYZX[:\ \ \ \ \ d   GGt % % %)-adR1Wnq.@)N)N)NQRTUPV(W X X X X  a 1   #$a4!8aSAq6("; < < < < d1ggtAww/t < < < A1a4! aVqAwwAaGG8Q&? 1aCQr1XXqB"&# $ $ $ $ $  a 1T + + +/3AqD1HT/J/J/JQCSTVWRXQY.Z [ [ [ [ d1ggtAww/t4 H H H adR1Wnq  . . .A!Aq''1qAwwh : Awwh1R88Q '9) * * * * * d1ggYd 3 3 3QTAX7L L L L L :AABBB :@@AAA T!DGG)a- !DDGGa$8$8"8qA aAY * *q!ta1f}q/@))).L L L L L d1ggq\1 - -!Q$(QF1C C C C C aa\1 - -!Q$(QF1C C C C C d1ggq\1 6 6 61a4!8aVsSTUVxxY\]^_`YaYaNbdfMg:h h h h h aa\1 6 6 61a4!8aVbSVWXYZS[S[]`abcd]e]eRfMg:h h h h h h hrc 4ttdttdksJttdtdgttdtdzksJttdtdztjtjt ddtjg}ttdtdtdz|ksJttdttdtdz|ksJttddS)Nrrr:cVttdtdS)Nrr)rr rYrrrz&test_to_number_field..$sod1ggtAww&G&Gr) rr rrr@rArrr)rs rtest_to_number_fieldr_sD 477 # #tAww'?'? ? ? ? ?  a$q''  .tAwwa/@AA B B B B Q$q'')AFAFHROOQV+TUUA 477DGGd1gg$5 6 6! ; ; ; ; 477ODGGd1gg4E$F$F G G1 L L L L GGHHHHHrcttdtdtdz}ttdtdtdz}t||ddgksJdS)Nrrr+r!r)rr r rs rtest_issue_22561ra'ssQa477!233AQa477!233A Q " "q!f , , , , , ,rcttdztdzztdzztzdzd}|tdtzt zdz }t ||ddgksJdS)NrOrrr!r;r+r)rr_resetrrrr rs rtest_issue_22736rd-sy1q!t ad"Q&*B//AHHJJJ AaCF1H A Q " "q!f , , , , , ,rc<tdtdzzdtdzzz dtzzdz dtdtdzzdtdzzz dtzzdz d}}t||gddddksJt||gdd dddksJt j|t j|}}||}|jddksJttt| ttt| ztdtzt| ksJdS) Nr?rrr!rTrQ)rRrVrS) rrr primitiveralgebraic_fieldunifymodr)rrf1f2f3s rtest_issue_27798rn4s| 2ad7R1W$r!t+a/ 3 3WR1Wr!Q$w=NQSTUQU=UXY=Y[\5]5]qA aV4 0 0 0 3 = = ? ? Ba G G G G aV4D 9 9 9! < F F H H Kq P P P P   " "B$6q$9$9B "B 6    a A % % % % 1R 41R#8#8#8 8D1aPRr|s::AAAAAAAAAAAA""""""666666999999#######"""""444444&&&&&&++++++'''''' 1O1O1Ohe+e+e+P!i!i!iH I I I--- --- T T T T Tr