U
    L?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   )
ÚstZintegersÚ	fractionsÚlistsÚfilterÚanyZbuildsr   Zjustr   )r   r   ZelemsZcoeff_st© r   úS/var/www/html/venv/lib/python3.8/site-packages/sympy/polys/tests/test_hypothesis.pyÚpolys   s
    
r   )ÚfÚgÚrc                 C   sB   |   |¡}|  | ¡}||ks t‚|  | ||  ¡}||ks>t‚d S )N)ÚgcdÚAssertionError)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*t‚d S ©Nr   ©ÚremZdegreer   )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*t‚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   	


