a амєz$sympy_associative..)rrr rrr ┌any)rZ assoc_opsrrr┌sympy_associativesrcs$tttttf}tЗfddД|DГГS)Nc3s|]}tИ|ГVqdSrr)rZcoprrrrrz$sympy_commutative..)rrrrr r)rZcomm_opsrrr┌sympy_commutativesrcCst|tГot|jГSr)┌ isinstancerrrй┌xrrr┌is_associativesr"cCs@t|tГsdSt|jГrdSt|jtГr.)rrrrrr┌all┌argsr rrrr$s r$csЗfddД}|S)Ncs t|ИГpt|tГot|jИГSr)rrrrr й┌typrr┌ matchtype%s zmk_matchtype..matchtyper)r*r+rr)r┌mk_matchtype$sr,rcsV|Иvrt|ГSt|ttfГr"|St|tГr2|jr6|St|jtЗfddД|jDГГГS)z% Turn a SymPy object into a Compound c3s|]}t|ИГVqdSrй┌deconstructr%й┌ variablesrrr3rzdeconstruct..) rrrrZis_Atomr┌ __class__┌tupler()┌sr0rr/rr.*s r.csШtИttfГrИjStИtГs"ИStЗfddДtDГГrPИjtt Иj ГddiОStЗfddДtDГГrВtj Иjgtt Иj ГвRОSИjtt Иj ГОSdS)z% Turn a Compound into a SymPy object c3s|]}tИj|ГVqdSrйrrйr┌clsй┌trrr;rzconstruct..┌evaluateFc3s|]}tИj|ГVqdSrr4r5r7rrr=rN)rrrr&rr┌eval_false_legalr┌mapr#r(┌basic_new_legalr┌__new__r7rr7rr#5s r#cCstt|ГГS)z[ Rebuild a SymPy expression. This removes harm caused by Expr-Rules interactions. )r#r.)r3rrr┌rebuildBsr>Nc+spЗfddДЙ|pi}ЗfddД|абDГ}tjИ|ГИ|Г|fttdЬ|дО}|D]}ddД|абDГVqRdS)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|ИГSrr-r r/rr┌srzunify..csi|]\}}И|ГИ|ГУqSrrйr┌k┌v)┌deconsrr┌ urzunify..)r"r$cSsi|]\}}t|Гt|ГУqSr)r#r@rrrrD|rN)┌itemsr┌unifyr"r$)r!┌yr3r0┌kwargsZds┌dr)rCr0rrFIs*■¤rF)r)Nr)#┌__doc__Z sympy.corerrrrZsympy.core.operationsrrZsympy.matricesrr r Zsympy.sets.setsrrr Zsympy.unify.corerrrZsympy.unifyrr<r:┌illegalrrr"r$r,r.r#r>rFrrrr┌s$