Ë
    7^(hž  ã                   ó’   — d Z ddlmZmZmZmZmZmZmZm	Z	m
Z
mZ ddlmZmZmZmZ ddlmZ ddlmZ d„ Zd„ Zd„ Zd	„ Zd
„ Zd„ Zd„ Zy)zTests of monomial orderings. é    )
Úmonomial_keyÚlexÚgrlexÚgrevlexÚilexÚigrlexÚLexOrderÚInverseOrderÚProductOrderÚbuild_product_order)ÚxÚyÚzÚt)ÚS)Úraisesc                  ó  — t        d«      dk(  sJ ‚t        t         «      dk(  sJ ‚t        d«      t        d«      k(  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      k  sJ ‚t        d«      t        d«      k  sJ ‚t        d«      t        d«      k  sJ ‚t         j                  d	u sJ ‚t         t        «       k(  sJ ‚t         t        k7  sJ ‚y )
N©é   é   é   r   ©r   r   r   ©r   r   r   ©r   r   é   ©r   r   r   ©r   r   r   ©r   r   r   T)r   ÚstrÚ	is_globalr	   r   © ó    ú^/var/www/skyplay_api_hub/venv/lib/python3.12/site-packages/sympy/polys/tests/test_orderings.pyÚtest_lex_orderr$      sî   € Üˆy‹>˜YÒ&Ð&Ð&ÜŒs‹8�uÒÐÐäˆy‹>œS ›^Ò+Ð+Ð+äˆy‹>œC 	›NÒ*Ð*Ð*Üˆy‹>œC 	›NÒ*Ð*Ð*Üˆy‹>œC 	›NÒ*Ð*Ð*äˆy‹>œC 	›NÒ*Ð*Ð*Üˆy‹>œC 	›NÒ*Ð*Ð*Üˆy‹>œC 	›NÒ*Ð*Ð*ä�=‰=˜DÑ Ð Ð Ü”(“*ÒÐÐÜ”%Š<Ð‰<r"   c                  óþ  — t        d«      dk(  sJ ‚t        t         «      dk(  sJ ‚t        d«      t        d«      k(  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      k  sJ ‚t        d«      t        d«      k  sJ ‚t        d	«      t        d«      k  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d	«      k  sJ ‚t        d«      t        d	«      k  sJ ‚t        d
«      t        d«      kD  sJ ‚t        d«      t        d«      k  sJ ‚t         j                  du sJ ‚y )Nr   )é   r   r   r   r   r   r   r   r   ©r   r   r   ©r   r   r   ©r   r   r   ©r   r   r   T)r   r   r    r!   r"   r#   Útest_grlex_orderr+      sq  € Ü�Ó˜~Ò-Ð-Ð-ÜŒu‹:˜Ò Ð Ð ä�Óœu YÓ/Ò/Ð/Ð/ä�Óœe IÓ.Ò.Ð.Ð.Ü�Óœe IÓ.Ò.Ð.Ð.Ü�Óœe IÓ.Ò.Ð.Ð.ä�Óœe IÓ.Ò.Ð.Ð.Ü�Óœe IÓ.Ò.Ð.Ð.Ü�Óœe IÓ.Ò.Ð.Ð.ä�Óœe IÓ.Ò.Ð.Ð.Ü�Óœe IÓ.Ò.Ð.Ð.ä�Óœe IÓ.Ò.Ð.Ð.Ü�Óœe IÓ.Ò.Ð.Ð.ä�Óœe IÓ.Ò.Ð.Ð.Ü�Óœe IÓ.Ò.Ð.Ð.ä�?‰?˜dÑ"Ð"Ñ"r"   c                  óþ  — t        d«      dk(  sJ ‚t        t         «      dk(  sJ ‚t        d«      t        d«      k(  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      k  sJ ‚t        d«      t        d«      k  sJ ‚t        d	«      t        d«      k  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d«      kD  sJ ‚t        d«      t        d	«      k  sJ ‚t        d«      t        d	«      k  sJ ‚t        d
«      t        d«      kD  sJ ‚t        d«      t        d«      k  sJ ‚t         j                  du sJ ‚y )Nr   )r&   )éýÿÿÿéþÿÿÿéÿÿÿÿr   r   r   r   r   r   r   r'   r(   r)   r*   T)r   r   r    r!   r"   r#   Útest_grevlex_orderr0   7   st  € Ü�9ÓÐ!2Ò2Ð2Ð2ÜŒw‹<˜9Ò$Ð$Ð$ä�9Ó¤¨Ó!3Ò3Ð3Ð3ä�9Ó¤¨	Ó 2Ò2Ð2Ð2Ü�9Ó¤¨	Ó 2Ò2Ð2Ð2Ü�9Ó¤¨	Ó 2Ò2Ð2Ð2ä�9Ó¤¨	Ó 2Ò2Ð2Ð2Ü�9Ó¤¨	Ó 2Ò2Ð2Ð2Ü�9Ó¤¨	Ó 2Ò2Ð2Ð2ä�9Ó¤¨	Ó 2Ò2Ð2Ð2Ü�9Ó¤¨	Ó 2Ò2Ð2Ð2ä�9Ó¤¨	Ó 2Ò2Ð2Ð2Ü�9Ó¤¨	Ó 2Ò2Ð2Ð2ä�9Ó¤¨	Ó 2Ò2Ð2Ð2Ü�9Ó¤¨	Ó 2Ò2Ð2Ð2ä×Ñ Ñ$Ð$Ñ$r"   c                  óJ  — t        t        «      } t        t        «      } | d«       | d«      kD  sJ ‚ |d«       |d«      k  sJ ‚t        | «      dk(  sJ ‚t        |«      dk(  sJ ‚| j                  du sJ ‚|j                  du sJ ‚| |k7  sJ ‚| t        t        «       «      k(  sJ ‚y )Nr   )r   r   r   r   r   r   F)r
   r   r   r   r    r	   )r   r   s     r#   Útest_InverseOrderr2   P   s¯   € ÜœÓ€DÜœ%Ó €Fá�	‹?™T )›_Ò,Ð,Ð,Ù�)Ó™v iÓ0Ò0Ð0Ð0Üˆt‹9˜ÒÐÐÜˆv‹;˜(Ò"Ð"Ð"Ø�>‰>˜UÑ"Ð"Ð"Ø×Ñ˜uÑ$Ð$Ð$Ø�6Š>Ðˆ>Ø”<¤£
