K i" ddlmZddlmZddlmZddlmZddlm Z m Z ddl m Z ddlm Z ddlmZmZdd lmZmZmZmZmZdd lmZmZmZmZd Zd Zd ZdZdZ dZ!dZ"dZ#dZ$dZ%dZ&dZ'dZ(dZ)dZ*dZ+dZ,dZ-y))Add)Basic)Tuple)S)Symbolsymbols)And)Str)CompoundVariable) deconstruct constructunifyis_associativeis_commutative)xyznc$ttdtdtd}ttd}t||k(sJtddk(sJtttk(sJtttft tk(sJtt dtdtt dtfk(sJtt dtdtftt dt tfk(sJy)N)rrr variablesFevaluate)rrr r rr rexprexpecteds b/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/sympy/unify/tests/test_sympy.pytest_deconstructr" sQqT1Q41&Dy)H t  (( ( q>Q   q>Q   qQD )Xa[ 88 8 s1a%0 1XcAq65J JJ J s1a%0QD AsQ ,- .. .ctttdtdtdf}ttdtdtd}t||k(sJyNrrr)r rrrrs r!test_constructr&sM!adAaD12DQqT1Q41&H T?h && &r#c ttdttdtd}tttdtttdtdf}t ||k(sJt ||k(sJyr%)rrr rr r)rcmpds r! test_nestedr)sk 1uQqT{AaD )D EAaD(5%(";QqTB CD t  $$ $ T?d "" "r#c .ttdtdtd}ttd\}}}t|||}t t ||i|||f|d|d|digk(sJt t |||||f|d|d|digk(sJy)Nrrrabcrrrmaprlistr)rabcpatterns r! test_unifyr3$s 1qtQqT "D&% GAq!Aq!nG dGR!Q3 4!Q1a9K8L LL L dG1ay9 :Aq!Q   !! !r#c ttttdtdttdtitftdigk(sJy)Nrrr)r.rrrrr#r!test_unify_variablesr6,sE eAaD!A$'qtQtL MSTVWRXQY YY Yr#c ttdtd}ttd\}}t||}t t ||i||f|d|digk(sJt t |||di||fgk(sJy)Nrrabr,)rr/r0r2s r! test_s_inputr:/s 1qt D vt DAqAqkG dGR!Q0 1q!Ql^ CC C dGaVaV4 5 ;; ;r#ct|}tt|tk(xrtfd|DS)Nc3&K|]}|v ywNr5).0rr0s r! ziterdicteq..9s#6qAF#6s)tuplelenall)r/r0s `r! iterdicteqrC6s8 aA aA q6SV  6#6A#6 66r#c tdddd}ttd\}}}t|||d}tt ||i|||f}|d|d|di|d|d|di|d|d|di|d|d|di|d|d|di|d|d|dif}t ||sJyNrrrFrr+)rr-rr@rrCrr/r0r1r2resultr s r!test_unify_commutativerH;s q!Q 'D&% GAq!!QE*GE$aAY78FAq!Q"Aq!Q"Aq!Q"Aq!Q"Aq!Q"Aq!Q" $H fh '' 'r#ctdddd}ttd\}}}t||d}tt |sJt t |sJt t||i||f}|d|tdddi|d|tdddi|d|tdddi|d|tdddi|d|tdddi|d|tdddi|tddd|di|tddd|di|tddd|di|tddd|di|tddd|di|tddd|dig }t||sJyrE) rr-rrr rr.rrCrFs r!test_unify_iterrJJs q!Q 'D&% GAq!!Q'G +g. // / +g. // /E$aV45FAq#aU34Aq#aU34Aq#aU34Aq#aU34Aq#aU34Aq#aU34C1u-q!4C1u-q!4C1u-q!4C1u-q!4C1u-q!4C1u-q!4 6H fh '' 'r#c ddlm}m}|t|tdzz}t t d\}}||||dzz}t t||i||f|tigk(sJy)Nrcossinrpq)(sympy.functions.elementary.trigonometricrMrNrr-rr.r)rMrNrpqr2s r!test_hard_matchrSasiC q6CFAI D vt DAq!fs1vqy G dGR!Q0 1q!fX == =r#c Bddlm}|dtt}|ddd}|ddd}tt ||itt dgt dt dtdigk(sJtt ||itt dggk(sJy) Nr) MatrixSymbolXYrZrr)"sympy.matrices.expressions.matexprrUrr.rr )rUrVrWrXs r! test_matrixrZhs?S!QAS!QAS!QA aB1c#h-8 9s3xSSTVW>X=Y YY Y aB1c#h-8 9R ?? ?r#czttdzz}tt|}t ||j y)Nr)rrrr strr)rrebuilts r!test_non_frankenAddsr^ps0 QqS5D D)*GL r#cddlm}td\}}}}}||||}|||}||f}||||||itt |||vsJy)Nr FiniteSetz a,b,c,x,yr)sympy.sets.setsrarr@r) rar/r0r1rrstrs r!test_FiniteSet_commutivityreysf)K(MAq!Q!QA!QAAI yA1 %uQY/O)P PP Pr#c Rddlm}td\}}}}}}|tt d||t||}||t||}||f} |d|||t||i|||||tt d|if} t t ||| | sJy)Nrr`z a,b,c,x,y,zrr)rbrarrrrCr) rar/r0r1rrrrr2rr s r!test_FiniteSet_complexrgs)}-Aq!Q1 U1Q4^Qa 4D5A;'G1IAq)AuQ{34!Q !U1Q4^ <=?H eD'Y? JJ Jr#c ttf}ttdkDttdkif}t t tdkDtdkzt tt||sJy)Nrrr)rrrrrCrr )rr s r!test_andrisV1IAE1a!e$&H eQqSQqSM3q!9 J   r#c ddlm}tt|dd|ddz|dd|ddz|ddfsJy) NrIntervalr r)rbrlr.rrks r! test_UnionrqsT( hq!nxB'77q!nxB'77!)"b!1 35 66 6r#cttttzsJttttzsJttttzrJyr=)rr rrr5r#r!test_is_commutativerssJ +ac* ++ + +ac* ++ +k!Q$/00 00r#c ddlm}m}m}m}ddlm}m}|d|dz|dzd|dz|dzz}|||z||z|||z||zz}tt||||||fsJy)Nr)r/r0r1drLrr9r) sympy.abcr/r0r1rurPrMrNnextr)r/r0r1rurMrNeqpats r!test_commutative_in_commutativer{s!!C QAs1v #a&Q /B CF(3q6/Ac!fHSVO +C b#!Aa3 44 4r#N).sympy.core.addrsympy.core.basicrsympy.core.containersrsympy.core.singletonrsympy.core.symbolrrsympy.logic.boolalgr r sympy.unify.corer r sympy.unify.usympyr rrrrrwrrrrr"r&r)r3r6r:rCrHrJrSrZr^rergrirqrsr{r5r#r!rs"'"/#!/  .' # !Z<7 ((.>@QK 6 1 5r#