+ jHRt^RIHt^RIHt^RIHt^RIHtH t RRlt R#)z4Functions to support rewriting of SymPy expressions )Expr)ask)subs)rebuildunifyNc(aaaaaRVVVVV3RllpV#)a{Rewrite rule. Transform expressions that match source into expressions that match target treating all ``variables`` as wilds. Examples ======== >>> from sympy.abc import w, x, y, z >>> from sympy.unify.rewrite import rewriterule >>> from sympy import default_sort_key >>> rl = rewriterule(x + y, x**y, [x, y]) >>> sorted(rl(z + 3), key=default_sort_key) [3**z, z**3] Use ``condition`` to specify additional requirements. Inputs are taken in the same order as is found in variables. >>> rl = rewriterule(x + y, x**y, [x, y], lambda x, y: x.is_integer) >>> list(rl(z + 3)) [3**z] Use ``assume`` to specify additional requirements using new assumptions. >>> from sympy.assumptions import Q >>> rl = rewriterule(x + y, x**y, [x, y], assume=Q.integer(x)) >>> list(rl(z + 3)) [3**z] Assumptions for the local context are provided at rule runtime >>> list(rl(w + z, Q.integer(z))) [z**w] c 3p<"\SV/S R7FpS'd-S!S Uu.uFq2PW34NK up!'gK7S'd$\SPV4V4'gKb\ V4!S4p\ V\ 4'd \V4pVxK R#uupi5i)) variablesN)rgetrxreplacer isinstancerr) expr assumptionsmatchvarexpr2assume conditionsourcetargetr s && T/home/luca/screen-checking/.venv/lib/python3.14/site-packages/sympy/unify/rewrite.py rewrite_rlrewriterule..rewrite_rl,s64yAEyIy # 3yIJJs6??5#9;GGK'E%&&KBIs!B6B1 B6 B6A$B6)T)rrr rrrsfffff r rewriterulersH   )rNN) __doc__sympy.core.exprrsympy.assumptionsrsympy.strategies.toolsrsympy.unify.usympyrrrrrrr!s; !'-/r