ri%,SrSSKJrJr SSKJr /SQrg)zUnification in SymPy See sympy.unify.core docstring for algorithmic details See http://matthewrocklin.com/blog/work/2012/11/01/Unification/ for discussion )unifyrebuild) rewriterule)rrrN)__doc__usympyrrrewriter__all__Z/home/kim/smarthome/piper_models/venv/lib/python3.13/site-packages/sympy/unify/__init__.pyr s#  r