a
    kº”hâZ  ã                   @   sÞ  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 d dlmZmZmZmZmZmZ d dlmZ d dlmZmZ d dlmZ d dlmZmZ 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' d dl(m)Z)m*Z* d dl+m,Z, d dl-m.Z. d dl/m0Z0 d dl1m2Z2 d dl3m4Z4 d dl5m6Z6m7Z7 edƒZ8edddZ9edddZ:eddd\Z;Z<eddddZ=edddZ>dd„ Z?d d!„ Z@d"d#„ ZAd$d%„ ZBd&d'„ ZCd(d)„ ZDe6d*d+„ ƒZEd,d-„ ZFd.d/„ ZGd0d1„ ZHd2d3„ ZId4d5„ ZJd6d7„ ZKd8S )9é    )ÚAccumBounds)	ÚEÚFloatÚIÚRationalÚIntegerÚnanÚooÚpiÚzoo)ÚEqÚGeÚGtÚLeÚLtÚNe)ÚS)ÚSymbolÚsymbols)Ú	factorial)ÚexpÚlog)ÚceilingÚfloorÚfrac)Úsqrt)ÚsinÚcosÚtanÚasin)ÚRootOfÚCRootOf)ÚIntegers)ÚInterval)ÚImageSet)ÚLambda)Ú	unchanged)ÚXFAILÚraisesÚxÚiT)Z	imaginaryÚy©Úrealzk,n)ÚintegerÚb)r-   Z
nonintegerÚm©Úpositivec                  C   s"  t tƒtu sJ ‚t tƒtu s J ‚t t ƒt u s4J ‚t tƒtu sDJ ‚t dƒdksTJ ‚t dƒdksdJ ‚t dƒdkstJ ‚t tttdƒttdƒƒ ƒ ƒdksœJ ‚t t ttdƒttdƒƒ ƒ ƒdksÆJ ‚t tƒdksÖJ ‚t t ƒdksèJ ‚t dt ƒdksüJ ‚t dt ƒd	ksJ ‚t t	ƒd
ks$J ‚t t	 ƒdks8J ‚t t
jƒdksLJ ‚t tddƒƒdksdJ ‚t tdd
ƒƒdks|J ‚t tdd
ƒƒdks”J ‚t tdd
ƒ ƒdks®J ‚t tdƒƒdksÄJ ‚t tdƒ ƒdksÜJ ‚t tdƒƒdksòJ ‚t tdƒ ƒdks
J ‚t dtd  ƒt
jks&J ‚t td td  ƒt
jksFJ ‚t dtd  ƒt
jksbJ ‚t td t d  ƒtdƒks†J ‚t tƒtks˜J ‚t t ƒt ks®J ‚t tƒ} | jt u rÒ| jd tksÖJ ‚t tt ƒtt ksðJ ‚t t t ƒt t ksJ ‚t ttt	 d ƒt ƒttt	 d ƒt ks@J ‚t dt ƒdt ksZJ ‚t dt ƒdt kstJ ‚t td ƒdksŠJ ‚t t d ƒt ks¤J ‚t td ƒdksºJ ‚t t	d ƒdksÐJ ‚t tt	 ƒdksæJ ‚t tt	 ƒd
t ks J ‚t t t	ƒƒd
ksJ ‚t t tƒƒt tƒks0J ‚t t tƒƒt tƒksJJ ‚tt tƒsZJ ‚tt dt ƒsnJ ‚tt tt ƒs‚J ‚t tƒtks”J ‚t dt ƒdt ks®J ‚t tt ƒtt ksÈJ ‚tt td ƒsÜJ ‚tt tt ƒsðJ ‚t td
 ƒt tƒd
 ksJ ‚t tt ƒt tƒt ks,J ‚t td
 ƒt tƒd
 ksJJ ‚t tt ƒt tƒt kshJ ‚t d
