U Þ@·fÇ ã@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ú@/tmp/pip-unpacked-wheel-6uje5nh9/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