
    \h                         S SK Jr  S SKJr  S SKJr  S SKJr  S SKJ	r	  S SK
JrJr  S SKJr  S SKJr  \" S	5      \" S
5      srrS rS rS rS rS rS rS rS rg)    )rewriterule)Basic)S)Symbol)sinxy)rebuild)Qpqc            
         [        [        [        [        S5      5      [        [        [        S5      5      [        4S9n [	        U " [        [        S5      [        S5      5      5      5      [        [        S5      [        S5      5      /:X  d   e[        S-  n[        S-  n[        X[        4S9n [
        S-  n[	        U " U5      5      [
        S-  /:X  d   eg N      )	variables   )r   r   r   r   listr	   )rlp1p2exprs       V/var/www/auris/envauris/lib/python3.13/site-packages/sympy/unify/tests/test_rewrite.pytest_simpler      s    	U1ad^U1ad^t	DB51qt$%&51qt+<*====	
AB	
AB	Rt	,Ba4D4>adV###    c            
         [        [        [        [        S5      5      [        [        [        S5      5      [        4S9n [	        U " [        [        S5      [        S5      5      5      5      [        [        S5      [        S5      5      /:X  d   e[        [        S-  [        S-  [        4S9n [	        U " [
        S-  5      5      [
        S-  /:X  d   eg r   )r   r   r	   r   r   r
   r   s    r   test_simple_variablesr      s    	U1ad^U1ad^t	DB51qt$%&51qt+<*====	QT1a4A4	0B1a4>adV###r   c                      [         S-  [        S-  -   n [         [        -  S-  n[        X[         [        45      n[        S-  [        S-  -   n[        U" U5      5      [        [        -  S-  /:X  d   eg )Nr   r      )r   r   r   r	   r
   r   )r   r   r   r   s       r   test_moderater"      sa    	
A1B
A#B	RaV	$Ba4!Q$;D4>qsQhZ'''r   c                  j   [        [        5      S-  [        [        5      S-  -   n Sn[        X[        [        45      n[	        U" [        [
        5      S-  [        [
        5      S-  -   5      5      S/:X  d   e[	        U" [        [        5      S-  [        [        5      S-  -   5      5      S/:X  d   eg )Nr   r   )r   r   r   r   r   r	   r
   )r   r   r   s      r   test_sincosr$   &   s    	QSVQY	B	
B	RaV	$B3q619s1vqy()*qc1113q619s1vqy()*qc111r   c                      [        [        [        -   [        [        -   [        [        45      n [        U " [        [
        -   5      5      R                    [        [        U " [        [
        -   5      5      5        g N)r   r   r   nextr	   r
   is_commutativestrr   s    r   test_Exprs_okr*   .   sE    	QqS!A#1v	&BAaCM  R!Wr   c            	          [        [        [        S-   [        /S 5      n [        U " [        S5      5      5      (       a   e[	        [        U " [        S5      5      5      5      S:X  d   eg )Nr   c                     U S:  $ )N
    )r	   s    r   <lambda>'test_condition_simple.<locals>.<lambda>4   s    AFr            )r   r	   r   r   r   r'   r   s    r   test_condition_simpler4   3   sO    	Q!aS"2	3BBquI41Q4>"a'''r   c                  .   [        [        [        -   [        [        -  [        [        /S 5      n [        S5      n[        SSS9nX-   n[	        U " U5      5      X!-  /:X  d   e[        SSS9n[        SSS9n[        U " XE-   5      5      XE-  XT-  1:X  d   eg )Nc                     U R                   $ r&   )
is_integerr   s     r   r/   )test_condition_multiple.<locals>.<lambda>:   s    allr   abT)integercd)r   r	   r
   r   r   set)r   r9   r:   r   r<   r=   s         r   test_condition_multipler?   9   s    	QUAqD1Q%)B	CBsAsD!A5D4>adV###sD!AsD!Ar!%y>adAD\)))r   c                     [        [        [        -   [        [        -  [        [        /[        R                  " [        5      S9n [        [        S5      u  pX-   n[        U " U[        R                  " U5      5      5      X!-  /:X  d   eg )N)assumeab)r   r	   r
   r   r;   mapr   r   )r   r9   r:   r   s       r   test_assumptionsrD   E   sa    	QUAqD1a&1	>BvtDA5D41&'AD6111r   N)sympy.unify.rewriter   sympy.core.basicr   sympy.core.singletonr   sympy.core.symbolr   (sympy.functions.elementary.trigonometricr   	sympy.abcr	   r
   sympy.strategies.rlr   sympy.assumptionsr   r   r   r   r   r"   r$   r*   r4   r?   rD   r.   r   r   <module>rM      sX    + " " $ 8  ' c{F3K1	$$(2
(
*2r   