tt  t	 ƒdt tƒt  ks’J ‚t tt ƒtt ks¬J ‚tt tt ƒsÀJ ‚t tt ƒtt ksÚJ ‚t tddƒtt  ƒdd
t  ksJ ‚t tdƒƒdksJ ‚t tdƒƒdks.J ‚t tdƒƒdksDJ ‚t tdƒtdƒ ƒdksbJ ‚tt tdƒtdƒ ƒjddƒd
ksŒJ ‚t tdƒtdƒ ƒdksªJ ‚t tƒtk j s¾J ‚t tƒtkdksÔJ ‚t tƒtkdksêJ ‚t tƒtkj sþJ ‚t tƒtkj sJ ‚t tƒtkj s&J ‚t tƒtkj s:J ‚t tƒtkj sNJ ‚t tƒtkdksdJ ‚t tƒtk dkszJ ‚t tƒt kdks’J ‚t tƒt kdksªJ ‚t t!ƒt!k dksÀJ ‚t t!ƒt!kdksÖJ ‚t t!ƒt!kdksìJ ‚t t!ƒt!kdksJ ‚t tƒ "t#¡tt#tƒ ks"J ‚t tƒ "t$¡t$t ƒ ksBJ ‚t tƒ "t#¡ %tt	 ¡t t	 ƒksjJ ‚t tƒ "t#¡ %tt¡t tƒksŽJ ‚t tƒ "t$¡ %tt¡t$t ƒ ks¶J ‚t tƒ "t$¡ %tt	 ¡t$t	ƒ ksÞJ ‚t&t tƒtt#tƒ ƒsúJ ‚t&t tƒt$t ƒ ƒ	sJ ‚t'ddd}t'ddd }t'd!dd"}t'd#dd$}t |ƒdk dk	s\J ‚t |ƒdkdk	srJ ‚t |ƒdkdk	sˆJ ‚t |ƒdkdk	sžJ ‚t |ƒdkdk	s´J ‚t |ƒdk|dkk	sÎJ ‚t |ƒdk |dk k	sèJ ‚t |ƒdk dk	sþJ ‚t |ƒdkdk
sJ ‚t |ƒdk dk
s*J ‚t |ƒdk|dk k
sDJ ‚t |ƒdk|dkk
s^J ‚t |ƒdkdk
stJ ‚t |ƒd
k|d
kk
sŽJ ‚t |ƒdkdk
s¤J ‚t |ƒdkdk
sºJ ‚t |ƒj(dk
sÎJ ‚t |ƒj)dk
sâJ ‚t |ƒj(dk
söJ ‚t |ƒj)dks
J ‚t |ƒj(dksJ ‚t |ƒj)dks2J ‚t |ƒj(d u sFJ ‚t |ƒj)d u sZJ ‚t ddd%dkdkstJ ‚t ddd%dkdksŽJ ‚t ddd%dkdks¨J ‚t ddd%dk dksÂJ ‚t ddd%dkdksÜJ ‚t ddd%dkdksöJ ‚t ddd%dkdksJ ‚t ddd%dk dks*J ‚t ddd%dkdksDJ ‚t ddd%dkdks^J ‚t ddd%dkdksxJ ‚t ddd%dk dks’J ‚t tƒd&kt*t tƒd&dd%ks¶J ‚t tƒd'kt+t tƒd'dd%ksÚJ ‚t tƒd(k t,t tƒd(dd%ksþJ ‚t tƒd)kt-t tƒd)dd%ks"J ‚t tƒd&ktdk ks<J ‚t tƒd'ktdkksVJ ‚t tƒd(k td
k kspJ ‚t tƒd)ktdkksŠJ ‚t tƒtkttd k ks¨J ‚t tƒtkttkksÂJ ‚t tƒtk ttk ksÜJ ‚t tƒtkttd kksúJ ‚t t.td
 d*t  dƒƒdksJ ‚d S )+Nr   é   éÿÿÿÿé   é   éþÿÿÿé   éýÿÿÿiúÿÿÿé   éüÿÿÿéùÿÿÿç      1@é   éïÿÿÿçÃõ(\Â@iøÿÿÿé   é   é   é   é
   é   T©Zchopé2   l    'öª~$DæA®7YáD3':ÿ^îXf FÚneg©ÚnegativeÚnn©ÚnonnegativeÚposr1   Únp©Únonpositive©Úevaluateç      @çš™™™™™	Àç333333@ç333333û¿é   )/r   r   r	   r   r   r   r   Úabsr   r
   r   ÚHalfr   r   r0   ÚZeroÚOneÚNegativeOner   r*   ÚfuncÚargsr   r+   r)   r&   ÚkÚnr   ÚintÚevalfr   Úis_Relationalr/   Úrewriter   r   Úsubsr   r   Zis_negativeZis_nonnegativer   r   r   r   r    )ÚerI   rL   rO   rP   © ri   ú\/var/www/auris/lib/python3.9/site-packages/sympy/functions/elementary/tests/test_integers.pyÚ
