a ам>> 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] Tc3sptИ|iИdНD]ZЙИr0ИЗfddДИDГОs0qИrFtИаИб|ГsFqtИГИГ}t|tГrdt|Г}|VqdS)N)┌ variablescsg|]}Иа||бСqSr)┌get)┌.0┌varй┌matchr·c/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/unify/rewrite.py┌ /єz3rewriterule..rewrite_rl..)rrZxreplacer┌ isinstancerr)┌exprZassumptionsZexpr2й┌assume┌ condition┌source┌targetrrr┌ rewrite_rl,s zrewriterule..rewrite_rl)Tr)rrrrrrrrr┌rewriterules$r)rNN)┌__doc__Zsympy.core.exprrZsympy.assumptionsrZsympy.strategies.toolsrZsympy.unify.usympyrrrrrrr┌s