a
    khU                     @   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integersZ	fractionslistsfilteranyZbuildsr   Zjustr   )r   r   elemsZcoeff_st r   O/var/www/auris/lib/python3.9/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   s.   |  |}| | ks*| dks*J d S Nr   remZdegree)r   r   Zremainder_zr   r   r   test_poly_hypothesis_integers   s    
r   r	   r
   )f_qg_qc                 C   s.   |  |}| | ks*| dks*J d S r   r   )r   r   Zremainder_qr   r   r   test_poly_hypothesis_rationals!   s    
r    N)Z
hypothesisr   r   r   Z	sympy.abcr   Zsympy.polys.polytoolsr   r   r   r   r    r   r   r   r   <module>   s   	


