U
    	Ç-eM
  ã                   @   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t‚t ttddƒtddƒƒƒdks2t‚t ttddƒtddƒƒƒdksTt‚t ttddƒtddƒƒƒd	ksvt‚t tttd dƒtddƒƒƒd
ksœt‚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   ÚAssertionErrorr   r   © r   r   ú_/var/www/html/Darija-Ai-Train/env/lib/python3.8/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$t‚t tddƒƒd t tddƒtddƒƒksPt‚t tddƒtddƒƒd t tddƒtddƒƒks„t‚d S )Nr	   r   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>t‚t tddƒtddƒƒt tddƒƒ t tddƒtddƒƒks|t‚t ttdƒtddƒƒt tddƒƒ t ttdƒtddƒƒksºt‚d S )Nr   r	   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(t‚t tddƒtddƒƒt tddƒƒk sPt‚t tddƒƒt tddƒtddƒƒk sxt‚t tddƒtddƒƒt tddƒtddƒƒks¨t‚t tddƒtddƒƒt tddƒƒkrÐt‚t ttdƒƒt tddƒƒksðt‚d S )Nr   r	   r   r
   r   r   r   r   r   r   Útest_comparison   s    (((ÿ(r   c                  C   s2   t } d|  | kst‚| d ttddƒƒks.t‚d S )Nr	   é	   r   ©r   r   r   r   ©r   r   r   r   Ú!test_multiplication_with_integers$   s    r   c                  C   sÀ   t } | | d  | |  |  ks t‚| d | d  | |  |  d ksDt‚| d | ksTt‚d|  | ksdt‚| t tkstt‚t|  tks„t‚| |  | | |   ksœt‚| |  |  |  | | d  ks¼t‚d S )Nr   r
   )r   r   r   r   r   r   r   Útest_multiplication)   s    $r   c                  C   sv   t } | d | |  kst‚| d | |  |  ks0t‚| | d  ttt d dƒƒksRt‚| |  | |   | | d  ksrt‚d S )Nr
   r	   r   r   r   r   r   r   Útest_exponentiation4   s
    "r   c                      s<   t td dƒ‰ ˆ d krt‚ˆ dk r&t‚tt‡ fdd„ƒ d S )Nr   r   c                      s   ˆ dk S )Ng¤p=
×£@r   r   r   r   r   Ú<lambda>?   ó    z+test_comapre_not_instance.<locals>.<lambda>)r   r   r   r   Ú	TypeErrorr   r   r   r   Útest_comapre_not_instance;   s    r   c                  C   s   t tddƒƒ} | jrt‚d S )Nr   r   )r   r   Zis_successor_ordinalr   r   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   
