*h NSrSrSrSrS SjrSrSrSrS rS r S r S r g)z%Generic SymPy-Independent Strategies c## Uv g7fN)xs Y/home/mande/repo/quber/.venv/lib/python3.13/site-packages/sympy/strategies/branch/core.pyidentityrs Gsc^^UU4SjmT$)z9Apply a branching rule repeatedly until it has no effect c3># U1nT"U5H+nX!;dM URU5 T"U5ShvN M- X1:XaUv ggN7fr)add)exprseennexprbrule exhaust_brls rrexhaust..exhaust_brl sRv4[E &u---! 6>J .sA A A A r)rrs`@rexhaustrs c^^UU4SjnU$)Nc3P># T"U5HnX:wa T"TX5 Uv M g7frr)r resultrfns r onaction_brlonaction..onaction_brls(DkF~5$'L"s#&r)rrrs`` ronactionrs rNcD^T(dSSKJn UmU4Sjn[X5$)z@Print the input and output expressions at each rule application )stdoutcv>TRSUR-5 TRSU<SU<S35 g)Nz Rule: %s zIn: z Out: z )write__name__)brlr rfiles rrdebug..write$s) <#,,./ D&9:r)sysrr)rr!rrs ` rdebugr$s ; E !!rc^U4SjnU$)z(Multiplex many branching rules into one c3># [5nTH.nU"U5HnX1;dM URU5 Uv M! M0 g7fr)setr )r r r r bruless r multiplex_brl multiplex..multiplex_brl-s;uCT$HHUOK#s AAr)r(r)s` r multiplexr++s  rc^^UU4SjnU$)z/Only apply branching rule if condition is true c3N># T"U5(aT"U5ShvN ggN7frr)r rconds rconditioned_brl"condition..conditioned_brl9s$ ::T{ " "  #s %#%r)r.rr/s`` r conditionr17s rc^^UU4SjnU$)z5Yield only those results which satisfy the predicate c3F># [TT"U55ShvN gN7fr)filter)r rpreds r filtered_brlsfilter..filtered_brlCs$d ,,,s !!r)r5rr6s`` rsfilterr8As- rc^U4SjnU$)Nc3T># SnT"U5H nSnUv M U(dUv gg7fNFTr)r yieldedr rs r notempty_brlnotempty..notempty_brlIs24[EGK!Js%(r)rr=s` rnotemptyr?Hs rc^U4SjnU$)z#Execute one of the branching rules c3`># SnTH!nU"U5H nSnUv M U(dM! g g7fr;r)r r<r r r(s r do_one_brldo_one..do_one_brlUs7CT #w s"..r)r(rBs` rdo_onerDSs rc^U4SjnU$)zJ Compose a sequence of brules so that they apply to the expr sequentially c3># T(dUv gTSTSSp!U"U5Hn[U6"U5ShvN M gN 7f)Nr)chain)r headtailr r(s r chain_brlchain..chain_brldsEJ AYqr d$ZEd|E* * * *s2A? Ar)r(rKs` rrHrH`s+ rc^U4SjnU$)z"Turn a rule into a branching rule c3"># T"U5v g7frr)r rls rr yieldify..brlrshs r)rOr s` ryieldifyrQps  Jrr) __doc__rrrr$r+r1r8r?rDrHrQrrrrSs?,   "    r