a
    lh                     @   s   d dl mZ d dlmZmZmZmZmZmZm	Z	m
Z
 d dlmZ 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d Zdd Zdd Zdd Zdd ZdS )    )S)rm_idglomflattenunpacksort
distributesubsrebuild)Basic)Add)Mul)symbolsxc                  C   s   t dd } | ttdtdttdks2J | ttdtdttdksXJ | ttdtdttdtdksJ d S )Nc                 S   s   | dkS Nr    r   r   r   L/var/www/auris/lib/python3.9/site-packages/sympy/strategies/tests/test_rl.py<lambda>       ztest_rm_id.<locals>.<lambda>r         )r   r   r   )Zrmzerosr   r   r   
test_rm_id   s    &&r   c               	   C   sl   dd } dd }dd }t | ||}|ttt dt ddd	d
}tdt d}t|jt|jkshJ d S )Nc                 S   s   |   d S )Nr   Zas_coeff_Mulr   r   r   r   key   s    ztest_glom.<locals>.keyc                 S   s   |   d S r   r   r   r   r   r   count   s    ztest_glom.<locals>.countc                 S   s   | | S )Nr   )Zcntargr   r   r   newargs   s    ztest_glom.<locals>.newargs   r   Fevaluate   )r   r   r   setargs)r   r   r   rlresultexpectedr   r   r   	test_glom   s    r'   c                   C   sL   t ttdtdttdtdttdtdtdtdksHJ d S )Nr   r   r      )r   r   r   r   r   r   r   test_flatten#   s    $r)   c                   C   sH   t ttddksJ t ttdtdttdtdksDJ d S )Nr   r   )r   r   r   r   r   r   r   test_unpack(   s    r*   c                   C   s@   t tttdtdtdttdtdtdks<J d S )Nr   r   r   )r   strr   r   r   r   r   r   	test_sort-   s    r,   c               	   C   s   G dd dt } G dd dt }t| |}|| tdtd|tdtdtd	|| tdtdtdtd	| tdtdtdtd	ksJ || tdtdtd| tdtdtdksJ d S )
Nc                   @   s   e Zd ZdS )ztest_distribute.<locals>.T1N__name__
__module____qualname__r   r   r   r   T12   s   r1   c                   @   s   e Zd ZdS )ztest_distribute.<locals>.T2Nr-   r   r   r   r   T25   s   r2   r   r   r   r(   r!   )r   r   r   )r1   r2   Zdistribute_t12r   r   r   test_distribute1   s    
*<r3   c                  C   sT   t d\} }tdt| |dd}ttd| td|}ttt}|||ksPJ d S )Nzx, yr   Fr   )r   r   r   r   )r   yexprr&   Zdistribute_mulr   r   r   test_distribute_add_mul>   s
    
r6   c                  C   s.   t dd} | ddksJ | ddks*J d S Nr   r   r   )r	   )r$   r   r   r   	test_subsF   s    
r8   c                  C   s*   t ttdtd} t| dks&J d S r7   )r   __new__r   r   r
   )r5   r   r   r   test_rebuildL   s    r:   N)Zsympy.core.singletonr   Zsympy.strategies.rlr   r   r   r   r   r   r	   r
   Zsympy.core.basicr   Zsympy.core.addr   Zsympy.core.mulr   Zsympy.core.symbolr   Z	sympy.abcr   r   r'   r)   r*   r,   r3   r6   r8   r:   r   r   r   r   <module>   s   (