o
    oh                     @   s   d dl mZmZmZmZ d dlmZ d\ZZZ	e
ed\ZZZZeZdd Zdd Zi f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d Zdd ZdS )     )CompoundVariableCondVariableallcombinations)core)abcwxyzc                 C      t | to	| jdv S )N)AddMulCAddCMul
isinstancer   opx r   p/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/sympy/unify/tests/test_unify.pyis_associative	      r   c                 C   r   )N)r   r   r   r   r   r   r   is_commutative   r   r   c                 C   s   t j| ||ttdS )N)sr   r   )r   unifyr   r   )r   r   r   r   r   r   r      s   r   c                   C   s8  t ttti ttigksJ t ttttdig ksJ t tdti tdigks,J t ttti i gks9J t tttfttfi ttttigksNJ t ttttfi tttfigksaJ t tttfttfi g ksqJ t tttfttfi g ksJ t ttttfftttffi ttttigksJ d S )N
      )	listr   r   r   wyzr   r	   r   r   r   r   
test_basic   s   *&  6r"   c                   C   s   t ttdtttftdtttfi ttttigksJ t ttdtddttftdtttfi ttddttigks@J d S )Nr   r   r      )r   r   Cr   r   r	   r   r    r   r   r   r   test_ops   s   &,r&   c                  C   sT   t dd} t dttf}tt| |i tdtt dditt ddtdifks(J d S )Nr   r   r$      r   r$   r(   r#   r(   )r%   r   r    tupler   c1c2r   r   r   test_associative%   s
   
r.   c                  C   sz   t dd} t dttf}tt| |i }tdtt ddi|v s!J tdtt ddi|v s9tdtt ddi|v s;J d S d S )Nr   r'   r   r)   r$   )r   r(   r(   r   )r%   r   r    r   r   )r,   r-   resultr   r   r   test_commutative+   s   
r1   c                   C   s4   t tdttfddttffdttffhksJ d S )Nr'   Tr#   r(   r   r)   setr   r   r   r   r   r   r   _test_combinations_assoc3   s   r8   c                   C   s$   t tdttfd h dksJ d S )Nr'   >   )r$   r/   r   r   )r3   r#   r;   )r)   r5   r;   )r/   r:   r;   r4   r;   r2   r;   r6   r   r   r   r   _test_combinations_comm7   s   rA   c                   C   s    t tdddddhksJ d S )Nr#   commutative)r5   r:   rC   )rC   )r:   r5   )r7   r   r   r   r   r   test_allcombinations=   s   rD   c                  C   sP   t dttf} t dttf}t| rt|sJ ttt| |i dks&J d S )Nr   r$   )	r   r   r   r   r    r   lenr   r   r+   r   r   r   test_commutativityB   s    rF   c                  C   s   t dd} td}tddd }tddd }t d||f}tt| |i |d	|d
igks/J tddd }t d||f}tt| |i g ksIJ d S )Nr   r#   r   r    c                 S   s   | d dkS )Nr$   r   r   r   r   r   r   <lambda>L   s    z#test_CondVariable.<locals>.<lambda>r!   c                 S      | dkS Nr(   r   rG   r   r   r   rH   M       r   r$   c                 S   rI   rJ   r   rG   r   r   r   rH   R   rK   )r%   r   r   r   r   )exprr   r    r!   patternr   r   r   test_CondVariableI   s   
rN   c                   C   s&   t ttddtddiksJ d S )Nr   foo)nextr   r   r   r   r   r   test_defaultdictW   s   &rQ   N)sympy.unify.corer   r   r   r   sympy.unifyr   r   r   r	   mapr   r   r    r!   r%   r   r   r   r"   r&   r.   r1   r8   rA   rD   rF   rN   rQ   r   r   r   r   <module>   s$    
