U
    	ว-ek  ใ                   @   sP   d dl mZ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S )้    )ฺsubsฺtyped)ฺrm_id)ฺBasicฉฺSc            
      C   s   ddl m}  | d\}}}}}}||||t|t|i}t|t||t|t|}t|t||t|t|}	t|||	kstd S )Nr   )ฺsymbolsza,b,c,d,e,f)Zsympy.core.symbolr   r   r   ฺAssertionError)
r   ฺaฺbฺcฺdฺeฺfฺmappingฺexprฺresultฉ r   ๚b/var/www/html/Darija-Ai-Train/env/lib/python3.8/site-packages/sympy/strategies/tests/test_tools.pyฺ	test_subs   s    r   c                   C   s4   t i ttdtdttdtdks0td S )N้   ้   )r   r   r   r	   r   r   r   r   ฺtest_subs_empty   s    r   c                  C   s   G dd dt } G dd dt }tdd }tdd }t| |||i}|| tdtd	| td	ksnt||tdtd	|tdkstd S )
Nc                   @   s   e Zd ZdS )ztest_typed.<locals>.ANฉฺ__name__ฺ
__module__ฺ__qualname__r   r   r   r   ฺA   s   r   c                   @   s   e Zd ZdS )ztest_typed.<locals>.BNr   r   r   r   r   ฺB   s   r   c                 S   s   | t dkS )Nr   r   ฉฺxr   r   r   ฺ<lambda>   ๓    ztest_typed.<locals>.<lambda>c                 S   s   | t dkS )Nr   r   r   r   r   r   r!      r"   r   r   )r   r   r   r   r	   )r   r   ZrmzerosZrmonesZremove_somethingr   r   r   ฺ
test_typed   s    &r#   N)Zsympy.strategies.toolsr   r   Zsympy.strategies.rlr   Zsympy.core.basicr   Zsympy.core.singletonr   r   r   r#   r   r   r   r   ฺ<module>   s   	