U
    ,þjgk  ã                   @   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   úE/tmp/pip-unpacked-wheel-_g13a4uk/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   	