ó ”¼™\c@ s7dZddlmZmZddlmZmZmZmZddl m Z m Z ddl m Z mZmZddlmZmZmZddlmZmZmZddlmZegZe eegZe gZd „Zd „Zd „Zd „Z d „Z!dd„Z"d„Z#d„Z$ddd„Z&dS(s‚ SymPy interface to Unification engine See sympy.unify for module level docstring See sympy.unify.core for algorithmic docstring i’’’’(tprint_functiontdivision(tBasictAddtMultPow(tAssocOpt LatticeOp(tMatAddtMatMult MatrixExpr(tUniont Intersectiont FiniteSet(tCompoundtVariablet CondVariable(tcorec s2ttttttf}t‡fd†|DƒƒS(Nc3 s|]}tˆ|ƒVqdS(N(t issubclass(t.0taop(top(s1lib/python2.7/site-packages/sympy/unify/usympy.pys s(RRR R R R tany(Rt assoc_ops((Rs1lib/python2.7/site-packages/sympy/unify/usympy.pytsympy_associativesc s/tttttf}t‡fd†|DƒƒS(Nc3 s|]}tˆ|ƒVqdS(N(R(Rtcop(R(s1lib/python2.7/site-packages/sympy/unify/usympy.pys s(RRR R R R(Rtcomm_ops((Rs1lib/python2.7/site-packages/sympy/unify/usympy.pytsympy_commutativescC st|tƒot|jƒS(N(t isinstanceRRR(tx((s1lib/python2.7/site-packages/sympy/unify/usympy.pytis_associativescC sSt|tƒstSt|jƒr&tSt|jtƒrOtd„|j DƒƒSdS(Ncs s|]}t|ƒjVqdS(N(t constructtis_commutative(Rtarg((s1lib/python2.7/site-packages/sympy/unify/usympy.pys $s( RRtFalseRRtTrueRRtalltargs(R((s1lib/python2.7/site-packages/sympy/unify/usympy.pyR s c s‡fd†}|S(Nc s.t|ˆƒp-t|tƒo-t|jˆƒS(N(RRRR(R(ttyp(s1lib/python2.7/site-packages/sympy/unify/usympy.pyt matchtype's((R&R'((R&s1lib/python2.7/site-packages/sympy/unify/usympy.pyt mk_matchtype&sc su|ˆkrt|ƒSt|ttfƒr/|St|tƒ sH|jrL|St|jt‡fd†|jDƒƒƒS(s% Turn a SymPy object into a Compound c3 s|]}t|ˆƒVqdS(N(t deconstruct(RR!(t variables(s1lib/python2.7/site-packages/sympy/unify/usympy.pys 5s( RRRRtis_AtomRt __class__ttupleR%(tsR*((R*s1lib/python2.7/site-packages/sympy/unify/usympy.pyR),s   c sĀtˆttfƒrˆjStˆtƒs/ˆSt‡fd†tDƒƒrjˆjdtt t ˆj ƒŒSt‡fd†t Dƒƒr„t jˆjt t ˆj ƒŒSˆjt t ˆj ƒŒSdS(s% Turn a Compound into a SymPy object c3 s!|]}tˆj|ƒVqdS(N(RR(Rtcls(tt(s1lib/python2.7/site-packages/sympy/unify/usympy.pys =stevaluatec3 s!|]}tˆj|ƒVqdS(N(RR(RR/(R0(s1lib/python2.7/site-packages/sympy/unify/usympy.pys ?sN(RRRR!RRteval_false_legalRR"tmapRR%tbasic_new_legalRt__new__(R0((R0s1lib/python2.7/site-packages/sympy/unify/usympy.pyR7scC stt|ƒƒS(sY Rebuild a SymPy expression This removes harm caused by Expr-Rules interactions (RR)(R.((s1lib/python2.7/site-packages/sympy/unify/usympy.pytrebuildDsc + s‡fd†‰|pi}t‡fd†|jƒDƒƒ}tjˆ|ƒˆ|ƒ|dtdt|}x)|D]!}td„|jƒDƒƒVqtWdS(s^ Structural unification of two expressions/patterns Examples ======== >>> from sympy.unify.usympy import unify >>> from sympy import Basic, cos >>> from sympy.abc import x, y, z, p, q >>> next(unify(Basic(1, 2), Basic(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 s t|ˆƒS(N(R)(R(R*(s1lib/python2.7/site-packages/sympy/unify/usympy.pytutc3 s-|]#\}}ˆ|ƒˆ|ƒfVqdS(N((Rtktv(tdecons(s1lib/python2.7/site-packages/sympy/unify/usympy.pys wsRR cs s-|]#\}}t|ƒt|ƒfVqdS(N(R(RR9R:((s1lib/python2.7/site-packages/sympy/unify/usympy.pys ~sN(tdicttitemsRtunifyRR (RtyR.R*tkwargstdstd((R;R*s1lib/python2.7/site-packages/sympy/unify/usympy.pyR>Ks* "  N((('t__doc__t __future__RRt sympy.coreRRRRtsympy.core.operationsRRtsympy.matricesRR R tsympy.sets.setsR R R tsympy.unify.coreRRRt sympy.unifyRR4R2tillegalRRRR R(R)RR6tNoneR>(((s1lib/python2.7/site-packages/sympy/unify/usympy.pyts&"