U
    ZÊ¹jO  ã                   @   sp   d Z ddlmZmZ ddlmZmZmZ ddlm	Z	m
Z
 ddlmZ dd„ Zdd	„ Zd
d„ Zdd„ Zdd„ ZdS )z&Tests for the PolynomialRing classes. é    )ÚQQÚZZ)ÚExactQuotientFailedÚCoercionFailedÚNotReversible)ÚxÚy)Úraisesc                  C   s2   t jttdtfdtffd�} |  d¡dks.t‚d S )NÚlexÚilex©Úorder)é   é   ))r   )éûÿÿÿ)r   Úold_poly_ringr   r   r   ÚAssertionError©ÚR© r   úl/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/polys/domains/tests/test_polynomialring.pyÚtest_build_order   s    r   c                     sŒ  t  tt¡} t  tt¡}| t¡‰ | t¡‰t|ks8t‚dt |ksHt‚ddt  |ks\t‚ˆ|ksht‚ˆ ˆd d  | ttd d  ¡ks’t‚ˆ d | td ¡ks¬t‚tt‡ ‡fdd„ƒ tt	‡fdd„ƒ tt	‡ fdd„ƒ ˆ d ˆ  ˆ ksøt‚| 
t tt¡ t¡t tt¡¡ˆ k�s$t‚| |  t¡| ¡ˆ k�s@t‚| |  tt ¡| ¡d k�s`t‚| | ˆ ˆg|j¡d¡ˆ ˆgk�sˆt‚d S )Nr   é   c                      s   ˆ ˆ S ©Nr   r   ©ÚXÚYr   r   Ú<lambda>   ó    z!test_globalring.<locals>.<lambda>c                      s   t ˆ  S r   ©r   r   ©r   r   r   r      r   c                      s   ˆ t  S r   ©r   r   ©r   r   r   r      r   )r   Úold_frac_fieldr   r   r   Úconvertr   r	   r   Ú	TypeErrorÚfrom_GlobalPolynomialRingr   Úfrom_FractionFieldÚ_sdm_to_vectorÚ_vector_to_sdmr   ©ÚQxyr   r   r   r   Útest_globalring   s$    

*, r,   c                	      sÒ  t  tt¡‰ t jttdd�‰ˆ t¡‰ˆ t¡‰tˆks<t‚dt ˆksLt‚ddt  ˆks`t‚ˆˆkslt‚ˆˆd d  dˆ  ˆ ttd d  dt  ¡ks¦t‚tt‡fdd„ƒ tt‡fdd„ƒ ˆd ˆ td ¡ksät‚ˆd ˆ ˆksøt‚ˆ 	t
 tt¡ t¡t
 tt¡¡ˆk�s$t‚ˆ ˆ  t¡ˆ ¡ˆk�s@t‚tt‡ ‡fdd„ƒ tt‡‡‡fd	d„ƒ tt‡‡fd
d„ƒ ˆ ˆ ˆˆd  ˆdˆˆ   gˆj¡d¡ˆdˆˆ   ˆdˆ  gk�sÎt‚d S )Nr   r   r   r   c                      s   t ˆ  S r   r   r   r    r   r   r   3   r   z test_localring.<locals>.<lambda>c                      s   ˆ t  S r   r!   r   r"   r   r   r   4   r   c                      s   ˆ  ˆ  tt ¡ˆ ¡S r   )r'   r$   r   r   r   r*   r   r   r   :   r   c                      s   ˆ   ˆˆ¡S r   )Zexquor   )r   r   r   r   r   r   ;   r   c                      s
   ˆ   ˆ¡S r   )Úrevertr   )r   r   r   r   r   <   r   )r   r#   r   r   r   r$   r   r	   r%   r&   r   r'   r   r   r   r(   r)   r   r   r   )r+   r   r   r   r   Útest_localring(   s0    

:,$ ÿþr.   c                      st   t jttdd�‰t  tt¡‰ ˆ t¡ˆ ˆ  t¡ˆ ¡ks<t‚ˆ  t¡ˆ  ˆ t¡ˆ¡ks\t‚tt‡ ‡fdd„ƒ d S )Nr   r   c                      s   ˆ   ˆ  ddt  ¡ˆ¡S )Nr   )r$   r   r   ©ÚGÚLr   r   r   I   r   z!test_conversion.<locals>.<lambda>)r   r   r   r   r$   r   r	   r   r   r   r/   r   Útest_conversionC   s
      r2   c                  C   s&  t  t¡} |  |  d¡¡st‚|  |  d¡¡s2t‚|  |  t¡¡rFt‚|  |  dt ¡¡r^t‚t jtdd�} |  |  d¡¡s€t‚|  |  d¡¡s”t‚|  |  t¡¡r¨t‚|  |  dt ¡¡sÀt‚t t¡} |  |  d¡¡sÞt‚|  |  d¡¡ròt‚|  |  t¡¡�rt‚|  |  dt ¡¡�r"t‚d S )Nr   r   r   r   )r   r   r   Zis_unitr$   r   r   r   r   r   r   Ú
test_unitsL   s    

r3   N)Ú__doc__Zsympy.polys.domainsr   r   Zsympy.polys.polyerrorsr   r   r   Z	sympy.abcr   r   Zsympy.testing.pytestr	   r   r,   r.   r2   r3   r   r   r   r   Ú<module>   s   	