sg LdZdZdZdZd dZdZdZdZd Zd Z d Z d Z y)z& Generic SymPy-Independent Strategies c#K|ywN)xs O/var/www/html/venv/lib/python3.12/site-packages/sympy/strategies/branch/core.pyidentityrs GscfdS)z: Apply a branching rule repeatedly until it has no effect c3K|h}|D](}||vs|j||Ed{*||hk(r|yy7wr)add)exprseennexprbrule exhaust_brls rrzexhaust..exhaust_brl s\v4[ .ED &u--- . D6>J .sAAAAr)rrs`@rexhaustrs cfd}|S)Nc3NK|D]}||k7r |||ywrr)r resultrfns r onaction_brlzonaction..onaction_brls2Dk F~5$'L s"%r)rrrs`` ronactionrs rNc:sddlm}|fd}t||S)zA Print the input and output expressions at each rule application )stdoutcrjd|jzjd|d|dy)Nz Rule: %s zIn: z Out: z )write__name__)brlr rfiles rrzdebug..write$s) <#,,./ D&9:r)sysrr)rrrrs ` rdebugr!s" ; E5 !!rcfd}|S)z) Multiplex many branching rules into one c3~Kt}D])}||D]}||vs|j||+ywr)setr )r r rr bruless r multiplex_brlz multiplex..multiplex_brl-sHu CT $HHUOK  s==r)r%r&s` r multiplexr'+s  rcfd}|S)z0 Only apply branching rule if condition is true c3DK|r|Ed{yy7wrr)r rconds rconditioned_brlz"condition..conditioned_brl9s# :T{ " "  #s   r)r*rr+s`` r conditionr,7s rcfd}|S)z6 Yield only those results which satisfy the predicate c3FKt|Ed{y7wr)filter)r rpreds r filtered_brlzsfilter..filtered_brlCs$d ,,,s !!r)r0rr1s`` rsfilterr2As- rcfd}|S)Nc3FKd}|D]}d}| |s|yywNFTr)r yieldedr rs r notempty_brlznotempty..notempty_brlIs84[ EGK Js!r)rr7s` rnotemptyr8Hs rcfd}|S)z$ Execute one of the branching rules c3NKd}D]}||D]}d}| |syywr5r)r r6rr r%s r do_one_brlzdo_one..do_one_brlUs@ CT     s%%r)r%r;s` rdo_oner<Ss rcfd}|S)zR Compose a sequence of brules so that they apply to the expr sequentially c3zKs|yddd}}||D]}t||Ed{y7w)Nr)chain)r headtailr r%s r chain_brlzchain..chain_brldsOJ AYqr d$Z +E#ud|E* * * + *s .;9;r)r%rCs` rr@r@`s+ rcfd}|S)z# Turn a rule into a branching rule c3"K|ywrr)r rls rrzyieldify..brlrshs r)rFrs` ryieldifyrGps  Jrr) __doc__rrrr!r'r,r2r8r<r@rGrrrrIs?,   "    r