
    \h*                     f    S SK Jr  S SKJr  S SKJr  S SKJrJr  S SK	J
r
Jr  S rS rS rS	 rS
 rg)    )Basic)Integer)S)top_downsall)do_oneidentityc              #   F   #    [        U [        5      (       a  U S-   v   g g 7f)N   )
isinstancer   xs    c/var/www/auris/envauris/lib/python3.13/site-packages/sympy/strategies/branch/tests/test_traverse.pyincr      s      !W!e s   !c                      [        [        S5      [        S5      5      n [        [        S5      [        S5      5      n[        [        5      n[	        U" U 5      5      U1:X  d   eg )Nr         r   r   r   r   setexprexpectedbrls      r   test_top_down_easyr      sK    1qtDQqT1Q4 H
3-Cs4y>hZ'''    c                     [        [        S5      [        [        S5      5      [        [        S5      [        [        S5      5      [        S5      5      5      n [        [        S5      [        [        S5      5      [        [        S5      [        [        S5      5      [        S5      5      5      n[        [        5      n[	        U" U 5      5      U1:X  d   eg )Nr   r   r            r   r   s      r   test_top_down_big_treer       s    1uQqT{E!A$adQqT$BCDQqT51;adE!A$K1(FGH
3-Cs4y>hZ'''r   c            	      t   S n [        [        [        S5      [        S5      5      [        S5      5      n[        [        [        S5      [        S5      5      [        S5      5      [        [        [        S5      [        S5      5      [        S5      5      1n[        U 5      n[        U" U5      5      U:X  d   eg )Nc              3   6   #    U S:X  a  U S-
  v   U S-   v   g g 7f)Nr   r    r   s    r   split5-test_top_down_harder_function.<locals>.split5   s#     6a%Ka%K s   r   r   r   r   )r   r   r   r   )r$   r   r   r   s       r   test_top_down_harder_functionr&      s    
 qtQqT"AaD)DeAaD!A$'1.eAaD!A$6G10NOH
6
Cs4y>X%%%r   c            
          [        [        S5      [        S5      5      n [        [        S5      [        S5      5      n[        [        5      n[	        U" U 5      5      U/:X  d   e[        [        S5      [        S5      [        [        S5      [        S5      5      5      n [        [        S5      [        S5      [        [        S5      [        S5      5      5      n[        [        [        [        5      5      n[	        U" U 5      5      U/:X  d   eg )Nr   r   r   r   )r   r   r   r   listr   r	   r   s      r   	test_sallr)   *   s    1qtDQqT1Q4 H
s)CD	?xj(((1qtU1Q41./DQqT1Q4qtQqT!23H
vc8$
%CD	?xj(((r   N)sympy.core.basicr   sympy.core.numbersr   sympy.core.singletonr    sympy.strategies.branch.traverser   r   sympy.strategies.branch.corer   r	   r   r   r    r&   r)   r#   r   r   <module>r/      s-    " & " ; 9
((
&)r   