o o h|@sdZddlmZmZmZmZddlmZmZddl m Z m Z m Z ddl mZmZmZddlmZmZmZddlmZe gZeeegZegZdd Zd d Zd d ZddZddZdddZddZ ddZ!dddZ"dS)z SymPy interface to Unification engine See sympy.unify for module level docstring See sympy.unify.core for algorithmic docstring )BasicAddMulPow)AssocOp LatticeOp)MatAddMatMul MatrixExpr)Union Intersection FiniteSet)CompoundVariable CondVariable)corecs&ttttttf}tfdd|DS)Nc3|]}t|VqdSN issubclass).0aopopf/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/sympy/unify/usympy.py z$sympy_associative..)rrr r r r any)r assoc_opsrrrsympy_associativesr cs$tttttf}tfdd|DS)Nc3rrr)rcoprrrrrz$sympy_commutative..)rrr r r r)rcomm_opsrrrsympy_commutativesr#cCst|to t|jSr) isinstancerr rxrrris_associativesr'cCs@t|tsdSt|jrdSt|jtrtdd|jDSdS)NFTcss|]}t|jVqdSr) constructis_commutativerargrrrr"rz!is_commutative..)r$rr#rrrallargsr%rrrr)s   r)csfdd}|S)Ncs t|pt|tot|jSr)r$rrrr%typrr matchtype%s zmk_matchtype..matchtyper)r/r0rr.r mk_matchtype$s r1rcsV|vrt|St|ttfr|St|tr|jr|St|jtfdd|jDS)z% Turn a SymPy object into a Compound c3s|]}t|VqdSr deconstructr* variablesrrr3rzdeconstruct..) rr$rris_Atomr __class__tupler-)sr5rr4rr3*sr3cstttfr jSttsStfddtDr(jtt j ddiStfddt DrAt j jgtt j RSjtt j S)z% Turn a Compound into a SymPy object c3|] }tj|VqdSrrrrclstrrr;zconstruct..evaluateFc3r:rr;r<r>rrr=r@)r$rrr+rreval_false_legalrmapr(r-basic_new_legalr__new__r>rr>rr(5s r(cCs tt|S)z[ Rebuild a SymPy expression. This removes harm caused by Expr-Rules interactions. )r(r3)r9rrrrebuildBs rFNc+srfdd|p i}fdd|D}tj|||fttd|}|D] }dd|DVq*dS)af Structural unification of two expressions/patterns. Examples ======== >>> from sympy.unify.usympy import unify >>> from sympy import Basic, S >>> from sympy.abc import x, y, z, p, q >>> next(unify(Basic(S(1), S(2)), Basic(S(1), x), variables=[x])) {x: 2} >>> expr = 2*x + y + z >>> pattern = 2*p + q >>> next(unify(expr, pattern, {}, variables=(p, q))) {p: x, q: y + z} Unification supports commutative and associative matching >>> expr = x + y + z >>> pattern = p + q >>> len(list(unify(expr, pattern, {}, variables=(p, q)))) 12 Symbols not indicated to be variables are treated as literal, else they are wild-like and match anything in a sub-expression. >>> expr = x*y*z + 3 >>> pattern = x*y + 3 >>> next(unify(expr, pattern, {}, variables=[x, y])) {x: y, y: x*z} The x and y of the pattern above were in a Mul and matched factors in the Mul of expr. Here, a single symbol matches an entire term: >>> expr = x*y + 3 >>> pattern = p + 3 >>> next(unify(expr, pattern, {}, variables=[p])) {p: x*y} cs t|Srr2r%r4rrss zunify..csi|] \}}||qSrrrkv)deconsrr uzunify..)r'r)cSsi|] \}}t|t|qSr)r(rHrrrrL|rMN)itemsrunifyr'r))r&yr9r5kwargsdsdr)rKr5rrOIs *rO)r)Nr)#__doc__ sympy.corerrrrsympy.core.operationsrrsympy.matricesrr r sympy.sets.setsr r r sympy.unify.corerrr sympy.unifyrrDrBillegalr r#r'r)r1r3r(rFrOrrrrs&