K i"<ddlmZddlmZddlmZddlmZmZm Z m Z ddl m Z ddl mZddlmZmZmZmZmZddlmZdd lmZdd lmZmZdd lmZmZmZm Z dd l!m"Z"m#Z#dd l$m%Z%ddl&m'Z'dZ(dZ)dZ*dZ+dZ,dZ-dZ.dZ/dZ0dZ1dZ2dZ3dZ4dZ5dZ6dZ7y) )Q)refine)Expr)IRationalnanpi)S)Symbol)Absargimresign)exp)sqrt)atanatan2)wxyz)EqNe) Piecewise) MatrixSymbolcttttjttk(sJtdttztjtdtzk(sJttttj tt k(sJtdttztj tdtz k(sJtttdztdzk7sJtttdztj ttdzk(sJyN)rr rrpositivenegativereali/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/assumptions/tests/test_refine.pytest_Absr's #a&!**Q- (A -- - !c!f*ajjm ,A 55 5 #a&!**Q- (QB .. . !c!f*ajjm ,A 55 5 #ad) 1 $$ $ #ad)QVVAY '1a4 // /r%c tdtztjtdk(sJtdtztjtdk(sJtdtztjtdtzk(sJtt tdzt tk7sJtt tdztjtt tk7sJtt tdztjtt tk(sJtt tdztjttk(sJttdztddztk7sJttdztddztjttk7sJttdztddztjttk(sJtt dtz tjtdt tz k7sJtt dtz tjtdt tz k(sJtdttzztjtdtzk(sJtdttztzztjttjtzdtzk(sJtdttzdzztjtdtzk(sJtdttzdzztjtdtdzzk(sJtdtdzzdtdzzk(sJtddtzdz tjz ztjtdtzk(sJtddtzdz tjzztjtdtdzzk(sJtddtzdz dtjzzztjtdtdzzk(sJy)Nrr )rrrevenoddrr complexr#r!rrrr Halfintegerr$r%r& test_pow1r2sq 2'166!9 % ** * 2'1558 $ ** * 2'166!9 %A -- - $q!t* Q '' ' $q!t*aiil +s1v 55 5 $q!t*affQi (CF 22 2 $q!t*ajjm , 11 1 1a4(1a.( )Q .. . 1a4(1a.(!&&) 4 99 9 1a4(1a.(!**Q- 8A == = $qs)QVVAY '1T!W9 44 4 $qs)QZZ] +qay 88 8 2Q- +Qw 66 6 2Q#QUU1Xa%8 9b1W DD D 2Q#QUU1X .2' 99 9 2Q#QUU1X .2Q- ?? ? 2Q- R1q5M 11 1 2"qQVV+,aiil ;Qw FF F 2"qQVV+,aiil ;a!e} LL L 2"qQqvvX-. ! ="A NN Nr%ctddtzdz dtjzz zt j tdtdzzk(sJtddtzdz dtjzz zt j tdtzk(sJtt tdzt jttdzk(sJtt tdzt jtt tdzk(sJtt tdzt tdzk(sJy)Nr)r r r+)rrr r0rr1r r#r$r%r& test_pow2r6:s 2"qQqvvX-. ! ="A NN N 2"qQqvvX-. ! ="q HH H #a&!)QVVAY '1a4 // / #a&!)QVVAY '3q619 44 4 #a&!) A )) )r%c tdd}ttttzdz|zdk(sJttttzdz|t j zzdk(sJttttzdz|tddzztk(sJttttzdz|tddzzt k(sJy) NrT)r1r rr)r+)r rrr rr r0rrs r&test_expr:DssD!A #bd1fQh- A %% % #bd1fa!&&j)* +r 11 1 #bd1fa(1a.012 3q 88 8 #bd1fa(1a.012 3r 99 9r%c ttdtdkfdtdkdk(sJttdtdkfdtdkdk(sJttdtdkfdtdktdtdkfdk(sJttdtdkDfdtdkDdk(sJttdtdkDfdtdkDdk(sJttdtdkDfdtdkDtdtdkDfdk(sJttdtdkfdtdkdk(sJttdtdkfdtdkdk(sJttdtdkfdtdktdtdkfdk(sJttdtdk\fdtdk\dk(sJttdtdk\fdtdk\dk(sJttdtdk\fdtdk\tdtdk\fdk(sJttdt tdfdt tddk(sJttdt tdfdt dtdk(sJttdt tdfdt tddk(sJttdt tdfdt dtdk(sJttdt tdfdt tdtdt tdfdk(sJttdt tdfdt tddk(sJttdt tdfdt tddk(sJttdt tdfdt tdtdt tdfdk(sJy)Nrr)r+Tr+)rrrrrrr$r%r&test_Piecewiser<Ls )QAJ 2QU < AA A )QAJ 2a!eH = BB B )QAJ 2QU <1a!e*i( )) ) )QAJ 2QU < AA A )QAJ 2a!eH = BB B )QAJ 2QU <1a!e*i( )) ) )QQK3a1f >! CC C )QQK3qAvY ?1 DD D )QQK3a1f >1a1f+y) ** * )QQK3a1f >! CC C )QQK3qAvY ?1 DD D )QQK3a1f >1a1f+y) ** * )Q1aM951a B    )Q1aM951a B    )Q1aM95Aq{ C    )Q1aM95Aq{ C    )Q1aM951a B aAq]I . // / )Q1aM951a B    )Q1aM95Aq{ C    )Q1aM951a B aAq]I . // /r%c,ttttt j tt j tztttz k(sJttttt jtt j tztttz k(sJttttt jtt jtztttz tz k(sJttttt j tt jtztttz tzk(sJttttt jtt jtztk(sJttttt j tt jtztdz k(sJttttt jtt jtzt dz k(sJttttt jtt jtztusJy)Nr ) rrrrrr#r!rr"r zerorr$r%r& test_atan2r?os %1+qvvay1::a=8 9T!A#Y FF F %1+qzz!}qzz!}< =ac JJ J %1+qzz!}qzz!}< =acR OO O %1+qzz!}qzz!}< =acR OO O %1+qvvay1::a=8 9R ?? ? %1+qzz!}qvvay8 9RT AA A %1+qzz!}qvvay8 9bSU BB B %1+qvvay166!94 5 << ?1q519 LL Lr%cttttjtt tzk(sJttttj ttjusJttttztjttjtzt tzt tzz k(sJttttztj ttjtzt tzk(sJttttztjttj tzt tztzk(sJttttztjttjtzdk(sJttdtz tjtt tz k(sJttttztztjttjtztjtzt tztztzk(sJy)Nrr) rrrrrArr#r rBrrr$r%r&test_imrEs "Q%Q (QBqD 00 0 "Q% #qvv -- - "QqS'1;;q>AKKN: ;r!tacz II I "QqS'166!9q{{1~5 61"Q$ >> > "QqS'1;;q>AFF1I5 61"Q$q& @@ @ "QqS'1;;q>AKKN: ;q @@ @ "QqS'1;;q> *qbd 22 2 "QqSU)Q[[^akk!n< ++a. RT!VAX && &r%cttdtttzzz t j tt j tzttdztdzzz k(sJttdtttzzz t j tt j tzt tdztdzzz k(sJtttttzztttzzzt j tt j tzt j tzt j tzttzttzz k(sJtttttzztttzzzt j tt j tzt j tzt j tzttzttzzk(sJyr) rrrrrrr#rrrr$r%r& test_complexrGs "QAaC[/166!9qvvay#8 9 1a4!Q$;   "QAaC[/166!9qvvay#8 9 AqD1a4K   "a!A#g!ac'*+QVVAY-BQVVAY-N &&). !ac  "" " "a!A#g!ac'*+QVVAY-BQVVAY-N &&). !ac  "" "r%ctdd}tt|tj|dk(sJtt|tj |dk(sJtt|tj |dk(sJtt|dt|k(sJttt|tj|dk(sJtdd}tt|tjt|tjk(sJtt|tj t|tj k(sJtt|dt|k(sJtdd}tt|tj |dk(sJy) NrTr#rr)r)rAr/) r rrrr!r"r>r nonzerorr ImaginaryUnitr9s r& test_signrMs`s4 A $q'1::a= )Q .. . $q'1::a= )R // / $q'166!9 % ** * $q'4 DG ++ + $s1v, ! - 22 2sd#A $q'1::be, - @@ @ $q'1::be, -!//1A AA A $q'4 DG ++ +sD!A $q'166!9 % ** *r%ctdd}tt|tj|dk(sJtt|tj |t k(sJy)NrTrJr)r rr rr!r"r r9s r&test_argrOsPsd#A #a&!**Q- (A -- - #a&!**Q- (B .. .r%cGfddt}d|_|jt|jk(sJy)Nc(eZdZdZefdZy)test_func_args..MyClasscd|_y)N my_member)selfargss r&__init__z(test_func_args..MyClass.__init__s DNr%cfd}|S)Nc4|}j|_|S)NrU)rXobjMyClassrWs r&my_funcz5test_func_args..MyClass.func..my_funcstn $  r%r$)rWr^r]s` r&funcz$test_func_args..MyClass.funcs Nr%N)__name__ __module__ __qualname__rYpropertyr_)r]sr&r]rRs     r%r]zA very important value)rrVr)rr]s @r&test_func_argsrds; $   A*AK ;;&)-- -- -r%cttdtdkfdtjtdk(sJttdtdkfdtj tdk(sJttdtdkDfdtjtdk(sJttdtdkDfdtj tdk(sJy)Nrr)rT)rrrrr!r"r$r%r&test_issue_refine_9384rfs )QAJ 2AJJqM Ba GG G )QAJ 2AJJqM Ba GG G )QAJ 2AJJqM Ba GG G )QAJ 2AJJqM Ba GG Gr%cJGddt}|}t|sJy)NceZdZdZy)"test_eval_refine..MockExprcy)NTr$)rW assumptionss r& _eval_refinez/test_eval_refine..MockExpr._eval_refinesr%N)r`rarbrlr$r%r&MockExprris r%rm)rr)rmmock_objs r&test_eval_refineros%4zH (  r%c>ttttzt j t}ttttzt zt j t}|tttzk(sJ|tttt zzk(sJtdd}ttt|dzzt zt j t}|t|dzztt zk(sJy)Ny1TrIr )rr rrrr!rr )expr1expr2rqexpr3s r&test_refine_issue_12724rus 3q1u:qzz!} -E 3q1uqy>1::a= 1E AAJ   AAE N "" " T "B 3q2q5y1}%qzz!} 5E AAIA& && &r%ctddd}tdd}tdd}t|dtj||dk(sJt|dtj||dk(sJt|||ftj||||fk(sJt|||ftj||||fk(sJy) Nrr+iT)r!j)rr)rr)rr rr symmetric)rrwrxs r&test_matrixelementrzsS!QAst$Ast$A !D'1;;q> *ag 55 5 !D'1;;q> *ag 55 5 !AqD'1;;q> *a1g 55 5 !AqD'1;;q> *a1g 55 5r%N)8sympy.assumptions.askrsympy.assumptions.refinersympy.core.exprrsympy.core.numbersrrrr sympy.core.singletonr sympy.core.symbolr $sympy.functions.elementary.complexesr r rrr&sympy.functions.elementary.exponentialr(sympy.functions.elementary.miscellaneousr(sympy.functions.elementary.trigonometricrr sympy.abcrrrrsympy.core.relationalrr$sympy.functions.elementary.piecewiser"sympy.matrices.expressions.matexprrr'r2r6r:r<r?rCrErGrMrOrdrfrorurzr$r%r&rs#+ 55"$II69B (:;0O>*: /F=M &"+ / .&H'6r%