U
    	ว-e*  ใ                   @   sp   d dl mZ d dlmZ d dlmZ d dlmZmZ d dl	m
Z
mZ dd Zdd	 Zd
d Zdd Zdd ZdS )้    )ฺBasic)ฺInteger)ฺS)ฺtop_downฺsall)ฺdo_oneฺidentityc                 c   s   t | tr| d V  d S )N้   )ฺ
isinstancer   ฉฺxฉ r   ๚l/var/www/html/Darija-Ai-Train/env/lib/python3.8/site-packages/sympy/strategies/branch/tests/test_traverse.pyฺinc   s    
r   c                  C   sF   t tdtd} t tdtd}tt}t|| |hksBtd S )Nr	   ้   ้   ฉr   r   r   r   ฺsetฺAssertionErrorฉฺexprฺexpectedฺbrlr   r   r   ฺtest_top_down_easy   s    r   c                  C   s   t tdt tdt tdt tdtd} t tdt tdt tdt tdtd}tt}t|| |hks~td S )Nr	   r   r   ้   ้   ้   r   r   r   r   r   ฺtest_top_down_big_tree   s    00r   c                  C   s|   dd } t t tdtdtd}t t tdtdtdt t tdtdtdh}t| }t|||ksxtd S )Nc                 s   s    | dkr| d V  | d V  d S )Nr   r	   r   r   r   r   r   ฺsplit5   s    
z-test_top_down_harder_function.<locals>.split5r   r   r	   r   )r   r   r   r   r   )r   r   r   r   r   r   r   ฺtest_top_down_harder_function   s
    8r   c                  C   sฎ   t tdtd} t tdtd}tt}t|| |gksBtt tdtdt tdtd} t tdtdt tdtd}tttt}t|| |gksชtd S )Nr	   r   r   r   )r   r   r   r   ฺlistr   r   r   r   r   r   r   ฺ	test_sall*   s    ""r!   N)Zsympy.core.basicr   Zsympy.core.numbersr   Zsympy.core.singletonr   Z sympy.strategies.branch.traverser   r   Zsympy.strategies.branch.corer   r   r   r   r   r   r!   r   r   r   r   ฺ<module>   s   