a
    {d                     @   s   d dl mZ d dlmZ d dlmZ d dlmZ d dlm	Z	 d dl
mZmZ d dlmZ d dlmZ ed	ed
 Z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 )    )rewriterule)Basic)S)Symbol)sinxy)rebuild)Qpqc                  C   s   t tttdtttdtfd} t| ttdtdttdtdgksVJ td }td }t ||tfd} td }t| |td gksJ d S N      )	variables   )r   r   r   r   listr   )rlp1p2expr r   g/var/www/html/stable-diffusion-webui/venv/lib/python3.9/site-packages/sympy/unify/tests/test_rewrite.pytest_simple   s    $2r   c                  C   s   t tttdtttdtfd} t| ttdtdttdtdgksVJ t td td tfd} t| td td gksJ d S r   )r   r   r   r   r   r	   r   r   r   r   test_simple_variables   s    $2r   c                  C   s^   t d td  } t t d }t| |t tf}td td  }t||tt d gksZJ d S )Nr   r      )r   r   r   r   r	   r   )r   r   r   r   r   r   r   test_moderate   s
    r   c                  C   s   t td t td  } d}t| |ttf}t|t td t td  dgksVJ t|t td t td  dgksJ d S )Nr   r   )r   r   r   r   r   r   r	   )r   r   r   r   r   r   test_sincos&   s
    *r   c                  C   sB   t tt tt ttf} t| tt j tt| tt  d S N)r   r   r   nextr   r	   Zis_commutativestrr   r   r   r   test_Exprs_ok.   s    r#   c                  C   sL   t ttd tgdd } t| tdr,J tt| tddksHJ d S )Nr   c                 S   s   | dk S )N
   r   )r   r   r   r   <lambda>4       z'test_condition_simple.<locals>.<lambda>         )r   r   r   r   r
   r!   r   r   r   r   test_condition_simple3   s    r*   c                  C   s   t tt tt ttgdd } td}tddd}|| }t| ||| gksTJ tddd}tddd}t| || || || hksJ d S )	Nc                 S   s   | j S r    )
is_integerr   r   r   r   r%   :   r&   z)test_condition_multiple.<locals>.<lambda>abT)integercd)r   r   r	   r   r   set)r   r,   r-   r   r/   r0   r   r   r   test_condition_multiple9   s    r2   c                  C   s^   t tt tt ttgttd} ttd\}}|| }t| |t||| gksZJ d S )N)Zassumeab)r   r   r	   r   r.   mapr   r   )r   r,   r-   r   r   r   r   test_assumptionsE   s    "r5   N)Zsympy.unify.rewriter   Zsympy.core.basicr   Zsympy.core.singletonr   Zsympy.core.symbolr   Z(sympy.functions.elementary.trigonometricr   Z	sympy.abcr   r	   Zsympy.strategies.rlr
   Zsympy.assumptionsr   r   r   r   r   r   r   r#   r*   r2   r5   r   r   r   r   <module>   s    