test_floor   s(   (* $ 2*(*ÿ
  ($(($$$$rk   c                     sÚ  t tƒtu sJ ‚t tƒtu s J ‚t t ƒt u s4J ‚t tƒtu sDJ ‚t dƒdksTJ ‚t dƒdksdJ ‚t dƒdkstJ ‚t tttdƒttdƒƒ ƒ ƒdksœJ ‚t t ttdƒttdƒƒ ƒ ƒdksÆJ ‚t tƒdksÖJ ‚t t ƒdksèJ ‚t dt ƒd	ksüJ ‚t dt ƒd
ksJ ‚t t	ƒdks$J ‚t t	 ƒdks8J ‚t t
jƒdksLJ ‚t tddƒƒdksdJ ‚t tddƒƒdks|J ‚t tddƒ ƒdks–J ‚t tdƒƒdks¬J ‚t tdƒ ƒdksÄJ ‚t tdƒƒdksÚJ ‚t tdƒ ƒdksòJ ‚t dtd  ƒt
jksJ ‚t td td  ƒtdƒks0J ‚t dtd  ƒt
jksLJ ‚t td t d  ƒt
jksnJ ‚t tƒtks€J ‚t t ƒt ks–J ‚t tƒ} | jt u rº| jd tks¾J ‚t tt ƒtt ksØJ ‚t t t ƒt t ksöJ ‚t ttt	 d ƒt ƒttt	 d ƒt ks(J ‚t dt ƒdt ksBJ ‚t dt ƒdt ks\J ‚t td ƒtksrJ ‚t t d ƒdksŠJ ‚t td ƒdks J ‚t t	d ƒd	ks¶J ‚t tt	 ƒd	ksÌJ ‚t tt	 ƒtd ksæJ ‚t t t	ƒƒdksüJ ‚t t tƒƒt tƒksJ ‚t t tƒƒt tƒks0J ‚tt tƒs@J ‚tt dt ƒsTJ ‚tt tt ƒshJ ‚t tƒtkszJ ‚t dt ƒdt ks”J ‚t tt ƒtt ks®J ‚tt td ƒsÂJ ‚tt tt ƒsÖJ ‚t td ƒt tƒd ksôJ ‚t td ƒt tƒd ksJ ‚t tdt  ƒt tƒdt  ks8J ‚t tt ƒt tƒt ksVJ ‚t td ƒt tƒd kstJ ‚t tt ƒt tƒt ks’J ‚t dt	 tt  ƒdt tƒt  ks¼J ‚t tt ƒtt ksÖJ ‚tt tt ƒsêJ ‚t tt ƒtt ksJ ‚t tddƒtt  ƒddt  ks,J ‚t tdƒƒdksBJ ‚t tdƒƒdksXJ ‚t tdƒƒdksnJ ‚t tdƒ tdƒ ƒdksŽJ ‚tt tdƒ tdƒ ƒjddƒdksºJ ‚t tdƒtdƒ ƒdksØJ ‚t tƒtkdksîJ ‚t tƒtkj sJ ‚t tƒtk dksJ ‚t tƒtkj s,J ‚t tƒtkj s@J ‚t tƒtk j sTJ ‚t tƒtkj shJ ‚t tƒtk j s|J ‚t tƒt kdks”J ‚t tƒt kdks¬J ‚t tƒtkdksÂJ ‚t tƒtk dksØJ ‚t t!ƒt!k dksîJ ‚t t!ƒt!kdksJ ‚t t!ƒt!kdksJ ‚t t!ƒt!kdks0J ‚t tƒ "t#¡t#t ƒ ksPJ ‚t tƒ "t$¡tt$t ƒ ksrJ ‚t tƒ "t#¡ %tt	 ¡t#t	ƒ ksšJ ‚t tƒ "t#¡ %tt¡t#t ƒ ksÂJ ‚t tƒ "t$¡ %tt	¡t t	ƒksæJ ‚t tƒ "t$¡ %tt ¡t t ƒk	sJ ‚t&t tƒtt$t ƒ ƒ	s,J ‚t&t tƒt#t ƒ ƒ	sHJ ‚t'ddd}t'ddd}t'd dd!}t'd"dd#}t |ƒdkdk	sŽJ ‚t |ƒdk |dkk	s¨J ‚t |ƒdkdk	s¾J ‚t |ƒdk|dkk	sØJ ‚t |ƒdk|dkk	sòJ ‚t |ƒdk|dkk
sJ ‚t |ƒdk dk
s"J ‚t |ƒdkdk
s8J ‚t |ƒdk dk
sNJ ‚t |ƒdkdk
sdJ ‚t |ƒdkdk
szJ ‚t |ƒdkdk
sJ ‚t |ƒdkdk
s¦J ‚t |ƒdk|dkk
sÀJ ‚t |ƒdkdk
sÖJ ‚t |ƒdkdk
sìJ ‚t |ƒj(dks J ‚t |ƒj)dksJ ‚t |ƒj(d u s(J ‚t |ƒj)d u s<J ‚t |ƒj(dksPJ ‚t |ƒj)dksdJ ‚t |ƒj(dksxJ ‚t |ƒj)dksŒJ ‚t ddd$dkdks¦J ‚t ddd$dkdksÀJ ‚t ddd$dkdksÚJ ‚t ddd$dk dksôJ ‚t ddd$d	kdksJ ‚t ddd$d	kdks(J ‚t ddd$d	kdksBJ ‚t ddd$d	k dks\J ‚t ddd$dkdksvJ ‚t ddd$dkdksJ ‚t ddd$dkdksªJ ‚t ddd$dk dksÄJ ‚t tƒd%kt*t tƒd%dd$ksèJ ‚t tƒd&kt+t tƒd&dd$ksJ ‚t tƒd'k t,t tƒd'dd$ks0J ‚t tƒd(kt-t tƒd(dd$ksTJ ‚t tƒd%ktdkksnJ ‚t tƒd&ktd)kksˆJ ‚t tƒd'k tdkks¢J ‚t tƒd(ktdkks¼J ‚t tƒtkttkksÖJ ‚t tƒtkttd kksôJ ‚t tƒtk ttd kksJ ‚t tƒtkttkks,J ‚t t.td d*t  dƒƒd	ksPJ ‚t/t0ttt1td td  d dƒ ƒt2ƒ}t1td td  d dƒ‰ t/t0ttˆ  ƒt2ƒ}| 3t4d+dƒ¡‡ fd,d-„t5d.d/ƒD ƒksÖJ ‚d S )0Nr   r3   r4   r5   r6   r:   r7   r8   rC   éûÿÿÿrA   r9   r=   r>   r?   r@   rF   r<   é   g      @rD   rE   TrG   rH   l   ¡'öª~$DæA®7YáD3':ÿ^îXf FrI   rJ   rL   rM   rO   r1   rP   rQ   rS   rU   rV   rW   rX   r;   rY   iöÿÿÿc                    s   h | ]}|ˆ  ’qS ri   ri   )Ú.0r*   ©Úfri   rj   Ú	<setcomp>®  ó    ztest_ceiling.<locals>.<setcomp>i÷ÿÿÿé   )6r   r   r	   r   r   r   r   rZ   r   r
   r   r[   r   r   r0   r]   r   r\   r^   r*   r_   r`   r   r+   r)   r&   ra   rb   r   rc   rd   r   re   r/   rf   r   r   rg   r   r   Zis_positiveZis_nonpositiver   r   r   r   r    r$   r%   r!   r"   Z	intersectr#   Úrange)rh   rI   rL   rO   rP   Úsri   ro   rj   Útest_ceilingä   s2   (*"" 2&*( ,ÿ
 "(($($$$$$*rv   c            	      C   s¬
  t ttƒtƒsJ ‚ttƒtddƒks(J ‚tt ƒtddƒks@J ‚ttƒtu sPJ ‚ttƒdks`J ‚ttƒtu spJ ‚ttddƒƒtddƒksŒJ ‚ttddƒ ƒtddƒksªJ ‚ttddƒƒtddƒksÆJ ‚t	ddd	} tt
|  ƒt
t| ƒ ksîJ ‚tdt
|   ƒt
t| ƒ ksJ ‚td
t
|   ƒd
t
t| ƒ  ks6J ‚ttt
|   ƒt
t| ƒ ksXJ ‚ttt
t  ƒdksrJ ‚tttt
t  ƒsŠJ ‚ttt
t  ƒttƒks¨J ‚ttƒ t¡tttƒ ksÈJ ‚ttƒ t¡ttt ƒ ksêJ ‚ttƒ t¡ tt¡ttƒksJ ‚ttƒ t¡ tt ¡tt ƒks6J ‚ttƒ t¡ tt ¡tt ƒks^J ‚ttƒ t¡ tt¡ttƒks‚J ‚tttƒtttƒ ƒsžJ ‚tttƒttt ƒ ƒs¼J ‚t	ddd	} t	dddd}t	dddd}t	dddd}t	dddd}t	ddd}t	ddd}t	dddd}t	dddd}t| ƒ|ksFJ ‚t| ƒ|krXJ ‚t| ƒ|k t¡spJ ‚t| ƒ|k t¡sˆJ ‚t| ƒ|k sšJ ‚t| ƒ|k r¬J ‚t| ƒ|k r¾J ‚t| ƒ|k  t¡sÖJ ‚t| ƒ|krèJ ‚t| ƒ|ksúJ ‚t| ƒ|ksJ ‚t| ƒ|k t¡s$J ‚t| ƒ|kr6J ‚t| ƒ|ksHJ ‚t| ƒ|k t¡s`J ‚t| ƒ|k t¡sxJ ‚tt| ƒ|ƒrŒJ ‚tt| ƒ|ƒr J ‚tt| ƒ|ƒ t¡sºJ ‚tt| ƒ|ƒ t¡sÔJ ‚tt| ƒ|ƒsèJ ‚tt| ƒ|ƒsüJ ‚tt| ƒ|ƒ t¡sJ ‚tt| ƒ|ƒ t¡s0J ‚t| ƒ|k t¡sHJ ‚t| ƒ|krZJ ‚t| ƒ|k t¡srJ ‚t| ƒ|k t¡sŠJ ‚t| ƒ|k  t¡s¢J ‚t| ƒ|k r´J ‚t| ƒ|k rÆJ ‚t| ƒ|k  t¡sÞJ ‚t| ƒ|k t¡söJ ‚t| ƒ|ksJ ‚t| ƒ|ksJ ‚t| ƒ|k t¡s2J ‚t| ƒ|k t¡sJJ ‚t| ƒ|ks\J ‚t| ƒ|k t¡stJ ‚t| ƒ|k t¡sŒJ ‚tt| ƒ|ƒr J ‚tt| ƒ|ƒ t¡sºJ ‚tt| ƒ|ƒ t¡sÔJ ‚tt| ƒ|ƒ t¡sîJ ‚tt| ƒ|ƒ t¡sJ ‚tt| ƒ|ƒsJ ‚tt| ƒ|ƒ t¡s6J ‚tt| ƒ|ƒ t¡sPJ ‚t| ƒtk sbJ ‚t| ƒtkstJ ‚t| ƒtkr†J ‚t| ƒtkr˜J ‚t| ƒt k r¬J ‚t| ƒt krÀJ ‚t| ƒt ksÔJ ‚t| ƒt ksèJ ‚t| ƒdk súJ ‚t| ƒdksJ ‚t| ƒdkrJ ‚t| ƒdkr0J ‚t| ƒdk rBJ ‚t| ƒdk t¡sZJ ‚t| ƒdk t¡srJ ‚t| ƒdks„J ‚t| ƒtdƒksšJ ‚t| ƒtdƒtdƒ k t¡s¾J ‚t| ƒtdƒtdƒ krÜJ ‚t| ƒtdƒkròJ ‚t| ƒtdƒtdƒ k t¡	sJ ‚t| ƒtdƒtdƒ k	s4J ‚tt| ƒtdƒƒ	rLJ ‚tt| ƒtdƒtdƒ ƒ t¡	srJ ‚tt| ƒtdƒtdƒ ƒ	r’J ‚tt| ƒtdƒƒ	sªJ ‚tt| ƒtdƒtdƒ ƒ t¡	sÐJ ‚tt| ƒtdƒtdƒ ƒ	sðJ ‚t|ddj
sJ ‚t|ddj
sJ ‚t|ddj
s,J ‚t|ddj
s@J ‚t| ƒj
sPJ ‚t| ƒj
s`J ‚t| ƒjd u 
stJ ‚t| ƒjd u 
sˆJ ‚ttƒj
s˜J ‚ttƒj
s¨J ‚d S )Nr   r3   rA   r:   r8   r;   ÚrTr,   g      à?Úp_i)r.   r2   )r.   rK   Únp_i)r.   rR   Únn_i)r.   rN   Úp_rr1   Ún_rrJ   Únp_r)r-   rR   Únn_r)r-   rN   FrS   ) Ú
isinstancer   r)   r	   r   r   r   rb   r   r   r   ra   r&   rf   r   r   r+   rg   r
   r   r   Zhasr   r   r   r   r   r   Úis_zeroÚ	is_finiteÚ
