o à8Va%ã@s,dZddlmZmZddlmZgd¢ZdS)zž Unification in SymPy See sympy.unify.core docstring for algorithmic details See http://matthewrocklin.com/blog/work/2012/11/01/Unification/ for discussion é)ÚunifyÚrebuild)Ú rewriterule)rrrN)Ú__doc__ZusympyrrZrewriterÚ__all__©rrú6/usr/lib/python3/dist-packages/sympy/unify/__init__.pyÚs