o
    GZhU                     @   s   d dl mZ d dl mZ d dlmZ d dlmZ ddddd	Zee e e d
dd Z	ee eddddd Z
eeddedddddd ZdS )    )given)
strategies)x)PolyFZZ)nonzerodomainc                 C   sL   t  t  d}t || }| r|t}t jt|t t	t |dS )N)r   QQr   )
stZintegers	fractionslistsfilteranyZbuildsr   Zjustr   )r   r   ZelemsZcoeff_st r   P/var/www/auris/lib/python3.10/site-packages/sympy/polys/tests/test_hypothesis.pypolys   s
   
r   )fgrc                 C   sB   |  |}| | }||ksJ | | ||  }||ksJ d S )N)gcd)r   r   r   Zgcd_1Zgcd_2Zgcd_3r   r   r   test_gcd_hypothesis   s
   

r   T)r   )f_zg_zc                 C   2   |  |}| | ks| dksJ d S d S Nr   remZdegree)r   r   Zremainder_zr   r   r   test_poly_hypothesis_integers      
(r   r	   r
   )f_qg_qc                 C   r   r   r   )r    r!   Zremainder_qr   r   r   test_poly_hypothesis_rationals!   r   r"   N)Z
hypothesisr   r   r   Z	sympy.abcr   Zsympy.polys.polytoolsr   r   r   r   r"   r   r   r   r   <module>   s    	


