U
    	Ç-e®  ã                   @   sT   d dl mZ d dlmZ d dlmZ d dlmZ dd„ Zdd„ Z	d	d
„ Z
dd„ ZdS )é    )Úcanon)ÚBasic)ÚInteger)ÚSc                 c   s(   t | tƒr| dkr| d V  n| V  d S )Nr   é   ©Ú
isinstancer   ©Úx© r   úi/var/www/html/Darija-Ai-Train/env/lib/python3.8/site-packages/sympy/strategies/branch/tests/test_tools.pyÚposdec   s    r   c                 c   sz   t | tƒrvd|   k rdk r.n n| d V  nHd|   k rBdk rRn n| d V  n$| dkrp| d V  | d V  n| V  d S )Nr   é   r   é
   r   r	   r   r   r   Úbranch5   s    

r   c                  C   sf   t tdƒt tdƒtdƒƒtdƒƒ} t tdƒt tdƒtdƒƒtdƒƒh}ttƒ}t|| ƒƒ|ksbt‚d S )Né   r   é   é   r   )r   r   r   r   ÚsetÚAssertionError©ÚexprÚexpectedZbrlr   r   r   Útest_zero_ints   s    "$r   c                  C   s†   t tdƒt tdƒtdƒƒtdƒƒ} t tdƒt tdƒtdƒƒtdƒƒt tdƒt tdƒtdƒƒtdƒƒh}ttƒ}t|| ƒƒ|ks‚t‚d S )Nr   r   r   r   r   r   )r   r   r   r   r   r   r   r   r   r   Útest_split5#   s    "  þr   N)Zsympy.strategies.branch.toolsr   Zsympy.core.basicr   Zsympy.core.numbersr   Zsympy.core.singletonr   r   r   r   r   r   r   r   r   Ú<module>   s   