Ó+Ò+Ð+Ñ+r"   c                  ó2  — t        t        d„ ft        d„ f«      }  | d«       | d«      kD  sJ ‚t        | «      dk(  sJ ‚| j                  du sJ ‚t        t        d ft        d f«      j                  �J ‚t        t
        d ft        d f«      j                  du sJ ‚y )Nc                 ó   — | d d S ©Nr   r!   ©Úms    r#   ú<lambda>z#test_ProductOrder.<locals>.<lambda>^   s   €  q¨¨! u€ r"   c                 ó   — | dd  S r5   r!   r6   s    r#   r8   z#test_ProductOrder.<locals>.<lambda>^   s   € ÀÀ1À2À€ r"   )r   r   r   r   é   )r   r   r:   r:   r:   zProductOrder(grlex, grlex)TF)r   r   r   r    r   r   )ÚPs    r#   Útest_ProductOrderr<   ]   s™   € Ü”e™_Ð-´±Ð/GÓH€AÙˆ_Ó¡ /Ó 2Ò2Ð2Ð2Üˆq‹6Ð1Ò1Ð1Ð1Ø�;‰;˜$ÑÐÐÜœ ˜¬¨d |Ó4×>Ñ>ÐFÐFÐFÜœ ˜¬¨t¨Ó5×?Ñ?À5ÑHÐHÑHr"   c                  óÌ  — t        «       t        k(  sJ ‚t        d«      t        k(  sJ ‚t        d«      t        k(  sJ ‚t        d«      t        k(  sJ ‚t	        t
        d„ «       t	        t
        d„ «       t        t        dz  t        dz  z  t        t        z  t        dz  t        j                  t        dz  t        dz  t        t        t        t        dz  z  t        z  t        dz  t        dz  z  g} t        | t        dt        t        t        g«      ¬«      t        j                  t        t        dz  t        dz  t        t        t        z  t        dz  t        dz  t        dz  z  t        t        t        dz  z  t        z  t        dz  t        dz  z  gk(  sJ ‚t        | t        dt        t        t        g«      ¬«      t        j                  t        t        t        t        dz  t        t        z  t        dz  t        dz  t        dz  t        dz  z  t        t        dz  z  t        z  t        dz  t        dz  z  gk(  sJ ‚t        | t        dt        t        t        g«      ¬«      t        j                  t        t        t        t        dz  t        t        z  t        dz  t        dz  t        dz  t        dz  z  t        dz  t        dz  z  t        t        dz  z  t        z  gk(  sJ ‚y )	Nr   r   r   c                  ó   — t        d«      S )NÚfoo©r   r!   r"   r#   r8   z#test_monomial_key.<locals>.<lambda>l   s   € œ|¨EÓ2€ r"   c                  ó   — t        d«      S )Nr   r@   r!   r"   r#   r8   z#test_monomial_key.<locals>.<lambda>m   s
   € œ|¨A›€ r"   r   r   )Úkey)r   r   r   r   r   Ú
