
    sg                         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 Zd Zi fdZd Zd	 Zd
 Zd Zd Zd Zd Zd Zd Zd Zy)    )CompoundVariableCondVariableallcombinations)core)abcwxyzc                 B    t        | t              xr | j                  dv S )N)AddMulCAddCMul
isinstancer   opxs    O/var/www/html/venv/lib/python3.12/site-packages/sympy/unify/tests/test_unify.pyis_associativer   	   s    a"O0N(NO    c                 B    t        | t              xr | j                  dv S )N)r   r   r   r   s    r   is_commutativer      s    a"A0@(@Ar   c                 F    t        j                  | ||t        t              S )N)sr   r   )r   unifyr   r   )r   r	   r   s      r   r   r      s    ::aa)79 9r   c                     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(  sJ t        t        t        t        ft
        t        fi             t        t
        t        t        igk(  sJ t        t        t        t        t        fi             t        t        t        figk(  sJ t        t        t        t        ft        t        fi             g k(  sJ t        t        t
        t        ft        t        fi             g k7  sJ t        t        t        t        t        fft        t        t
        ffi             t        t        t
        t        igk(  sJ y )N
      )	listr   r   r   wyzr	   r
    r   r   
test_basicr&      sW   aB aVH,,,aQG$%+++aB aVH,,,aB RD(((q!fq!fb)*1a|n<<<a!Q$%1q!f+666q!fq!fb)*b000q!fq!fb)*R///q1a&kA1v;34!Q1FFFr   c                     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 y )Nr   r   r       )r!   r   Cr   r	   r
   r   r#   r%   r   r   test_opsr+      s    a!Aw'51Qq'):B?@1QZL  a%156%!Aa8I2NO5%!A&'( ( (r   c                      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 y )Nr   r    r)      r    r)   r.   r(   r.   )r*   r   r#   tupler   c1c2s     r   test_associativer4   %   sk    	
5'	B	
51Q%Br2r"#Aq!E62B(C*+Quf-=q!)D(F F F Fr   c                     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 st        dt        t        dd      i|v sJ y y )Nr   r-   r    r/   r)   )r    r.   r.   r    )r*   r   r#   r!   r   )r2   r3   results      r   test_commutativer8   +   s    	
67	B	
6Aa5	B%B#$F1a'(F2221a'(F21a'(F24 32 3r   c                      t        t        dt        t        fd            dt        t        ffdt        t        ffhk(  sJ y )Nr-   Tr(   r.   r    r/   setr   r   r	   r%   r   r   _test_combinations_assocr@   3   s@    w1t45
1a&	!NQF#;<= = =r   c                  R    t        t        dt        t        fd             h dk(  sJ y )Nr-   >   )r)   r6   r   r	   )r;   r(   rD   )r/   r=   rD   )r6   rC   rD   r<   rD   r:   rD   r>   r%   r   r   _test_combinations_commrJ   7   s/    w1t45	II I Ir   c                  >    t        t        ddd            ddhk(  sJ y )Nr(   commutative)r=   rC   rM   )rM   )rC   r=   )r?   r   r%   r   r   test_allcombinationsrN   =   s.    ue];<	#%?@A A Ar   c            	          t        dt        t        f      } t        dt        t        f      }t        |       rt        |      sJ t        t        t        | |i                   dk(  sJ y )Nr   r)   )	r   r   r	   r   r#   r   lenr!   r   r1   s     r   test_commutativityrQ   B   sX    	&1a&	!B	&1a&	!B"."444tE"b"%&'1,,,r   c                  .   t        dd      } t        d      }t        dd       }t        dd       }t        d||f      }t        t	        | |i             |d|d	igk(  sJ t        dd
       }t        d||f      }t        t	        | |i             g k(  sJ y )Nr   r(   r   r#   c                     | dz  dk(  S )Nr)   r   r%   r   s    r   <lambda>z#test_CondVariable.<locals>.<lambda>L   s    AEQJ r   r$   c                     | dkD  S Nr.   r%   rT   s    r   rU   z#test_CondVariable.<locals>.<lambda>M   
    AE r   r    r)   c                     | dkD  S rW   r%   rT   s    r   rU   z#test_CondVariable.<locals>.<lambda>R   rX   r   )r*   r   r   r!   r   )exprr   r#   r$   patterns        r   test_CondVariabler\   I   s    VVDAS./AS/*AAGdGR()Aq\N   	S/*AAGdGR()R///r   c                  `    t        t        t        d      d            t        d      dik(  sJ y )Nr   foo)nextr   r   r%   r   r   test_defaultdictr`   W   s)    hsmU+,#0FFFFr   N)sympy.unify.corer   r   r   r   sympy.unifyr   r   r	   r
   mapr"   r   r#   r$   r*   r   r   r   r&   r+   r4   r8   r@   rJ   rN   rQ   r\   r`   r%   r   r   <module>rd      s    N N !A
h
!AaPB  9
G(F4=IA
-0Gr   