sg*fddlmZddlmZddlmZddlmZmZddl m Z m Z dZ dZ dZd Zd Zy ) )Basic)Integer)S)top_downsall)do_oneidentityc#<Kt|tr|dzyyw)N) isinstancerxs ^/var/www/html/venv/lib/python3.12/site-packages/sympy/strategies/branch/tests/test_traverse.pyincrs!W!e scttdtd}ttdtd}tt}t |||hk(sJy)Nr rrrrsetexprexpectedbrls rtest_top_down_easyr sK 1qt DQqT1Q4 H 3-C s4y>hZ '' 'c ttdttdttdttdtd}ttdttdttdttdtd}tt}t |||hk(sJy)Nr rrrrs rtest_top_down_big_treer s 1uQqT{E!A$ad QqT$B CDQqT51;adE!A$K1(FGH 3-C s4y>hZ '' 'rc rd}tttdtdtd}tttdtdtdtttdtdtdh}t|}t|||k(sJy)Nc34K|dk(r|dz |dzyyw)Nrr r s rsplit5z-test_top_down_harder_function..split5s$ 6a%Ka%K srrr r)rrrr)r$rrrs rtest_top_down_harder_functionr%s qtQqT"AaD )DeAaD!A$'1.eAaD!A$6G10NOH 6 C s4y>X %% %rc ttdtd}ttdtd}tt}t |||gk(sJttdtdttdtd}ttdtdttdtd}tt tt }t |||gk(sJy)Nr rrr)rrrrlistrr rs r test_sallr(*s 1qt DQqT1Q4 H s)C D ?xj (( ( 1qtU1Q41. /DQqT1Q4qtQqT!23H vc8$ %C D ?xj (( (rN)sympy.core.basicrsympy.core.numbersrsympy.core.singletonr sympy.strategies.branch.traverserrsympy.strategies.branch.corerr rrr r%r(r#rrr.s-"&";9 (( & )r