a
    {ţdV`  ă                   @   s(  d dl mZmZmZ d dlmZ d dlmZmZm	Z	m
Z
mZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZmZ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) d dl*m+Z+ d dl,m-Z-m.Z.m/Z/m0Z0m1Z1m2Z2m3Z3m4Z4m5Z5m6Z6 d dl7m8Z8 d dl9m:Z:m;Z; d	d
 Z<dd Z=dd Z>dd Z?dd Z@dd ZAdd ZBdd ZCdd ZDdd ZEdd ZFdd  ZGd!d" ZHd#d$ ZId%d& ZJd'd( ZKd)d* ZLd+d, ZMd-d. ZNd/d0 ZOd1d2 ZPd3d4 ZQd5d6 ZRd7d8 ZSd9d: ZTd;d< ZUd=d> ZVd?d@ ZWdAdB ZXdCdD ZYdEdF ZZdGdH Z[dIdJ Z\e)dKdL Z]dMS )Né    )ÚQQÚEXÚRR)Úring) Ú_invert_monomsÚrs_integrateÚrs_truncÚrs_mulÚ	rs_squareÚrs_powÚ_has_constant_termÚrs_hadamard_expÚrs_series_from_listÚrs_expÚrs_logÚ	rs_newtonÚrs_series_inversionÚrs_compose_addÚrs_asinÚrs_atanÚrs_atanhÚrs_tanÚrs_cotÚrs_sinÚrs_cosÚ
rs_cos_sinÚrs_sinhÚrs_coshÚrs_tanhÚ_tan1Úrs_funÚrs_nth_rootÚrs_LambertWÚrs_series_reversionÚrs_is_puiseuxÚ	rs_series)ÚraisesÚslow)Úsymbols)
ÚsinÚcosÚexpÚtanÚcotÚatanÚatanhÚtanhÚlogÚsqrt)ÚRational)ÚexpandÚSc                 C   s   d}t | | |k sJ d S )Ngť˝×Ůß|Ű=)Úabs)ÚaÚbZtolŠ r9   úk/var/www/html/stable-diffusion-webui/venv/lib/python3.9/site-packages/sympy/polys/tests/test_ring_series.pyÚis_close   s    r;   c                  C   s  t dt\} }|d d|d   d|  d }t|d|d  d|d   d|  d ks^J t||d d |d d  d|  d ksJ t dt\} }|d d|d   d|  d }t|||d d |d d  d|d  d  d|  ksúJ t dt\} }}|d |d  | d }t|||d |d  d |d d  | ksVJ t|||d |d  d ||  | ksJ d S )	NÚxé   é   é   é   é   é   úx, y)r   r   r   r   r   )ÚRr<   ÚpÚyr9   r9   r:   Útest_ring_series1   s     00 >4rG   c                  C   sr   t dt\} }}}|||  d }t||d}||d d|d  | |  d|d  |d  |d   ksnJ d S )Núx, y, tr=   r?   é   r>   )r   r   r   )rD   r<   rF   ÚtrE   Úp1r9   r9   r:   Ú
test_trunc!   s    rL   c                     s|  t dt\} }}d|  ||   tdD ]}t  |d q. dd  |d  d | |d   d|d  |d   d |  d| |  d ks˘J d|  ||  |d  |   t  |d}|dd|   d| |  ksřJ t dt\}tt fd	d
 dd  dd   }dd  }t||ddd  dd   d  d ksxJ d S )NrH   r@   r>   r?   rI   é   r=   Úzc                      s   t  dS )Nr>   )r	   r9   ŠrE   r<   rN   r9   r:   Ú<lambda>2   ó    z test_mul_trunc.<locals>.<lambda>é   )r   r   Úranger	   r&   Ú
ValueError)rD   rF   rJ   ÚirK   ZR1Úp2r9   rO   r:   Útest_mul_trunc'   s    `$$rW   c                  C   s    t dt\} }}}d||  ||  d }t|||d}t||d}||ksPJ d| |d  |d  }t||dd|d  d|d   d|  d ksJ d S )NrH   r@   r>   r?   r=   )r   r   r	   r
   )rD   r<   rF   rJ   rE   rK   rV   r9   r9   r:   Útest_square_trunc8   s    rX   c            	      C   sL  t dt\} }}}|||  }|d }|||fD ]*}t||d}t|d|d}||ks0J q0d| }t|d|d}|dd|  ksJ t|d|ddksJ t|d|ddd|  ksşJ || }t|d|d|d d|d  |  d| |d   ksüJ td| tdd|d	d	|d  d
 |d d  |tdd  d ksHJ d S )Núx, y, zé   é   r@   r?   r>   r   éţ˙˙˙r=   éQ   é	   )r   r   r   r   r3   )	rD   r<   rF   rN   Zp0rE   ÚxxrK   rV   r9   r9   r:   Útest_pow_truncA   s    :r`   c                  C   sx   t dt\} }}}|||  }t||s,J ||d  }t||rFJ d| |d  }t||sdJ || ||  }d S )NrY   r=   r@   )r   r   r   )rD   r<   rF   rN   rE   r9   r9   r:   Útest_has_constant_termS   s    ra   c                     sô   t dt\} d dd    d}t |}t | |dksJJ t dt\} }d dd   |  d |   t |}t | |dksŚJ t dt\} }d |  tt fdd | j tt fdd d S )	Nr<   r>   rB   r@   rC   c                      s   t  dS )Nr=   Šr   r9   ŠrE   r<   r9   r:   rP   j   rQ   z test_inversion.<locals>.<lambda>c                      s   t  dS )Nr?   rb   r9   rc   r9   r:   rP   l   rQ   )r   r   r   r   r&   ÚNotImplementedErrorZzeroÚZeroDivisionError)rD   ÚnrK   rF   r9   rc   r:   Útest_inversion]   s    (rg   c                  C   s   t dt\} }}t||d}t||d|t||dks:J t||d}t||d|d|d  d d|d  d  |d d	  | ksJ d S )
NrC   é
   r[   rB   é   ép   r?   é(   rI   )r   r   r   r#   r   r   ŠrD   r<   rF   rE   r9   r9   r:   Útest_series_reversiono   s    *
˙˙rm   c                  C   sX  t dt\} }dd|  |d  d|d   }g d˘}t|||d}|  tt|Ą}t| ||Ą|d}||ksvJ t dt\} }}g d˘}t|| ||dd	d
}tdd||   d|| d   d|| d   |d}	||	ksčJ t dt\} }d}
t|||
d }t||||
}d	}	t	|D ] \}}|	|t
||||
 7 }	q$||	ksTJ d S )Nr<   r@   r>   r?   )r@   r>   r   r=   r=   rB   rC   )r@   r?   rB   ri   r   )Zconcurri   é   )r   r   r   Ú	from_listÚlistÚreversedr   Úcomposer   Ú	enumerater   )rD   r<   rE   ÚcÚrZpcÚr1rF   rK   rV   ÚhrU   Zcxr9   r9   r:   Útest_series_from_listy   s(     8rx   c                  C   sp  t dt\} }d| }t||d|d  }|tdd| tj |d  ksNJ d| d|d  d  }t||d}|d|d	  d
 d|d  d  d|d  d  |d d  d|d  d  |d d  |d d  | ksâJ t||d}t||d}|| ks
J t dt\} }}d| d| |d   }t||d}|d|d  |d  d|d  |  d|d  |d   |d d  d|d  |  |d d  d|d  |  |d d  d|d  |  |d d  | ksäJ td}t dt\} }}t|| |dtdd|d    |d  tdd|d   |d   tdd|d   |d   td| |  tt	| ksJ t||d |  | |dt|d  |d  | tdd|d   |d   td| |d  |  tdd|d   |d   td| |  tt	| ks,J ||d  d }t||d 
|dĄtt	dtdd kslJ d S )Nr<   r@   r=   r>   r?   é˙˙˙˙r^   éď˙˙˙r[   i  é   ri   é˝   rR   rI   é˘   rB   é-   é$   rC   r7   r\   rh   l   K)z ič^ )r   r   r   r3   r5   ÚHalfr   r(   r   r1   rr   )rD   r<   rE   rK   rV   Zp3rF   r7   r9   r9   r:   Útest_log   sp    $<˙
˙
˙˙
T
˙˙
˙˙
˙˙F˙˙
˙2˙˙˙ţ
ţr   c            
      C   s  t dt\} }||d  }dD ]<}td| ||d }t|||}t|||}||ksJ qt||d}| |d ĄtddksJ d	}td| ||}t|||}||d ks´J td
}t dtt||f \} }}	t|| |dt||d  d t||d  d  t||d  d  t||  t| ks>J t||d |	  | |dt||d  |	d  d t||d  |	 d  t||d  d  t||d  |	  t||d  d  t||d  |	  t||d  d  t||  t| ksJ t dt\} }}	t|| |dtt|d |d  tt|d |d   tt|d |d   tt||  tt| ksJ t||d |	  | |dtt|d |d  |	d  tt|d |d  |	  tt|d |d   tt||d  |	  tt|d |d   tt||d  |	  tt|d |d   tt||  tt| ksJ d S )Nr<   r=   )rh   é   r@   r   é   l   ŃOÄ$o˘bďŽl      LÉeFSŤXé   r7   rC   rB   rA   r?   rI   r>   )	r   r   r   r   r   Zcoeffr(   r+   r   )
rD   r<   rE   rw   ÚqrK   Zq1Úprecr7   rF   r9   r9   r:   Útest_expŻ   s    4˙
˙˙4˙˙˙ţţţ
ţţ<˙˙
˙8˙˙˙ţţţý
ýr   c                  C   sN   t dt\} }|d d }t||d}|d|d  d|d   d ksJJ d S )Nr<   r>   r=   r[   )r   r   r   )rD   r<   rE   ru   r9   r9   r:   Útest_newtonĎ   s    r   c                  C   sp   t dt\} }|d d }|d d }t|||d d|d   d|d   d|d   d|  d kslJ d S )	Nr<   r?   r@   r>   rI   r=   rM   ri   )r   r   r   )rD   r<   rK   rV   r9   r9   r:   Útest_compose_addŐ   s    r   c                  C   st   t dt\} }}|| |d |d   |d |  }t|t|dt||dksRJ t|t|dt||dkspJ d S )NrC   r>   r?   rB   rh   )r   r   r    r   r   rl   r9   r9   r:   Útest_funŰ   s    $r   c               	   C   sô  t dt\} }}td|d |  d|dd|d  |d  d d	|d
  |d  d  d|d  |d  d  |d | d  d ksJ td||  |d |d   d|d|d  |d
  d d|d  |d  d  d|d  |d  d  d|d  |d  d  d|d  |d  d  |d |d  d  |d |d  d  || d  d ksdJ td| d|dd|tdd  ksJ td| |d  |d  d|d|tdd d d|tdd   ksÚJ td| |d |  |d  d|d}||td	d  |d  d |td	d d  |tdd | d  d|tdd   ks`J td}t dt\} }}t|| d|dtdd|tdd   |d  tdd|tdd   |d   tdd|tdd   |  t|tdd  ksJ t|tdd |d |  d d|dttdd  |tdd  | ttdd |tdd   ttdd |d  |  ttdd |d   ttdd |tdd   ttdd |tdd   ttd ksđJ d S )NrC   r@   r>   r=   rh   ił˙˙˙r[   i   ri   rI   r?   é   é    rB   r^   é   éó   r]   rM   i   r7   éd   i>  iĐ  éČ   )r   r   r!   r(   r   r2   )rD   r<   rF   ru   r7   r9   r9   r:   Útest_nth_rootá   sr    .˙˙˙˙
