
    \hU                         S SK Jr  S SK Jr  S SKJr  S SKJr  SSS.S jr\" \" 5       \" 5       \" 5       S	9S
 5       r	\" \" 5       \" SS9S9S 5       r
\" \" SS9\" SSS9S9S 5       rg)    )given)
strategies)x)PolyFZZ)nonzerodomainc                 N   [         R                  " 5       [         R                  " 5       S.n[         R                  " X!   5      nU (       a  UR	                  [
        5      n[         R                  " [        U[         R                  " [        5      [         R                  " U5      S9$ )N)r   QQr	   )
stintegers	fractionslistsfilteranybuildsr   justr   )r   r	   elemscoeff_sts       Y/var/www/auris/envauris/lib/python3.13/site-packages/sympy/polys/tests/test_hypothesis.pypolysr      s^    ;;=7Exx&H??3'99T8RWWQZHH    )fgrc                     U R                  U5      nUR                  U 5      nX4:X  d   eUR                  XU-  -   5      nX5:X  d   eg )N)gcd)r   r   r   gcd_1gcd_2gcd_3s         r   test_gcd_hypothesisr"      sF    EE!HEEE!HE>> EE!!e)E>>r   T)r   )f_zg_zc                     U R                  U5      nUR                  5       UR                  5       :  d  UR                  5       S:X  d   eg g Nr   remdegree)r#   r$   remainder_zs      r   test_poly_hypothesis_integersr+      B    ''#,K::<;--//;3E3E3G13LLL3L/r   r   r   )f_qg_qc                     U R                  U5      nUR                  5       UR                  5       :  d  UR                  5       S:X  d   eg g r&   r'   )r-   r.   remainder_qs      r   test_poly_hypothesis_rationalsr1   !   r,   r   N)
hypothesisr   r   r   	sympy.abcr   sympy.polys.polytoolsr   r   r"   r+   r1    r   r   <module>r6      s     '  & 4 I EGuw' ( 57d+,M -M
 55d#CDM EMr   