ValueErrorr   r   r   r   ÚOneÚsorted)ÚMs    r#   Útest_monomial_keyrG   e   s&  € Ü‹>œSÒ Ð Ð ä˜Ó¤#Ò%Ð%Ð%Ü˜Ó ¤EÒ)Ð)Ð)Ü˜	Ó"¤gÒ-Ð-Ð-ä
Œ:Ñ2Ô3Ü
Œ:Ñ.Ô/ä	
ŒAˆq‰D”�A‘‰I”qœ‘sœA˜q™D¤!§%¡%¬¨A©¬q°!©t´Q¼¼1¼QÀ¹T¹6Ä!¹8ÄQÈÁTÌ!ÈQÉ$ÁYÐO€AÜ�!œ e¬a´´A¨YÓ7Ô8Ü	
�‰””1�a‘4œ˜A™œq¤!¤A¡#¤q¨!¡t¬Q°©T´!°Q±$©Y¼¼1¼QÀ¹T¹6Ä!¹8ÄQÈÁTÌ!ÈQÉ$ÁYÐOòPð Pð Pä�!œ g´´1´a¨yÓ9Ô:Ü	
�‰””1”aœ˜A™œq¤™s¤A q¡D¬!¨Q©$´°1±´Q¸±T±	¼1¼QÀ¹T¹6Ä!¹8ÄQÈÁTÌ!ÈQÉ$ÁYÐOòPð Pð Pä�!œ i´!´Q¼°Ó;Ô<Ü	
�‰””1”aœ˜A™œq¤™s¤A q¡D¬!¨Q©$´°1±´Q¸±T±	¼1¸a¹4ÄÀ1Á¹9ÄaÌÈ1ÉÁfÌQÁhÐOòPð Pñ Pr"   c                  óp  —  t        dt        t        fdt        t        fft        t        t        t        g«      d«      dk(  sJ ‚t        dt        t        fdt        t        fft        t        t        t        g«      t        dt        t        fdt        t        fft        t        t        t        g«      k(  sJ ‚y )Nr   )r   r:   r&   é   ))é	   )r   r:   )é   )r&   rI   )r   r   r   r   r   r!   r"   r#   Útest_build_product_orderrL   w   sš   € ØPÔ ¬!¬Q °'¼1¼a°ÐAÄAÄqÌ!ÌQÀ<ÓPÐQ]Ó^Ø#ò$ð $ð $ô  ¬!¬Q °'¼1¼a°ÐAÄAÄqÌ!ÌQÀ<ÓPÜ˜g¤q¬!˜_¨w¼¼1¨oÐ>ÄÄAÄqÌ!ÀÓMòNð Nñ Nr"   N)Ú__doc__Úsympy.polys.orderingsr   r   r   r   r   r   r	   r
   r   r   Ú	sympy.abcr   r   r   r   Ú
sympy.corer   Úsympy.testing.pytestr   r$   r+   r0   r2   r<   rG   rL   r!   r"   r#   ú<module>rR      sK   ðÙ #÷÷ ÷ ÷
 !Ó  Ý Ý 'òò$#ò2%ò2,òIòPó$Nr"   