ó ¡¼™\c@s0dZddlmZmZddlmZdS(sž Unification in SymPy See sympy.unify.core docstring for algorithmic details See http://matthewrocklin.com/blog/work/2012/11/01/Unification/ for discussion i(tunifytrebuild(t rewriteruleN(t__doc__tusympyRRtrewriteR(((s3lib/python2.7/site-packages/sympy/unify/__init__.pyts