o
    *ήc                     @   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 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)Basicc                  C   s   t dd } | ttdtdttdksJ | ttdtdttdks,J | ttdtdttdtdksBJ d S )Nc                 S   s   | dkS Nr    xr   r   E/tmp/pip-target-vg8gfxp4/lib/python/sympy/strategies/tests/test_rl.py<lambda>       ztest_rm_id.<locals>.<lambda>r         )r   r   r   )rmzerosr   r   r   
test_rm_id   s   &&0r   c               	   C   s   ddl m}  ddlm} dd }dd }dd }t|||}|| || d| d	dd
d}| d| d}t|jt|jks@J d S )Nr   Addr   c                 S      |   d S )Nr   as_coeff_Mulr   r   r   r   r          ztest_glom.<locals>.<lambda>c                 S   r   r   r   r   r   r   r   r      r   c                 S   s   | | S )Nr   )cntargr   r   r   r      r      r   Fevaluate   )sympy.core.addr   	sympy.abcr   r   setargs)r   r   keycountnewargs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s$J 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s"J d S )Nr   r   )r   r   r   r   r   r   r   test_unpack   s   0r0   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   @r2   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sLJ || tdtdtd| tdtdtdkshJ d S )
Nc                   @      e Zd ZdS )ztest_distribute.<locals>.T1N__name__
__module____qualname__r   r   r   r   T1$   r   r8   c                   @   r3   )ztest_distribute.<locals>.T2Nr4   r   r   r   r   T2%   r   r9   r   r   r   r.   r"   )r   r   r   )r8   r9   distribute_t12r   r   r   test_distribute#   s   
*<<r;   c                  C   sx   ddl m}  ddlm} ddlm} |d\}}|d| ||dd}| |d||d|}t|| }|||ks:J d S )	Nr   r   )Mul)symbolszx, yr   Fr    )r#   r   sympy.core.mulr<   sympy.core.symbolr=   r   )r   r<   r=   r   yexprr,   distribute_mulr   r   r   test_distribute_add_mul,   s   
rC   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_subs6   s   
rD   c                  C   s6   ddl m}  t| tdtd}t|dksJ d S )Nr   r   r   r   r   )r#   r   r   __new__r   r
   )r   rA   r   r   r   test_rebuild;   s   rF   N)sympy.core.singletonr   sympy.strategies.rlr   r   r   r   r   r   r	   r
   sympy.core.basicr   r   r-   r/   r0   r2   r;   rC   rD   rF   r   r   r   r   <module>   s    (	