is_integerZis_real)	rw   rx   Zn_iry   rz   r{   r|   r}   r~   ri   ri   rj   Ú	test_frac±  sð    "&" "$(($$$& & rƒ   c                  C   sì   t dƒ\} }t| ƒ | |d¡t|ƒks*J ‚t| ƒ | |d¡t|ƒksHJ ‚t| ƒ | td¡dksbJ ‚t| ƒ | td¡dks|J ‚t| ƒ | dd¡dks–J ‚t| ƒ | dd¡dks°J ‚t|  ƒ | dd¡dksÌJ ‚t|  ƒ | dd¡dksèJ ‚d S )Nzx,yéd   r:   rA   r   r3   r4   )r   r   Znseriesr   r
   )r)   r+   ri   ri   rj   Útest_seriesD  s    r…   c                   C   s  t td t td t  ƒjtdddks.J ‚t td t td t  ƒjtdddks\J ‚t ttƒd t ƒjtdddks‚J ‚t ttƒd t ƒjtdddks¨J ‚t ttƒt ƒjtdddksÊJ ‚t ttƒt ƒjtdddksìJ ‚t ttƒ t ƒjtdddksJ ‚t ttƒ t ƒjtdddks8J ‚t ttƒt d ƒjtdddks`J ‚t ttƒt d ƒjtdddksˆJ ‚ttd t td t  ƒjtdddks¸J ‚ttd t td t  ƒjtdddksèJ ‚tttƒd t ƒjtdddksJ ‚tttƒd t ƒjtdddks8J ‚tttƒt ƒjtdddks\J ‚tttƒt ƒjtdddks€J ‚tttƒ t ƒjtdddks¦J ‚tttƒ t ƒjtdddksÌJ ‚tttƒt d ƒjtdddksôJ ‚tttƒt d ƒjtdddksJ ‚t ttƒt ƒjtdddddksDJ ‚t ttƒt ƒjtdddddkslJ ‚t td t td t  ƒjtdddddks J ‚t td t td t  ƒjtdddddksÔJ ‚tttƒt ƒjtdddddksüJ ‚tttƒt ƒjtdddddks$J ‚ttd t td t  ƒjtdddddksXJ ‚ttd t td t  ƒjtdddddksŒJ ‚d S )	Nr:   r8   r3   ©Úcdirr7   r4   r   r„   )r   r)   Úas_leading_termr   r   r   r   Zseriesri   ri   ri   rj   Útest_issue_14355P  s8    ..&&""&&((00(($$&&((((44((4r‰   c                   C   s|  t tƒ t¡tksJ ‚t tƒjtddtks0J ‚t tƒjtdddksJJ ‚t ttj ƒjtddtjkslJ ‚t ttj ƒjtddtjksŽJ ‚t dt d ƒjtddtjks²J ‚t dt d ƒjtdddt ksØJ ‚t ttƒd ƒjtddtksúJ ‚t ttƒd ƒjtddtjks J ‚t ttd ƒd ƒjtddtd ksLJ ‚t ttd ƒd ƒjtddtd ksxJ ‚d S )Nr3   r†   r4   r7   r5   r8   )r   r)   rˆ   r   r[   r]   r   ri   ri   ri   rj   Útest_frac_leading_termr  s    ""$&"&,rŠ   c                   C   sœ   t dtt  tt  ƒdt tt ƒt  ks0J ‚t dt tt  tt  ƒt dt t ƒt ksdJ ‚t dt tt  tt  ƒdt tt ƒt  ks˜J ‚d S )Nr:   r5   )r   r
   r   r+   r   ri   ri   ri   rj   Útest_issue_4149€  s    04r‹   c                  C   s2   t dddd} dd|    }tt|ƒtƒs.J ‚d S )Nra   T)r2   r.   r8   )r   r   r   )ra   r   ri   ri   rj   Útest_issue_21651‡  s    rŒ   c                   C   sd   t t tƒƒt tƒksJ ‚t ttƒƒttƒks0J ‚tt tƒƒt tƒksHJ ‚tttƒƒttƒks`J ‚d S )N©r   r)   r   ri   ri   ri   rj   Útest_issue_11207  s    rŽ   c                   C   sÔ   t t ttd ƒt ƒ ƒt ttd ƒt ƒ ks4J ‚tt ttd ƒt ƒ ƒt ttd ƒt ƒ kshJ ‚t tt ttddƒ t ƒ ƒƒt ttddƒ t ƒ ks¤J ‚ttt tƒt ƒ ƒ tt tƒt ƒksÐJ ‚d S )Nr:   r6   r8   )r   r   r)   r+   r   ri   ri   ri   rj   Útest_nested_floor_ceiling”  s    44<r   c                   C   sp   t t t tƒƒd ƒt tƒd ks$J ‚ttttƒƒd ƒttƒd ksHJ ‚ttt tƒƒd ƒt tƒd kslJ ‚d S )Nr:   r3   r   ri   ri   ri   rj   Útest_issue_18689š  s    $$r   c                   C   s0   t tdƒƒtju sJ ‚ttdƒƒtju s,J ‚d S )Nr   )r   Úfloatr   r\   r   ri   ri   ri   rj   Útest_issue_18421Ÿ  s    r’   c                     s@  t ddd‰ t ddd} t ddd}tt‡ fdd	„ƒ tt‡ fd
