7^(htdZddlmZddlmZmZddlmZddlm Z edZ edZ ddZ dd Z dd Z dd Zdd ZddZddZddZddZ ddZdZed ddZy )z& Generic SymPy-Independent Strategies ) annotations)CallableMapping)TypeVarstdout_S_Tc|SNxs S/var/www/skyplay_api_hub/venv/lib/python3.12/site-packages/sympy/strategies/core.pyidentityr  Hcdfd }|S)z0 Apply a rule repeatedly until it has no effect cF||}}||k7r||}}||k7r|Sr r )exprnewoldrules r exhaustive_rlzexhaust..exhaustive_rls2:tSSjCy#CSj rrr returnr r )rrs` rexhaustrs rcidfd }|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. c4|vr|S|}||<|Sr r )rresultcachers r memoized_rlzmemoize..memoized_rl%s+ 5=; $ZF E$KMrrr rr r )rr"r!s` @rmemoizer$sE rcdfd }|S)z& Only apply rule if condition is true c(|r|S|Sr r )rcondrs rconditioned_rlz!condition..conditioned_rl3s ::  rrr )r'rr(s`` r conditionr)/s rcdfd }|S)zQ Compose a sequence of rules so that they apply to the expr sequentially c&D] }||} |Sr r )rrruless rchain_rlzchain..chain_rl>s  D:D  rrr )r,r-s` rchainr.:s OrNc&tfd}|S)z? Print out before and after expressions each time rule is used c|d}|i|}||k7r6jdjzjd|d|d|S)Nrz Rule: %s zIn: z Out: z )write__name__)argskwargsrr filers rdebug_rlzdebug..debug_rlJsMAwt&v& T> JJ|dmm3 4 JJ4@ A rr)rr5r6s`` rdebugr7Es | Orcdfd }|S)z+ Return original expr if rule returns None c |}||S|Sr r )rr rs r null_safe_rlznull_safe..null_safe_rlVsd >K rrr )rr:s` r null_safer;Ts rcdfd }|S)z/ Return original expr if rule raises exception c0 |S#$r|cYSwxYwr r )r exceptionrs rtry_rlztryit..try_rl`s& :  K s  rr )rr>r?s`` rtryitr@^s Mrcdfd }|S)z3 Try each of the rules until one works. Then stop. c8D]}||}||k7s|cS|Sr r )rrlr r,s r do_one_rlzdo_one..do_one_rljs. BXF~   rrr )r,rDs` rdo_onerEhs rcdfd }|S)zA Select a rule based on the result of key called on the function cLj|t}||Sr )getr)rrCkeyruledicts r switch_rlzswitch..switch_rlxs \\#d)X .$xr)rr rr r )rIrJrKs`` rswitchrLss  rc|Sr r rs r _identityrNrr) objectivecdfd }|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 cPtDcgc] }|| c}Scc}w)N)rI)min)rrrOr,s rminrulezminimize..minrules"514DJ1yAA1s#r#r )rOr,rSs`` rminimizerTs"B Nr)rr rr )rCallable[[_T], _T]rrU)rCallable[[_S], _T]rrV)r'zCallable[[_T], bool]rrUrrU)r,rUrrUr )rzCallable[[_T], _T | None]rrU)rIrVrJzMapping[_T, Callable[[_S], _S]]rzCallable[[_S], _S])r,rVrrV)__doc__ __future__rcollections.abcrrtypingrsysrr r rrr$r)r.r7r;r@rErLrNrTr rrr\s,"- T] T] * &8  -  r