>j; NdZdZdZdZd dZdZdZdZd Zd Z d Z d Z dS)z& Generic SymPy-Independent Strategies c#K|VdSN)xs JC:\Projects\DSCons\.venv\Lib\site-packages\sympy\strategies\branch\core.pyidentityrs GGGGGcfdS)z: Apply a branching rule repeatedly until it has no effect c3K|h}|D],}||vr&|||Ed{V-||hkr|VdSdSr)add)exprseennexprbrule exhaust_brls rrzexhaust..exhaust_brl svU4[[ . .ED  &;u--------- D6>>JJJJJ >rr)rrs`@rexhaustrs* rcfd}|S)Nc3VK|D]}||kr |||VdSrr)r resultrfns r onaction_brlzonaction..onaction_brlsPeDkk  F~~5$'''LLLL  rr)rrrs`` ronactionrs* rNcBsddlm}|fd}t||S)zA Print the input and output expressions at each rule application )stdoutczd|jzd|d|ddS)Nz Rule: %s zIn: z Out: z )write__name__)brlr rfiles rrzdebug..write$sC <#,./// DDD&&&9:::::r)sysrr)rrrrs ` rdebugr!sM ;;;;; E5 ! !!rcfd}|S)z) Multiplex many branching rules into one c3Kt}D]-}||D]}||vr|||V .dSr)setr )r r rrbruless r multiplex_brlz multiplex..multiplex_brl-siuu  CT  $$HHUOOOKKK   rr)r%r&s` r multiplexr'+s$      rcfd}|S)z0 Only apply branching rule if condition is true c3HK|r|Ed{VdSdSrr)r rconds rconditioned_brlz"condition..conditioned_brl9sB 4:: uT{{ " " " " " " " " " Drr)r*rr+s`` r conditionr,7s* rcfd}|S)z6 Yield only those results which satisfy the predicate c3JKt|Ed{VdSr)filter)r rpreds r filtered_brlzsfilter..filtered_brlCs7$d ,,,,,,,,,,,rr)r0rr1s`` rsfilterr2As(------ rcfd}|S)Nc3HKd}|D]}d}|V |s|VdSdSNFTr)r yieldedrrs r notempty_brlznotempty..notempty_brlIsRU4[[  EGKKKK JJJJJ  rr)rr7s` rnotemptyr8Hs$ rcfd}|S)z$ Execute one of the branching rules c3LKd}D]}||D]}d}|V |rdSdSr5r)r r6rrr%s r do_one_brlzdo_one..do_one_brlUs`  CT        rr)r%r;s` rdo_oner<Ss$ rcfd}|S)zR Compose a sequence of brules so that they apply to the expr sequentially c3Ks|VdSddd}}||D]}t||Ed{VdS)Nr)chain)r headtailrr%s r chain_brlzchain..chain_brlds| JJJ FAYqrr dT$ZZ + +E#ud|E** * * * * * * * * + +rr)r%rCs` rr@r@`s$+++++ rcfd}|S)z# Turn a rule into a branching rule c3&K|VdSrr)r rls rrzyieldify..brlrsbhhrr)rFrs` ryieldifyrGps! Jrr) __doc__rrrr!r'r,r2r8r<r@rGrrrrIs,,       " " " "          r