o
    hk                     @   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sBJ d S )Nr   )symbolsza,b,c,d,e,f)sympy.core.symbolr   r   r   )
r   abcdefmappingexprresult r   W/var/www/html/ai/venv/lib/python3.10/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sJ d S )N      )r   r   r   r   r   r   r   test_subs_empty   s   4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s7J ||tdtd	|tdksJJ 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      | t 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   r    rmzerosrmonesremove_somethingr   r   r   
test_typed   s   &*r)   N)sympy.strategies.toolsr   r   sympy.strategies.rlr   sympy.core.basicr   sympy.core.singletonr   r   r   r)   r   r   r   r   <module>   s    	