U Zʹjt@sdZddlmZddlmZmZddlmZddlm Z edZ edZ dddd d Z d d d d dZ ddd ddZdd d dddZd d dddZd-ddZdd d ddZd d d dd Zd d dd!d"Zdd#d$d%d&d'Zd(d)Zed*dddd+d,ZdS).z& Generic SymPy-Independent Strategies ) annotations)CallableMapping)TypeVarstdout_S_T)xreturncCs|SNr r r T/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/strategies/core.pyidentity srzCallable[[_T], _T])ruler csdddfdd }|S)z0 Apply a rule repeatedly until it has no effect r exprr cs*||}}||kr&||}}q|Sr r )rnewoldrr r exhaustive_rlszexhaust..exhaustive_rlr )rrr rrexhaustsrzCallable[[_S], _T]csidddfdd }|S)zMemoized version of a rule Notes ===== This cache can grow infinitely, so it is not recommended to use this than ``functools.lru_cache`` unless you need very heavy computation. rr rcs(|kr|S|}||<|SdSr r rresultcacherr r memoized_rl%s zmemoize..memoized_rlr )rrr rrmemoizes rzCallable[[_T], bool])condrr csdddfdd }|S)z& Only apply rule if condition is true r rcs|r|S|Sr r rrrr rconditioned_rl3sz!condition..conditioned_rlr )rrr"r r!r condition/sr#)rulesr csdddfdd }|S)zQ Compose a sequence of rules so that they apply to the expr sequentially r rcsD] }||}q|Sr r )rrr$r rchain_rl>s zchain..chain_rlr )r$r&r r%rchain:sr'Ncsdkr tfdd}|S)z? Print out before and after expressions each time rule is used Ncs@|d}||}||kr<djd||f|S)Nrz Rule: %s zIn: %s Out: %s )write__name__)argskwargsrrfilerr rdebug_rlJs  zdebug..debug_rlr)rr-r.r r,rdebugEsr/zCallable[[_T], _T | None]csdddfdd }|S)z+ Return original expr if rule returns None r rcs|}|dkr|S|Sr r rrr r null_safe_rlVsznull_safe..null_safe_rlr )rr0r rr null_safeTsr1csdddfdd }|S)z/ Return original expr if rule raises exception r rcs(z |WSk r"|YSXdSr r r  exceptionrr rtry_rl`s ztryit..try_rlr )rr3r4r r2rtryit^sr5csdddfdd }|S)z3 Try each of the rules until one works. Then stop. r rcs&D]}||}||kr|Sq|Sr r )rrlrr%r r do_one_rljs  zdo_one..do_one_rlr )r$r7r r%rdo_onehsr8zMapping[_T, Callable[[_S], _S]]zCallable[[_S], _S])keyruledictr csdddfdd }|S)zA Select a rule based on the result of key called on the function rrcs|t}||Sr )getr)rr6r9r:r r switch_rlxszswitch..switch_rlr )r9r:r=r r<rswitchssr>cCs|Sr r rr r r _identitysr?) objectivecsdddfdd }|S)a- 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 rr rcstfddDdS)Ncsg|] }|qSr r ).0rr r r sz-minimize..minrule..)r9)minr r@r$r rminruleszminimize..minruler )r@r$rEr rDrminimizesrF)N)__doc__ __future__rcollections.abcrrtypingrsysrrr rrrr#r'r/r1r5r8r>r?rFr r r rs&