8˙˙˙˙ţţ
ţţ*L&`0 ˙˙˙6˙˙˙˙ţţý
ýr   c                  C   sP  t dt\} }}t||d|d  d |d d  |d d  | ksJJ t|| |d |d   |dd|d  |d  |d |d   d|d  |d   |d |d  d  |d	 |d  d  |d	 |d   |d |d   |d |d  d  |d
 |d   |d |d  d  |d |d   ||  ks@J td}t dt\} }}t|| |dt|d | |d d
|d	   d	|d
   d
|d   d   |d
  td|d  d d|d	  d|d
   d|d   d  |d   t||d
 d|d   d  |d   td|d d  |  tt| ksHJ t||d |  | |d
td| |d
 d|d   d   |d  | td|d  d d|d	  d|d
   d|d   d  |d   td|d d  |d  |  t||d
 d|d   d  |d   td|d d  |  tt| ksLJ d S )NrC   r^   ri   rB   r?   r>   r[   rR   rI   r=   r7   r@   )r   r   r   r(   r   r.   ŠrD   r<   rF   r7   r9   r9   r:   Ú	test_atan÷   s    :@˙˙˙˙˙ţţţţţ8
˙˙˙&
˙˙˙˙&ţý
ý>˙˙B˙ţ&ţ
˙˙ţ
ýr   c                  C   s  t dt\} }}t|||  |d|d |d  d |d |d  d  |d | d  |d d  ||  | ksxJ t|| |d |d   |d|d |d  d d|d  |d  d  |d |d  d  |d |d  d  |d |d   ||  ks
J d S )	NrC   rB   r?   rI   r>   ri   rk   r=   )r   r   r   ŠrD   r<   rF   r9   r9   r:   Ú	test_asin
  s"    H
˙˙˙
H˙˙˙˙r   c                  C   s0  t dt\} }}t||d|d  tdd|d  tdd tdd	|d
   |d  ks^J t|| |d |d	   |dd|d  |d  d	 d|d  |d  d  d|d  |d  d	  d|d  |d  d  |d |d  d	  d|d  |d  d	  |d |d   d|d  |d  d  |d |d   |d	 |d	  d	  |d |d	   ||  kstJ td}t dtt||f \} }}t|| |dt|d dt|d	  d	  dt| d	  |d  t|d dt|d  d	  tdd	 |d	   t|d	 t| |d   t|d d |  t| ksPJ t||d |  | |ddt|d	  dt|  |d	  | t|d tdd	t|d   tdd	 |d	   t|d d |d  |  t|d	 t| |d   t|d d |  t| ks"J t dt\} }}t|| |dtt|d dt|d	  d	  dt| d	  |d  tt|d dt|d  d	  tdd	  |d	   tt|d	 t| |d   tt|d d |  tt| ks J t||d |  | |dtdt|d	  dt|  |d	  | tt|d dt|d  d	  tdd	  |d	   tt|d d |d  |  tt|d	 t| |d   tt|d d |  tt| ksęJ ||d  d }t||d |dĄtt	dt
dd  ks,J d S )NrC   r^   rB   é   é;  r>   é   r@   r?   r\   éü˙˙˙r=   r[   rR   r~   ri   rI   r7   rh   l   PH]řl   Án)r   r   r   r3   r(   r,   r   r   rr   r.   r5   ŠrD   r<   rF   r7   rE   r9   r9   r:   Útest_tan  sŹ    4˙L˙˙˙˙ţţţţţţ,˙˙0˙ţţţ@2˙˙ţţţ.˙˙6˙ţţ
ţ*
˙˙˙6˙ţţý
ý ˙r   c                  C   sD  t dt\} }}t|d |d  |d|d |d  |d  |d  |d	  |d
  d | |d  |d  |d  |d  d|d  d  d|d  d  ks¤J t||d |  |d|d  |d  |d | d  |d |d   |d d  |d |d   |d | d  ||d   |d  | |d
  ks@J d S )NrC   rI   ri   r[   iú˙˙˙éű˙˙˙r   éý˙˙˙r\   ry   r@   r>   r?   r=   rB   r   r~   )r   r   r   r   r9   r9   r:   Útest_cot0  sN    ,˙˙˙˙˙˙˙˙˙ţţ
F
˙˙˙
˙˙˙˙r   c                  C   sF  t dt\} }}t||d|d  tdd|d  tdd tdd	|d
   |d  ks^J t|| |d |d   |d|d |d  d |d |d  d  |d |d  d  |d |d  d  |d	 |d  d	  |d	 |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d	  |d |d   ||  ksdJ td}t dtt|t||f \} }}t|| |dt||d  d t||d  d	  t||d  d  t||  t| ksôJ t||d |  | |dt| |d  |d  d t||d  | d  t||d  d  t||d  |  t||d  d	  t||d  |  t||d  d  t||  t| ksÄJ t dt\} }}t|| |dtt|d |d  tt|d	 |d   tt|d |d   tt||  tt| ksNJ t||d |  | |dtt|d  |d  |d  tt|d |d  |  tt|d |d   tt||d  |  tt|d	 |d   tt||d  |  tt|d |d   tt||  tt| ksBJ d S )NrC   r^   rB   ry   é°  r>   r@   éx   rI   r\   r   r?   r[   rR   rM   éĐ  ri   rA   r=   r7   )r   r   r   r3   r(   r)   r*   r   r   r9   r9   r:   Útest_sin8  s    4˙0˙˙˙˙ţţţţýýý"4˙
˙˙6˙˙˙˙ţţ
ţţ<˙˙
˙:˙˙˙ţţţý
ýr˘   c                  C   sh  t dt\} }}t||d|d  tdd|d  tdd|  tdd|d	   tj|d
   |d  kspJ t|| |d |d   |d|d |d  d |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d   |d |d  d  d ksJ td}t dtt|t||f \} }}t|| |dt||d  d t||d  d  t||d  d  t||  t| ksJ t||d |  | |dt| |d  |d  d t||d  | d  t||d  d  t||d  |  t||d  d  t||d  |  t||d  d  t||  t| ksćJ t dt	\} }}t|| |dt	t|d |d  t	t|d |d   t	t|d |d   t	t||  t	t| kspJ t||d |  | |dt	t|d  |d  |d  t	t|d |d  |  t	t|d |d   t	t||d  |  t	t|d |d   t	t||d  |  t	t|d |d   t	t||  t	t| ksdJ d S )NrC   r^   rB   r@   é  r?   rĄ   rA   ry   r   r   r>   r[   rM   rh   é0   ri   rI   r    r=   r7   )
r   r   r   r3   r5   r   r(   r)   r*   r   r   r9   r9   r:   Útest_cosR  s     F˙0˙˙˙ţţţţýýýýý"4˙
˙˙6˙˙˙˙ţţ
ţţ<˙˙
˙:˙˙˙ţţţý
ýrĽ   c                  C   s   t dt\} }}t||d\}}|t||dks4J |t||dksHJ t|||  |d\}}|t|||  |dks|J |t|||  |dksJ d S )NrC   r^   rB   )r   r   r   r   r   )rD   r<   rF   r*   r)   r9   r9   r:   Útest_cos_sinl  s    rŚ   c                  C   s   t dt\} }}t||d|d  tdd|d  tdd tdd|d   |d	  ks^J t|| |d |d   |dd|d
  |d  |d
 |d   d|d  |d   |d |d  d  |d |d  d  |d |d   |d |d   |d |d  d  |d |d   |d |d  d  |d |d   ||  ksTJ td}t dt\} }}t|| |dt|d | |d
 d|d   d|d   d|d   d  |d  td|d  d d|d  d|d   d|d   d  |d   t||d d|d   d  |d   td|d d  |  tt| ksZJ t||d |  | |dtd| |d d|d   d  |d  | td|d  d d|d  d|d   d|d   d  |d   td|d d  |d  |  t||d d|d   d  |d   td|d d  |  tt| ks\J ||d  d }t||d |dĄttddtd ksJ d S )NrC   r^   rB   r@   ri   r>   r?   r\   r   r[   rR   rI   r=   r7   rh   lü˙˙˙×yŤY?l l    P{] )r   r   r   r3   r(   r   r/   rr   r   r9   r9   r:   Ú
test_atanhu  s    N@˙˙˙˙˙ţţţţţ8
˙˙˙&
˙˙˙˙&ţ
˙˙ţ
ý4˙˙˙B˙ţ&ţý
ý˙r§   c                  C   sh  t dt\} }}t||d|d  tdd|d  tdd tdd|d	   |d
  ks^J t|| |d |d   |d|d |d  d |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d   ||  ksdJ d S )NrC   r^   rB   r@   r   r>   r    rI   r\   r   r?   r[   rR   rM   rĄ   ri   rA   r=   )r   r   r   r3   r   r9   r9   r:   Ú	test_sinh  s2    N0˙˙˙˙ţţţţýýýr¨   c                  C   s  t dt\} }}t||d|d  tdd|d  tdd|  tdd|d	   tj|d
   |d  kspJ t|| |d |d   |d|d |d  d |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d  d  |d |d   |d |d  d  d ksJ d S )NrC   r^   rB   r@   rŁ   r?   rĄ   rA   ry   r   r   r>   r[   rM   rh   r¤   ri   rI   r    r=   )r   r   r   r3   r5   r   r   r9   r9   r:   Ú	test_cosh  s>    B˙˙
0˙˙˙ţţţţýýýýýrŠ   c                  C   sä  t dt\} }}t||d|d  tdd|d  tdd tdd	|d
   |d  ks^J t|| |d |d	   |dd|d  |d  d	 d|d  |d  d  d|d  |d  d	  d|d  |d  d  |d |d  d	  d|d  |d  d	  |d |d   d|d  |d  d  |d |d   |d	 |d	  d	  |d |d	   ||  kstJ td}t dt\} }}t|| |dtt|d dt|d	  d	  dt| d	  |d  tt|d  dt|d  d	  tdd	 |d	   tt|d	 t| |d   tt|d  d |  tt| ks\J t||d |  | |d}| |dĄ |dĄtdt|d  dt|d	   dt|d  d	  dt|  tdd	 ksŕJ d S )NrC   r^   rB   rz   r   r>   r   r@   r?   r\   r   r=   r[   rR   r   r~   ri   rI   r7   rh   iü˙˙it'  iŚ	  is'  i  )r   r   r   r3   r(   r   r0   rr   r   r9   r9   r:   Ú	test_tanh  sd    N4˙˙˙˙ţţţţýýý.˙˙6˙ţţ
ţ"˙˙
˙˙rŞ   c            
      C   sđ   t tttttg} tttt	t
tg}tdt\}}}td}t| |D ]T\}}|d| |d |dĄ}|d|  |ddĄ Ą }	t| Ą |	 |dĄ Ą  qBtd| d|d |dĄ}d| tdd  |ddĄ Ą }	t| Ą |	 |dĄ Ą  d S )NrC   r7   r>   rB   r   r@   )r   r   r   r   r   r   r)   r*   r,   r-   r.   r0   r   r   r(   Úziprr   ÚseriesÚremoveOr;   Úas_exprÚsubsrf   r!   r   )
Zrs_funcsZsympy_funcsrD   r<   rF   r7   Zrs_funcZ
sympy_funcrE   r   r9   r9   r:   Útest_RR°  s     r°   c                  C   s    t dt\} }}dd|  |d  d|d   }t||r>J ||tdd |  }t||sbJ t||rpJ ||d |tdd  |  }t||rJ d S )NrC   r@   r>   r?   rB   )r   r   r$   rl   r9   r9   r:   Útest_is_regularž  s     rą   c                  C   s˛  t dt\} }}|tdd |tdd  | }t||d}|tdd  |tdd  d|td	d   |tdd  d|td
d   |tdd  |tdd  |tdd  |tdd  |tdd  }||ksŢJ td| d|d}||tdd  d |tdd d  |tdd d  d ks6J td| |d}||tdd  d |tdd  |tdd  ksJ t||d}||tdd  |tdd  |tdd  ksÂJ ||tdd |  }t||d}||tdd |d  d |tdd |d  d  |tdd |d  d  |tdd |  d ksRJ t||d}||tdd  |tdd  |tdd  |tdd d  | |tdd  |tdd  ksĆJ t||d}||tdd |d  d |tdd |d   |td
d |d
  d
  |td
d |d   ||d  d  | |tdd |d  d  |tdd |  ks|J t||d}||tdd d |tdd d  |tdd d  |tdd d  | |tdd  |tdd  ksúJ t	||d}||tdd  |tdd  d|td	d   d|tdd  d  d|td
d   d|tdd  d  |tdd  |tdd  |tdd  |tdd  ksśJ t
||d}|d |tdd d |tdd  |tdd d  |td
d  |tdd d  |tdd  |tdd d  d ksFJ |d |tdd  d |tdd d  |tdd d  |tdd d  | |tdd  |tdd  ksžJ t||d}||tdd |tdd  |tdd  |tdd d  | |tdd  |tdd  ks0J t||d}||tdd d |tdd d  |tdd d  |tdd d  | |tdd  |tdd  ksŽJ t||d}||tdd d |tdd  |tdd d  |td
d  |tdd d  |tdd  |tdd d  d ks:J t||d}||tdd  |tdd  |tdd  |tdd d  | |tdd  |tdd  ksŽJ d S )NrC   r>   rB   r?   r@   é   r   r=   rR   ri   r\   r^   rA   rI   é   é   r   é   r[   rZ   )r   r   r   r!   r   r"   r   r   r   r   r   r   r   r   r   )rD   r<   rF   rE   ru   rv   rK   r9   r9   r:   Útest_puiseuxĘ  s    <˙˙˙˙˙ţF:6N˙˙>˙˙˙J˙˙˙˙˙6˙˙˙˙0˙˙˙˙ţţţD˙˙˙˙<˙˙˙˙@˙˙6˙˙˙˙@˙˙˙˙>˙˙˙rś   c                  C   sě   t  tdĄ} |  tdĄ}td\}}t||g| \}}}d| |t dd  d| |t dd   }t|t ddt dfd| t dt ddfd| iks¤J | Ą dtd |tdd   dtd |tdd    ksčJ d S )Nr>   rC   r@   r?   r   )	r   Zalgebraic_fieldr2   Z
from_sympyr(   r   ÚdictrŽ   r5   )ÚKZsqrt2r<   rF   rD   ZxrÚyrrE   r9   r9   r:   Útest_puiseux_algebraic	  s    ,<rş   c                  C   sČ  t dt\} }t||d|d  }||d d |d d  |d d	  |d
 d  tdd |d d  |d  ksxJ t||d}t|d
|d}|d|tdd
  d |tdd
 d  |tdd
 d  |tdd
 d  |tdd
  ksôJ t||d}t|d|d}t|d|d}|d|tdd  d |tdd d  d |td!d  d"  d|td#d  d$  |tdd  ksJ t|tdd
 |d}||td#d
 d% |d d&  |tdd
 d'  |d d(  |tdd
 d)  |d d*  |tdd
 d  |d d+  |td d
 d  |d d,  |tdd
 d	  |d d-  |tdd
 d  |d. d/  |tdd
 d  |d
 d0  |td.d
 d  |d
  |tdd
  d ksÄJ d S )1Nr<   r   r   r[   l    LQf rI   i ar=   i r>   r   r@   r    r\   r   rh   i˝˙˙˙r   i řşr{   i^  r^   i   rB   rM   ri   i˙˙˙é=   i:ké/   iP@  rR   é!   iČ  é   é*   l     L.l     ćł{ľ l     ]ű
 l     ënLl    XînÁl    (vQ i üi _7 rŁ   r?   rĄ   rA   )r   r   r   r!   r   r   )rD   r<   ru   rE   r9   r9   r:   Útest1  s    0˙
˙˙
(˙˙˙
(˙˙˙˙
˙ţ
ţý
ýý
üü
üü
űű
űűűúúrŔ   c                  C   s$  t dt\} }t d| \}}||tdd |  }t||d}||d d |d  d|d   |tdd  |d	 d	 |d
  | |td	d   |d d |d  |tdd   |d d |d  |tdd   |d d d |  |d |tdd  d  ||tdd   ks J d S )NrF   r<   r@   rB   r?   r{   r[   r>   rR   rI   r^   r=   ri   )r   r   r   )rD   rF   r5   r<   rE   ru   r9   r9   r:   Útest_puiseux2/  s.    @˙˙ ˙
˙˙˙ţţţrÁ   c                  C   sŘ  t d\} }}}t||d Ą |ks(J tt||d Ą t| |ddĄ Ą ksVJ tt|t| |d Ą t|t|  |ddĄ Ą ksJ tt|t| |d Ą t|t|  |ddĄ Ą ksŇJ t|| t|d |d d   }tt||d Ą t| |ddĄ Ą ks&J t|d d |d  t|d t|d d   }tt||d Ą t| |ddĄ Ą ksJ t| d | t| d d | |d   }tt||d Ą t| |ddĄ Ą ksćJ t|d |d  d d t|d |d   }tt||d Ą t| |ddĄ Ą ksFJ t|| | }tt||d Ą t| |ddĄ Ą ksJ t	t|d d | | }tt||d	 Ą t| |dd	Ą Ą ksŇJ |t
dd |t
dd  | }tt	||d}| Ą |t
d
d |t
dd  |t
dd  |t
d	d d  | |t
dd  |t
dd  kslJ tt||d}| Ą |t
dd d |t
dd  |t
dd  d ksźJ tt||d}| Ą |t
d
d  d |t
dd d  |t
dd d  |t
d	d d	  | |t
dd  |t
dd  ksDJ tt||d}| Ą |t
dd d	 |t
dd  |t
dd d  |t
dd  |t
dd d  |t
dd  |t
dd d  d ksŘJ tt|d |d Ą t|d  |ddĄ Ą ksJ ttd|  | d Ą | d  d | d d  | d d  |  ksXJ ttdd|   | d Ą d| d  d| d  d  d| d   d|   ksŞJ ttd|  | d  | d Ą d| d
  d
 | d d  | d d  | d	 d  | d d  | d d  d| d  d  | d d  |  ks<J ttd| |d   | d Ą | d	  |d  d	 | d |d  d  | d |d  d  | d |d	  d  | d |d  d  | |d   ksÔJ d S )Nz
x, a, b, crB   r   r>   r=   rh   r?   r@   rI   r^   rł   r   r´   rľ   r[   rA   ri   rZ   iŔ˙˙˙é@   r\   rM   )r(   r%   rŽ   r)   rŹ   r­   r*   r4   r+   r,   r   r1   )r<   r7   r8   rt   rE   ru   r9   r9   r:   Útest_rs_series:  sŢ    ˙ ˙˙ ˙˙$˙4˙,˙0˙˙˙ @˙˙˙@<˙˙˙˙D˙˙˙˙&˙.
˙˙4
˙˙,
˙
˙
˙
˙
˙˙
ţţ2˙˙˙ţ
ţrĂ   N)^Zsympy.polys.domainsr   r   r   Zsympy.polys.ringsr   Zsympy.polys.ring_seriesr   r   r   r	   r
   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r    r!   r"   r#   r$   r%   Zsympy.testing.pytestr&   r'   Zsympy.core.symbolr(   Zsympy.functionsr)   r*   r+   r,   r-   r.   r/   r0   r1   r2   Zsympy.core.numbersr3   Z
sympy.corer4   r5   r;   rG   rL   rW   rX   r`   ra   rg   rm   rx   r   r   r   r   r   r   r   r   r   r   r˘   rĽ   rŚ   r§   r¨   rŠ   rŞ   r°   rą   rś   rş   rŔ   rÁ   rĂ   r9   r9   r9   r:   Ú<module>   sT   0	

 		?