o
    GZŽhM
  ã                   @   sp   d dl mZmZ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d„ Zdd„ Zdd„ Zdd„ ZdS )é    )ÚOrdinalÚ
OmegaPowerÚord0Úomega)Úraisesc                   C   s    t tƒdksJ ‚t ttddƒtddƒƒƒdksJ ‚t ttddƒtddƒƒƒdks*J ‚t ttddƒtddƒƒƒd	ks;J ‚t tttd dƒtddƒƒƒd
ksNJ ‚d S )NÚwé   é   é   zw**5*3 + w**3*2r   z
w**5*3 + 5é   zw*3 + 5zw**(w + 1) + w**3*2)Ústrr   r   r   © r   r   úM/var/www/auris/lib/python3.10/site-packages/sympy/sets/tests/test_ordinals.pyÚtest_string_ordinals   s
   """*r   c                   C   sˆ   dt tddƒƒ t tddƒƒksJ ‚t tddƒƒd t tddƒtddƒƒks(J ‚t tddƒtddƒƒd t tddƒtddƒƒksBJ ‚d S )Nr	   r   r   r
   )r   r   r   r   r   r   Útest_addition_with_integers   s
   $,ÿr   c                   C   s¾   t tddƒtddƒƒt tddƒƒ t tddƒtddƒƒksJ ‚t tddƒtddƒƒt tddƒƒ t tddƒtddƒƒks>J ‚t ttdƒtddƒƒt tddƒƒ t ttdƒtddƒƒks]J ‚d S )Nr   r	   r
   é   ©r   r   r   r   r   r   r   Útest_addition_with_ordinals   s   "ÿ"ÿ"ÿr   c                   C   sô   t tddƒƒt tddƒtddƒƒksJ ‚t tddƒtddƒƒt tddƒƒk s(J ‚t tddƒƒt tddƒtddƒƒk s<J ‚t tddƒtddƒƒt tddƒtddƒƒksTJ ‚t tddƒtddƒƒt tddƒƒkrhJ ‚t ttdƒƒt tddƒƒksxJ ‚d S )Nr   r	   r   r
   r   r   r   r   r   r   Útest_comparison   s   (((ÿ($r   c                  C   s2   t } d|  | ks
J ‚| d ttddƒƒksJ ‚d S )Nr	   é	   r   ©r   r   r   ©r   r   r   r   Ú!test_multiplication_with_integers$   s   r   c                  C   sÀ   t } | | d  | |  |  ksJ ‚| d | d  | |  |  d ks"J ‚| d | ks*J ‚d|  | ks2J ‚| t tks:J ‚t|  tksBJ ‚| |  | | |   ksNJ ‚| |  |  |  | | d  ks^J ‚d S )Nr   r
   )r   r   r   r   r   r   Útest_multiplication)   s   $$r   c                  C   sv   t } | d | |  ksJ ‚| d | |  |  ksJ ‚| | d  ttt d dƒƒks)J ‚| |  | |   | | d  ks9J ‚d S )Nr
   r	   r   r   r   r   r   r   Útest_exponentiation4   s
   "$r   c                      s<   t td dƒ‰ ˆ d krJ ‚ˆ dk rJ ‚tt‡ fdd„ƒ d S )Nr   r   c                      s   ˆ dk S )Ng¤p=
×£@r   r   r   r   r   Ú<lambda>?   s    z+test_comapre_not_instance.<locals>.<lambda>)r   r   r   Ú	TypeErrorr   r   r   r   Útest_comapre_not_instance;   s   r   c                  C   s   t tddƒƒ} | jrJ ‚d S )Nr   r   )r   r   Zis_successor_ordinalr   r   r   r   Útest_is_successortA   s   r   N)Zsympy.sets.ordinalsr   r   r   r   Zsympy.testing.pytestr   r   r   r   r   r   r   r   r   r   r   r   r   r   Ú<module>   s    
