+ j%.Rt^RIHtHt^RIHt.ROtR#)zUnification in SymPy See sympy.unify.core docstring for algorithmic details See http://matthewrocklin.com/blog/work/2012/11/01/Unification/ for discussion )unifyrebuild) rewriteruleN)rrr)__doc__usympyrrrewriter__all__U/home/luca/screen-checking/.venv/lib/python3.14/site-packages/sympy/unify/__init__.pyr s#  r