d	„ƒ tt|  ƒjtdddksfJ ‚tt|  ƒjtdddks„J ‚tt| ƒjtdddks¢J ‚tt| ƒjtdddksÀJ ‚tt|  ƒjtdddksÞJ ‚tt|  ƒjtdddksüJ ‚tt| ƒjtdddksJ ‚tt| ƒjtdddks<J ‚d S )NÚaTr,   r/   r1   ÚcrJ   c                      s   t tˆ  ƒjtddS ©Nr3   r†   )r   r)   rˆ   ri   ©r“   ri   rj   Ú<lambda>§  rr   z"test_issue_25230.<locals>.<lambda>c                      s   t tˆ  ƒjtddS r•   )r   r)   rˆ   ri   r–   ri   rj   r—   ¨  rr   r3   r†   r   r4   )r   r(   ÚNotImplementedErrorr   r)   rˆ   r   )r/   r”   ri   r–   rj   Útest_issue_25230£  s     r™   N)LZ!sympy.calculus.accumulationboundsr   Zsympy.core.numbersr   r   r   r   r   r   r	   r
   r   Zsympy.core.relationalr   r   r   r   r   r   Zsympy.core.singletonr   Zsympy.core.symbolr   r   Z(sympy.functions.combinatorial.factorialsr   Z&sympy.functions.elementary.exponentialr   r   Z#sympy.functions.elementary.integersr   r   r   Z(sympy.functions.elementary.miscellaneousr   Z(sympy.functions.elementary.trigonometricr   r   r   r   Zsympy.polys.rootoftoolsr    r!   Zsympyr"   Zsympy.sets.setsr#   Zsympy.sets.fancysetsr$   Zsympy.core.functionr%   Zsympy.core.exprr&   Zsympy.testing.pytestr'   r(   r)   r*   r+   ra   rb   r/   r0   rk   rv   rƒ   r…   r‰   rŠ   r‹   rŒ   rŽ   r   r   r’   r™   ri   ri   ri   rj   Ú<module>   sN   ,  I N "
