o GZh @sbdZddZddZddZddd Zd d Zd d ZddZddZddZ ddZ ddZ dS)z& Generic SymPy-Independent Strategies ccs |VdSN)xrrK/var/www/auris/lib/python3.10/site-packages/sympy/strategies/branch/core.pyidentitys rcsfddS)z: Apply a branching rule repeatedly until it has no effect c3sN|h}|D]}||vr|||EdHq||hkr%|VdSdSr)add)exprseennexprbrule exhaust_brlrrr s    zexhaust..exhaust_brlrr rr rexhaustsrcfdd}|S)Nc3s.|D]}||kr|||VqdSrr)rresultr fnrr onaction_brls   zonaction..onaction_brlr)r rrrrronactionsrNcs*s ddlm}|fdd}t||S)zA Print the input and output expressions at each rule application )stdoutcs&d|jd||fdS)Nz Rule: %s zIn: %s Out: %s )write__name__)brlrrfilerrr$szdebug..write)sysrr)r rrrrrrdebugs    rcfdd}|S)z) Multiplex many branching rules into one c3s<t}D]}||D]}||vr|||Vq qdSr)setr)rrrr brulesrr multiplex_brl-s  z multiplex..multiplex_brlr)r!r"rr r multiplex+s r#cr)z0 Only apply branching rule if condition is true c3s"|r|EdHdS dSrrrr condrrconditioned_brl9sz"condition..conditioned_brlr)r&r r'rr%r condition7sr(cr)z6 Yield only those results which satisfy the predicate c3st|EdHdSr)filterr$r predrr filtered_brlCszsfilter..filtered_brlr)r+r r,rr*rsfilterAsr-cr)Nc3s0d}|D]}d}|Vq|s|VdSdSNFTr)ryieldedr r rr notempty_brlIs  znotempty..notempty_brlr)r r0rr rnotemptyHs r1cr)z$ Execute one of the branching rules c3s6d}D]}||D]}d}|Vq |rdSqdSr.r)rr/rr r rr do_one_brlUs zdo_one..do_one_brlr)r!r2rr rdo_oneSs r3cr)zR Compose a sequence of brules so that they apply to the expr sequentially c3sJs|VdSddd}}||D] }t||EdHqdS)Nr)chain)rheadtailr r rr chain_brlds zchain..chain_brlr)r!r8rr rr5`s  r5cr)z# Turn a rule into a branching rule c3s|VdSrrr$rlrrrrszyieldify..brlr)r:rrr9ryieldifyps r;r) __doc__rrrrr#r(r-r1r3r5r;rrrrs