U
    9%e                     @   sX   d Z ddlmZ ddlmZ ddlmZmZ ddlm	Z	 ddl
mZ dd Zd	d
 ZdS )zTests for quotient rings.    )ZZ)QQ)xy)NotReversible)raisesc                     s  t ttd g } | t   d  | td t ks@t t | td ksZtt  | td kstt t | dt kstt  d  kst d | td kstdd   | tdd tdD kst d | jkst tksttt	 fdd d S )N
         c                 s   s   | ]}t | V  qd S N)r   ).0i r   j/var/www/html/Darija-Ai-API/env/lib/python3.8/site-packages/sympy/polys/domains/tests/test_quotientring.py	<genexpr>   s     z+test_QuotientRingElement.<locals>.<genexpr>c                      s   d  S )Nr	   r   r   Xr   r   <lambda>       z*test_QuotientRingElement.<locals>.<lambda>)
r   old_poly_ringr   convertAssertionErrorsumrangezeror   r   )Rr   r   r   test_QuotientRingElement   s    
",r   c                  C   s  t ttd d } t t|  }|t ttd d g ksFt|t tt ttd d  kspt|t tkst|dt t |  kstd|  td |  kst|tdtd|  kst||t||tkst|t}t tt}d|  |d |  ks&td|  |d |  ks@t||tksTttt	dd  t jtdd}|t} |d|  ||  dkstd S )Nr
   r	   c                   S   s   t tt ttt S r   )r   r   r   r   idealr   r   r   r   r   0   r   z#test_QuotientRing.<locals>.<lambda>Zilex)order)
r   r   r   r   r   r   r   Zto_sympyr   
ValueError)Ir   r   Yr   r   r   test_QuotientRing   s$     * 

r#   N)__doc__Zsympy.polys.domains.integerringr   Z!sympy.polys.domains.rationalfieldr   Z	sympy.abcr   r   Zsympy.polys.polyerrorsr   Zsympy.testing.pytestr   r   r#   r   r   r   r   <module>   s   