^j/dZddlmZmZmZmZddlmZddlm Z ddl m Z ddl m Z ddlmZmZmZmZmZddlmZdd lmZdd lmZdd lmZdd lmZeZd ZdZ 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)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]C:\Projects\Historical\venv\Lib\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_pslqr3s-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)Nrrrrr*#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_coeffsrr/s rtest_field_isomorphismrLMsN 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 T)polysQQ)domainexrr!r%)rTrPc0tgtdS)NFrSrrrrrz(test_primitive_element.. s0Q5AAArc0tgtdS)NTrSrVrWrrrz(test_primitive_element.. s0Q4@@@rr5r6)r rr) rr rrr.r ValueErrorrr rs rtest_primitive_elementrZso 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)Nrrr9cVttdtdS)Nrr)rr rWrrrz&test_to_number_field..#sod1ggtAww&G&Gr) rr rrr?r@rrr)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_22561r_&ssQa477!233AQa477!233A Q " "q!f , , , , , ,rcttdztdzztdzztzdzd}|tdtzt zdz }t ||ddgksJdS)NrNrrr r:r*r)rr_resetrrrr rs rtest_issue_22736rb,sy1q!t ad"Q&*B//AHHJJJ AaCF1H A Q " "q!f , , , , , ,rN)%__doc__sympy.core.numbersrrrrsympy.core.singletonr&sympy.functions.elementary.exponentialr(sympy.functions.elementary.miscellaneousr sympy.external.gmpyr !sympy.polys.numberfields.subfieldr r r rrsympy.polys.polyerrorsrsympy.polys.polytoolsrsympy.polys.rootoftoolsrsympy.testing.pytestr sympy.abcrr.r3rLrZr]r_rbrWrrros::AAAAAAAAAAAA""""""666666999999######544444&&&&&&++++++'''''' 1O1O1Ohe+e+e+P!i!i!iH I I I--- -----r