
    \h                         S SK JrJrJrJr  S SKJr  Su  rrr	\
" \S5      u  rrrr\rS rS r0 4S jrS rS	 rS
 rS rS rS rS rS rS rS rg)    )CompoundVariableCondVariableallcombinations)core)abcwxyzc                 N    [        U [        5      =(       a    U R                  S;   $ )N)AddMulCAddCMul
isinstancer   opxs    T/var/www/auris/envauris/lib/python3.13/site-packages/sympy/unify/tests/test_unify.pyis_associativer   	   s    a"O0N(NO    c                 N    [        U [        5      =(       a    U R                  S;   $ )N)r   r   r   r   s    r   is_commutativer      s    a"A0@(@Ar   c                 @    [         R                  " XU[        [        S9$ )N)sr   r   )r   unifyr   r   )r   r	   r   s      r   r   r      s    ::aa)79 9r   c                     [        [        [        [        0 5      5      [        [        0/:X  d   e[        [        [        [        [        S05      5      / :X  d   e[        [        S[        0 5      5      [        S0/:X  d   e[        [        [        [        0 5      5      0 /:X  d   e[        [        [        [        4[
        [        40 5      5      [        [
        [        [        0/:X  d   e[        [        [        [        [        40 5      5      [        [        [        40/:X  d   e[        [        [        [        4[        [        40 5      5      / :X  d   e[        [        [
        [        4[        [        40 5      5      / :w  d   e[        [        [        [        [        44[        [        [
        440 5      5      [        [        [
        [        0/:X  d   eg )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                     [        [        [        S[        [        [
        45      [        S[        [        [        45      0 5      5      [        [        [        [
        0/:X  d   e[        [        [        S[        SS5      [        [
        45      [        S[        [        [
        45      0 5      5      [        [        SS5      [        [        0/:X  d   eg )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                      [        SS5      n [        S[        [        45      n[        [	        X0 5      5      [        S[        [        SS5      0[        [        SS5      [        S04:X  d   eg )Nr   r    r)      r    r)   r.   r(   r.   )r*   r   r#   tupler   c1c2s     r   test_associativer4   %   si    	
5'	B	
51Q%Brr"#Aq!E62B(C*+Quf-=q!)D(F F F Fr   c                  $   [        SS5      n [        S[        [        45      n[        [	        X0 5      5      n[        S[        [        SS5      0U;   d   e[        S[        [        SS5      0U;   d  [        S[        [        SS5      0U;   d   eg g )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%#$F1a'(F2221a'(F21a'(F24 32 3r   c                      [        [        S[        [        4S5      5      S[        [        44S[        [        441:X  d   eg )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                  T    [        [        S[        [        4S 5      5      1 Sk:X  d   eg )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                  @    [        [        SSS5      5      SS1:X  d   eg )Nr(   commutative)r=   rC   rM   )rM   )rC   r=   )r?   r   r%   r   r   test_allcombinationsrN   =   s.    ue];<	#%?@A A Ar   c            	          [        S[        [        45      n [        S[        [        45      n[        U 5      (       a  [        U5      (       d   e[        [        [        X0 5      5      5      S:X  d   eg )Nr   r)   )	r   r   r	   r   r#   r   lenr!   r   r1   s     r   test_commutativityrQ   B   s\    	&1a&	!B	&1a&	!B"."4"444tE""%&'1,,,r   c                  *   [        SS5      n [        S5      n[        SS 5      n[        SS 5      n[        SX45      n[        [	        X0 5      5      USUS	0/:X  d   e[        SS
 5      n[        SX245      n[        [	        X0 5      5      / :X  d   eg )Nr   r(   r   r#   c                     U S-  S:H  $ )Nr)   r   r%   r   s    r   <lambda>#test_CondVariable.<locals>.<lambda>L   s    AEQJr   r$   c                     U S:  $ Nr.   r%   rT   s    r   rU   rV   M       AEr   r    r)   c                     U S:  $ rX   r%   rT   s    r   rU   rV   R   rY   r   )r*   r   r   r!   r   )exprr   r#   r$   patterns        r   test_CondVariabler]   I   s    VVDAS./AS/*AGdR()Aq\N   	S/*AGdR()R///r   c                  b    [        [        [        S5      S5      5      [        S5      S0:X  d   eg )Nr   foo)nextr   r   r%   r   r   test_defaultdictra   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]   ra   r%   r   r   <module>re      s    N N !A
h
!AaPB  9
G(F4=IA
-0Gr   