Ptj|dZddlmZmZmZmZddlmZmZddl m Z m Z m Z ddl mZmZmZddlmZmZmZddlmZe gZeeegZegZdZd Zd Zd Zd ZddZdZ dZ!ddZ"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)corectttttt f}t fd|DS)Nc38K|]}t|VdSN issubclass).0aopops P/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/unify/usympy.py z$sympy_associative..s-88sz"c""888888)rr r r r rany)r assoc_opss` rsympy_associativer s8&&%yII 8888i888 8 88rcztttttf}t fd|DS)Nc38K|]}t|VdSrr)rcoprs rrz$sympy_commutative..s-77sz"c""777777r)rr r r rr)rcomm_opss` rsympy_commutativer%s6VUL)'8'>'>>rct|tsdSt|jrdSt |jt rt d|jDSdS)NFTc3>K|]}t|jVdSr) constructis_commutative)rargs rrz!is_commutative.."s+CCS9S>>0CCCCCCr)r'rr%rrrallargsr(s rr.r.sp a " "ut!$DCCAFCCCCCCDDrcfd}|S)Ncxt|p)t|tot|jSr)r'rrr)r)typs r matchtypezmk_matchtype..matchtype%s:1c""B1h''AJqtS,A,A Cr)r4r5s` r mk_matchtyper7$s)CCCCC rr6c|vrt|St|ttfr|St|tr|jr|St |jtfd|jDS)z% Turn a SymPy object into a Compound c38K|]}t|VdSr deconstruct)rr/ variabless rrzdeconstruct..3s-HH#+c955HHHHHHr) rr'rris_Atomr __class__tupler1)sr<s `rr;r;*sI~~{{!h -.. a  19 AKHHHHHHHHH J JJrctttfrjSttsSt fdt Dr%jttj ddiSt fdtDr/tj jgttj RSjttj S)z% Turn a Compound into a SymPy object c3BK|]}tj|VdSrrrrclsts rrzconstruct..;s/ = =S:adC = = = = = =revaluateFc3BK|]}tj|VdSrrCrDs rrzconstruct..=s/ > >sZc " " > > > > > >r)r'rrr/rreval_false_legalrmapr-r1basic_new_legalr__new__)rFs`rr-r-5s!h -..u a " " = = = =,< = = ===-qtSAF++ > > >o > > > > >-}QT;C 16$:$:;;;;qtSAF++,,rc:tt|S)z[ Rebuild a SymPy expression. This removes harm caused by Expr-Rules interactions. )r-r;)r@s rrebuildrNBs [^^ $ $$rNc+Kfd|pi}fd|D}tj|||fttd|}|D]"}d|DV#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} c$t|Srr:)r)r<s rzunify..ss{1i00rc@i|]\}}||Sr6r6)rkvdeconss r zunify..us/444$!QFF1II444r)r*r.cNi|]"\}}t|t|#Sr6)r-)rrSrTs rrVzunify..|s*@@@day||Yq\\@@@rN)itemsrunifyr*r.)r)yr@r<kwargsdsdrUs ` @rrYrYIsT1 0 0 0F RA4444!''))444A FF1IIvvayy! /4B4B / /(. / /BAA@@aggii@@@@@@@AAr)r6)Nr6)#__doc__ sympy.corerrrrsympy.core.operationsrrsympy.matricesr r r sympy.sets.setsr r rsympy.unify.corerrr sympy.unifyrrKrIillegalr r%r*r.r7r;r-rNrYr6rrrfs|33 ,+++++++++++444444445555555555::::::::::==========,S), +999888???DDD J J J J - - -%%%3A3A3A3A3A3Ar