U L?hว ใ@sbdZdd„Zdd„Zdd„Zddd „Zd d „Zd d „Zdd„Zdd„Zdd„Z dd„Z dd„Z dS)z& Generic SymPy-Independent Strategies ccs |VdSฉNฉ)ฺxrr๚N/var/www/html/venv/lib/python3.8/site-packages/sympy/strategies/branch/core.pyฺidentitysrcs‡‡fdd„‰ˆS)z: Apply a branching rule repeatedly until it has no effect c3sH|h}ˆ|ƒD]$}||kr| |กˆ|ƒEdHq||hkrD|VdSr)ฺadd)ฺexprฺseenฺnexprฉฺbruleฺ exhaust_brlrrr s   zexhaust..exhaust_brlrฉr rr rฺexhaustsrcs‡‡fdd„}|S)Nc3s,ˆ|ƒD]}||kr ˆˆ||ƒ|VqdSrr)rฺresultฉr ฺfnrrฺ onaction_brls  zonaction..onaction_brlr)r rrrrrฺonactionsrNcs*ˆsddlm}|‰‡fdd„}t||ƒS)zA Print the input and output expressions at each rule application ้)ฺstdoutcs&ˆ d|jกˆ d||fกdS)Nz Rule: %s zIn: %s Out: %s )ฺwriteฺ__name__)ฺbrlrrฉฺfilerrr$szdebug..write)ฺsysrr)r rrrrrrฺdebugs   rcs‡fdd„}|S)z) Multiplex many branching rules into one c3s:tƒ}ˆD]*}||ƒD]}||kr| |ก|Vqq dSr)ฺsetr)rrrr ฉฺbrulesrrฺ multiplex_brl-s   z multiplex..multiplex_brlr)rr rrrฺ multiplex+s r!cs‡‡fdd„}|S)z0 Only apply branching rule if condition is true c3sˆ|ƒrˆ|ƒEdHndSrrฉrฉr ฺcondrrฺconditioned_brl9sz"condition..conditioned_brlr)r$r r%rr#rฺ condition7sr&cs‡‡fdd„}|S)z6 Yield only those results which satisfy the predicate c3stˆˆ|ƒƒEdHdSr)ฺfilterr"ฉr ฺpredrrฺ filtered_brlCszsfilter..filtered_brlr)r)r r*rr(rฺsfilterAsr+cs‡fdd„}|S)Nc3s*d}ˆ|ƒD]}d}|Vq |s&|VdSฉNFTr)rฺyieldedr r rrฺ notempty_brlIs  znotempty..notempty_brlr)r r.rr rฺnotemptyHs r/cs‡fdd„}|S)z$ Execute one of the branching rules c3s4d}ˆD]&}||ƒD]}d}|Vq|rdSqdSr,r)rr-rr rrrฺ do_one_brlUs zdo_one..do_one_brlr)rr0rrrฺdo_oneSs r1cs‡fdd„}|S)zR Compose a sequence of brules so that they apply to the expr sequentially c3sHˆs|VdSˆdˆdd…}}||ƒD]}t|Ž|ƒEdHq,dS)Nr้)ฺchain)rฺheadฺtailr rrrฺ chain_brlds  zchain..chain_brlr)rr6rrrr3`s r3cs‡fdd„}|S)z# Turn a rule into a branching rule c3sˆ|ƒVdSrrr"ฉฺrlrrrrszyieldify..brlr)r8rrr7rฺyieldifyps r9)N) ฺ__doc__rrrrr!r&r+r/r1r3r9rrrrฺs