o
    à8Va  ã                   @   sD   d dl mZ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)ÚBasicc            
      C   sˆ   ddl m}  | dƒ\}}}}}}||||t|ƒt|ƒi}t|t||ƒt|t|ƒƒƒ}t|t||ƒt|t|ƒƒƒ}	t|ƒ|ƒ|	ksBJ ‚d S )Nr   )Úsymbolsza,b,c,d,e,f)Úsympyr   r   r   )
r   ÚaÚbÚcÚdÚeÚfÚmappingÚexprÚresult© r   úC/usr/lib/python3/dist-packages/sympy/strategies/tests/test_tools.pyÚ	test_subs   s   r   c                   C   s$   t i ƒtddƒƒtddƒksJ ‚d S )Né   é   )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ƒ}|| dd	ƒƒ| d	ƒks1J ‚||dd	ƒƒ|dƒks>J ‚d S )
Nc                   @   ó   e Zd ZdS )ztest_typed.<locals>.AN©Ú__name__Ú
__module__Ú__qualname__r   r   r   r   ÚA   ó    r   c                   @   r   )ztest_typed.<locals>.BNr   r   r   r   r   ÚB   r   r   c                 S   ó   | dkS )Nr   r   ©Úxr   r   r   Ú<lambda>   ó    ztest_typed.<locals>.<lambda>c                 S   r   )Nr   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   r   r   r   r   r$   r   r   r   r   Ú<module>   s    