B ™‘[!ã@sXddlmZmZddlmZddlmZmZmZddl m Z dd„Z dd „Z d d „Z d S) é)Úprint_functionÚdivisioné)Úrl)Údo_oneÚexhaustÚswitch)Útop_downcKs4|r(ttttjft| ¡ŽžŽŽf|ŽSdd„SdS)aR Full simultaneous exact substitution Examples ======== >>> from sympy.strategies.tools import subs >>> from sympy import Basic >>> mapping = {1: 4, 4: 1, Basic(5): Basic(6, 7)} >>> expr = Basic(1, Basic(2, 3), Basic(4, Basic(5))) >>> subs(mapping)(expr) Basic(4, Basic(2, 3), Basic(1, Basic(6, 7))) cSs|S)N©)Úxr r ú5lib/python3.7/site-packages/sympy/strategies/tools.pyÚszsubs..N)r rÚmaprÚsubsÚzipÚitems)ÚdÚkwargsr r r rs $rcOstttt|Žƒf|ŽƒS)z¨ Strategy for canonicalization Apply each rule in a bottom_up fashion through the tree. Do each one in turn. Keep doing this until there is no change. )rr r)Zrulesrr r r ÚcanonsrcCs tt|ƒS)aQ Apply rules based on the expression type inputs: ruletypes -- a dict mapping {Type: rule} >>> from sympy.strategies import rm_id, typed >>> from sympy import Add, Mul >>> rm_zeros = rm_id(lambda x: x==0) >>> rm_ones = rm_id(lambda x: x==1) >>> remove_idents = typed({Add: rm_zeros, Mul: rm_ones}) )rÚtype)Z ruletypesr r r Útyped"s rN)Z __future__rrÚrZcorerrrZtraverser rrrr r r r Ús