
    \h                     T    S r SSKJr  SSKJr  SSKJrJr  SSKJ	r	  SSK
Jr  S rS rg	)
zTests for quotient rings.    )ZZ)QQ)xy)NotReversible)raisesc            	        ^ [         R                  " [        5      [        S-  /-  n U R                  [        5      mTTS-   -  U R                  [        S-  [        -   5      :X  d   eT[        -  U R                  [        S-  5      :X  d   e[        T-  U R                  [        S-  5      :X  d   eT[        -   U R                  S[        -  5      :X  d   e[        T-   ST-  :X  d   eTS-  U R                  [        S-  5      :X  d   eSST-
  -  U R                  [	        S [        S5       5       5      5      :X  d   eTS-  U R                  :X  d   eT[        :w  d   e[        [        U4S j5        g )N
         c              3   4   #    U  H  n[         U-  v   M     g 7fN)r   ).0is     c/var/www/auris/envauris/lib/python3.13/site-packages/sympy/polys/domains/tests/test_quotientring.py	<genexpr>+test_QuotientRingElement.<locals>.<genexpr>   s     %>IqadIs   c                     > ST -  $ )Nr    )Xs   r   <lambda>*test_QuotientRingElement.<locals>.<lambda>   s	    !A#    )	r   old_poly_ringr   convertsumrangezeror   r   )Rr   s    @r   test_QuotientRingElementr       s5   
QUG#A			!Aa!e9		!Q$(++++Q3!))AqD/!!!Q3!))AqD/!!!q5AIIacN"""q5AaC<<a4199QT?"""a!e9		#%>E"I%>">????b5AFF??6M6
=+&r   c                     [         R                  " [        5      R                  [        S-  S-   5      n [         R                  " [        5      U -  nU[         R                  " [        5      [        S-  S-   /-  :X  d   eU[         R                  " [        5      [         R                  " [        5      R                  [        S-  S-   5      -  :X  d   eU[         R                  " [        5      :w  d   eUR	                  S5      [        -  [        * U -   :X  d   eSU -   [        S-  U -   :X  d   eUR	                  [        S5      [
        5      SU -   :X  d   eUR	                  UR	                  [        5      U5      UR	                  [        5      :X  d   eUR	                  [        5      n[         R                  " [        5      R	                  [        5      nSU -   US-  U -   :X  d   eSU -   US-  U -   :X  d   eUR                  U5      [        :X  d   e[        [        S 5        [         R                  " [        SS9nUR                  [        5      n UR	                  S5      U -   X-  R	                  S5      :X  d   eg )Nr   r   c                      [         R                  " [        5      [         R                  " [        [        5      R	                  [        5      -  $ r   )r   r   r   r   idealr   r   r   r   #test_QuotientRing.<locals>.<lambda>0   s-    r//223C3CAq3I3O3OPQ3RRr   ilex)order)	r   r   r   r$   r   r   to_sympyr   
ValueError)Ir   r   Ys       r   test_QuotientRingr,      s   
!!!Q$(+A
AA  #QTAXJ....  #B$4$4Q$7$=$=adQh$GGGGG  ####99Q<>aR!V###6QTAX99RUB1q5(((99QYYq\1%1555			!A
##A&A6QTAX6QTAX::a=A
:RS
&)A	
A99Q<!}}Q////r   N)__doc__sympy.polys.domains.integerringr   !sympy.polys.domains.rationalfieldr   	sympy.abcr   r   sympy.polys.polyerrorsr   sympy.testing.pytestr   r    r,   r   r   r   <module>r3      s!     . 0  0 ''"0r   