ó ¡¼™\c@ sŸdZddlmZmZddlmZd„Zd„Zd„Zd„Z d„Z dd „Z d „Z d „Zd „Zd „Zd„Zd„ZdS(s& Generic SymPy-Independent Strategies iÿÿÿÿ(tprint_functiontdivision(tget_function_namecC s|S(N((tx((s4lib/python2.7/site-packages/sympy/strategies/core.pyttc s‡fd†}|S(s0 Apply a rule repeatedly until it has no effect c s=ˆ|ƒ|}}x#||kr8ˆ|ƒ|}}qW|S(N((texprtnewtold(trule(s4lib/python2.7/site-packages/sympy/strategies/core.pyt exhaustive_rl s((R R ((R s4lib/python2.7/site-packages/sympy/strategies/core.pytexhaustsc si‰‡‡fd†}|S(s Memoized version of a rule c s2|ˆkrˆ|Sˆ|ƒ}|ˆ|<|SdS(N((Rtresult(tcacheR (s4lib/python2.7/site-packages/sympy/strategies/core.pyt memoized_rls    ((R R((R R s4lib/python2.7/site-packages/sympy/strategies/core.pytmemoizesc s‡‡fd†}|S(s& Only apply rule if condition is true c sˆ|ƒrˆ|ƒS|SdS(N((R(tcondR (s4lib/python2.7/site-packages/sympy/strategies/core.pytconditioned_rls  ((RR R((RR s4lib/python2.7/site-packages/sympy/strategies/core.pyt conditionsc s‡fd†}|S(sQ Compose a sequence of rules so that they apply to the expr sequentially c s!xˆD]}||ƒ}qW|S(N((RR (trules(s4lib/python2.7/site-packages/sympy/strategies/core.pytchain_rl*s ((RR((Rs4lib/python2.7/site-packages/sympy/strategies/core.pytchain&sc s;ˆdkr%ddlm}|‰n‡‡fd†}|S(s? Print out before and after expressions each time rule is used iÿÿÿÿ(tstdoutc sZ|d}ˆ||Ž}||krVˆjdtˆƒƒˆjd||fƒn|S(Nis Rule: %s sIn: %s Out: %s (twriteR(targstkwargsRR (tfileR (s4lib/python2.7/site-packages/sympy/strategies/core.pytdebug_rl5s   N(tNonetsysR(R RRR((RR s4lib/python2.7/site-packages/sympy/strategies/core.pytdebug0s   c s‡fd†}|S(s+ Return original expr if rule returns None c s$ˆ|ƒ}|dkr|S|SdS(N(R(RR (R (s4lib/python2.7/site-packages/sympy/strategies/core.pyt null_safe_rl@s  ((R R((R s4lib/python2.7/site-packages/sympy/strategies/core.pyt null_safe>sc s‡fd†}|S(s/ Return original expr if rule raises exception c s'yˆ|ƒSWntk r"|SXdS(N(t Exception(R(R (s4lib/python2.7/site-packages/sympy/strategies/core.pyttry_rlJs ((R R"((R s4lib/python2.7/site-packages/sympy/strategies/core.pyttryitHsc s‡fd†}|S(s3 Try each of the rules until one works. Then stop. c s1x*ˆD]"}||ƒ}||kr|SqW|S(N((RtrlR (R(s4lib/python2.7/site-packages/sympy/strategies/core.pyt do_one_rlSs    ((RR%((Rs4lib/python2.7/site-packages/sympy/strategies/core.pytdo_oneQsc s‡‡fd†}|S(sA Select a rule based on the result of key called on the function c s"ˆjˆ|ƒtƒ}||ƒS(N(tgettidentity(RR$(tkeytruledict(s4lib/python2.7/site-packages/sympy/strategies/core.pyt switch_rl]s((R)R*R+((R)R*s4lib/python2.7/site-packages/sympy/strategies/core.pytswitch[scC s|S(N((R((s4lib/python2.7/site-packages/sympy/strategies/core.pyRbRc s(|jdtƒ‰‡‡fd†}|S(s- Select result of rules that minimizes objective >>> from sympy.strategies import minimize >>> inc = lambda x: x + 1 >>> dec = lambda x: x - 1 >>> rl = minimize(inc, dec) >>> rl(4) 3 >>> rl = minimize(inc, dec, objective=lambda x: -x) # maximize >>> rl(4) 5 t objectivec s)tgˆD]}||ƒ^q dˆƒS(NR)(tmin(RR (R-R(s4lib/python2.7/site-packages/sympy/strategies/core.pytminrulets(R'R((RRR/((R-Rs4lib/python2.7/site-packages/sympy/strategies/core.pytminimizedsN(t__doc__t __future__RRtsympy.core.compatibilityRR(R RRRRRR R#R&R,R0(((s4lib/python2.7/site-packages/sympy/strategies/core.pyts