o
    ohU                     @   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   )
stintegers	fractionslistsfilteranybuildsr   justr   )r   r   elemscoeff_st r   u/var/www/html/construction_image-detection-poc/venv/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   gcd_1gcd_2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   remdegree)r    r!   remainder_zr   r   r   test_poly_hypothesis_integers      
(r(   r	   r
   )f_qg_qc                 C   r"   r#   r$   )r*   r+   remainder_qr   r   r   test_poly_hypothesis_rationals!   r)   r-   N)
hypothesisr   r   r   	sympy.abcr   sympy.polys.polytoolsr   r   r   r(   r-   r   r   r   r   <module>   s    	


