o
    GZŽ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 sJ ‚t tƒtu s"J ‚t dƒdks*J ‚t dƒdks2J ‚t dƒdks:J ‚t tttdƒttdƒƒ ƒ ƒdksNJ ‚t t ttdƒttdƒƒ ƒ ƒdkscJ ‚t tƒdkskJ ‚t t ƒdkstJ ‚t dt ƒdks~J ‚t dt ƒd	ksˆJ ‚t t	ƒd
ksJ ‚t t	 ƒdks™J ‚t t
jƒdks¢J ‚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
ƒ ƒ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sJ ‚t dtd  ƒt
jks%J ‚t td t d  ƒtdƒks7J ‚t tƒtks@J ‚t t ƒt ksKJ ‚t tƒ} | jt u r]| jd tks_J ‚t tt ƒtt kslJ ‚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s¡J ‚t dt ƒdt ks®J ‚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sJ ‚t t tƒƒt tƒksJ ‚tt tƒs!J ‚tt dt ƒs+J ‚tt tt ƒs5J ‚t tƒtks>J ‚t dt ƒdt ksKJ ‚t tt ƒtt ksXJ ‚tt td ƒsbJ ‚tt tt ƒslJ ‚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s™J ‚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s J ‚t tdƒƒdksJ ‚t tdƒƒdksJ ‚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sIJ ‚t tƒtk j sSJ ‚t tƒtkdks^J ‚t tƒtkdksiJ ‚t tƒtkj ssJ ‚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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sõJ ‚t tƒ "t#¡tt#tƒ ksJ ‚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sOJ ‚t tƒ "t$¡ %tt	 ¡t$t	ƒ kscJ ‚t&t tƒtt#tƒ ƒsqJ ‚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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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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sFJ ‚t |ƒdkdksQJ ‚t |ƒj(dks[J ‚t |ƒj)dkseJ ‚t |ƒj(dksoJ ‚t |ƒj)dksyJ ‚t |ƒj(dksƒJ ‚t |ƒj)dksJ ‚t |ƒj(d u s—J ‚t |ƒj)d u 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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s0J ‚t ddd%dk dks=J ‚t tƒd&kt*t tƒd&dd%ksOJ ‚t tƒd'kt+t tƒd'dd%ksaJ ‚t tƒd(k t,t tƒd(dd%kssJ ‚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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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.10/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 sJ ‚t tƒtu s"J ‚t dƒdks*J ‚t dƒdks2J ‚t dƒdks:J ‚t tttdƒttdƒƒ ƒ ƒdksNJ ‚t t ttdƒttdƒƒ ƒ ƒdkscJ ‚t tƒdkskJ ‚t t ƒdkstJ ‚t dt ƒd	ks~J ‚t dt ƒd
ksˆJ ‚t t	ƒdksJ ‚t t	 ƒdks™J ‚t t
jƒdks¢J ‚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dƒksJ ‚t dtd  ƒt
jksJ ‚t td t d  ƒt
jks+J ‚t tƒtks4J ‚t t ƒt ks?J ‚t tƒ} | jt u rQ| jd tksSJ ‚t tt ƒtt ks`J ‚t t t ƒt t ksoJ ‚t ttt	 d ƒt ƒttt	 d ƒt ksˆJ ‚t dt ƒdt ks•J ‚t dt ƒdt 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	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sJ ‚tt tƒsJ ‚tt dt ƒsJ ‚tt tt ƒs(J ‚t tƒtks1J ‚t dt ƒdt ks>J ‚t tt ƒtt ksKJ ‚tt td ƒsUJ ‚tt tt ƒs_J ‚t td ƒt tƒd ksnJ ‚t td ƒt tƒd ks}J ‚t tdt  ƒt tƒdt  ksJ ‚t tt ƒt tƒt ksŸJ ‚t td ƒt tƒd ks®J ‚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sJ ‚t tdƒƒdks J ‚t tdƒƒdks+J ‚t tdƒ tdƒ ƒdks;J ‚tt tdƒ tdƒ ƒjddƒdksQJ ‚t tdƒtdƒ ƒdks`J ‚t tƒtkdkskJ ‚t tƒtkj suJ ‚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 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sJ ‚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sAJ ‚t tƒ "t#¡ %tt¡t#t ƒ ksUJ ‚t tƒ "t$¡ %tt	¡t t	ƒksgJ ‚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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sJ ‚t |ƒdk dksJ ‚t |ƒdkdks&J ‚t |ƒdkdks1J ‚t |ƒdkdks<J ‚t |ƒdkdksGJ ‚t |ƒdk|dkksTJ ‚t |ƒdkdks_J ‚t |ƒdkdksjJ ‚t |ƒj(dkstJ ‚t |ƒj)dks~J ‚t |ƒj(d u sˆJ ‚t |ƒj)d u 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 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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sIJ ‚t ddd$dk dksVJ ‚t tƒd%kt*t tƒd%dd$kshJ ‚t tƒd&kt+t tƒd&dd$kszJ ‚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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sJ ‚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>®  s    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&*( ,
ÿ "(($($$$$$*2ru   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 s(J ‚ttƒdks0J ‚ttƒtu s8J ‚ttddƒƒtddƒksFJ ‚ttddƒ ƒtddƒksUJ ‚ttddƒƒtddƒkscJ ‚t	ddd	} tt
|  ƒt
t| ƒ kswJ ‚tdt
|   ƒt
t| ƒ ks‡J ‚td
t
|   ƒd
t
t| ƒ  ks™J ‚ttt
|   ƒt
t| ƒ ks©J ‚ttt
t  ƒdksµJ ‚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sJ ‚ttƒ t¡ tt ¡tt ƒks&J ‚ttƒ t¡ tt¡ttƒks8J ‚tttƒtttƒ ƒsFJ ‚tttƒttt ƒ ƒsUJ ‚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sšJ ‚t| ƒ|kr£J ‚t| ƒ|k t¡s¯J ‚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rJ ‚t| ƒ|ksJ ‚t| ƒ|k t¡s'J ‚t| ƒ|k t¡s3J ‚tt| ƒ|ƒr=J ‚tt| ƒ|ƒrGJ ‚tt| ƒ|ƒ t¡sTJ ‚tt| ƒ|ƒ t¡saJ ‚tt| ƒ|ƒskJ ‚tt| ƒ|ƒsuJ ‚tt| ƒ|ƒ t¡s‚J ‚tt| ƒ|ƒ t¡sJ ‚t| ƒ|k t¡s›J ‚t| ƒ|kr¤J ‚t| ƒ|k t¡s°J ‚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¡sJ ‚t| ƒ|k t¡sJ ‚t| ƒ|ks%J ‚t| ƒ|k t¡s1J ‚t| ƒ|k t¡s=J ‚tt| ƒ|ƒrGJ ‚tt| ƒ|ƒ t¡sTJ ‚tt| ƒ|ƒ t¡saJ ‚tt| ƒ|ƒ t¡snJ ‚tt| ƒ|ƒ t¡s{J ‚tt| ƒ|ƒs…J ‚tt| ƒ|ƒ t¡s’J ‚tt| ƒ|ƒ t¡sŸJ ‚t| ƒtk s¨J ‚t| ƒtks±J ‚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rJ ‚t| ƒdk rJ ‚t| ƒdk t¡s$J ‚t| ƒdk t¡s0J ‚t| ƒdks9J ‚t| ƒtdƒksDJ ‚t| ƒtdƒtdƒ k t¡sVJ ‚t| ƒtdƒtdƒ kreJ ‚t| ƒtdƒkrpJ ‚t| ƒtdƒtdƒ k t¡s‚J ‚t| ƒtdƒtdƒ ks‘J ‚tt| ƒtdƒƒrJ ‚tt| ƒtdƒtdƒ ƒ t¡s°J ‚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sJ ‚t| ƒjs'J ‚t| ƒjd u s1J ‚t| ƒjd u s;J ‚ttƒjsCJ ‚ttƒjsKJ ‚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   Úhasr   r   r   r   r   r   Úis_zeroÚ	is_finiteÚ
is_integerZis_real)	rv   rw   Zn_irx   ry   rz   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s$J ‚t| ƒ | td¡dks1J ‚t| ƒ | td¡dks>J ‚t| ƒ | dd¡dksKJ ‚t| ƒ | dd¡dksXJ ‚t|  ƒ | dd¡dksfJ ‚t|  ƒ | dd¡dkstJ ‚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sAJ ‚t ttƒd t ƒjtdddksTJ ‚t ttƒt ƒjtdddkseJ ‚t ttƒt ƒjtdddksvJ ‚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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sMJ ‚tttƒ t ƒjtdddks`J ‚tttƒt d ƒjtdddkstJ ‚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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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s&J ‚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   ..&&""$$&&..(($$&&((((44((48r‰   c                   C   sv  t tƒ t¡tksJ ‚t tƒjtddtksJ ‚t tƒjtdddks%J ‚t ttj ƒjtddtjks6J ‚t ttj ƒjtddtjksGJ ‚t dt d ƒjtddtjksYJ ‚t dt d ƒjtdddt kslJ ‚t ttƒd ƒjtddtks}J ‚t ttƒd ƒjtddtjksJ ‚t ttd ƒd ƒjtddtd ks¤J ‚t ttd ƒd ƒjtddtd ks¹J ‚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sJ ‚t dt tt  tt  ƒt dt t ƒt ks2J ‚t dt tt  tt  ƒdt tt ƒt  ksLJ ‚d S )Nr:   r5   )r   r
   r   r+   r   ri   ri   ri   rj   Útest_issue_4149€  s   048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sJ ‚tt tƒƒt tƒks$J ‚tttƒƒttƒks0J ‚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sJ ‚tt ttd ƒt ƒ ƒt ttd ƒt ƒ ks4J ‚t tt ttddƒ t ƒ ƒƒt ttddƒ t ƒ ksRJ ‚ttt tƒt ƒ ƒ tt tƒt ƒkshJ ‚d S )Nr:   r6   r8   )r   r   r)   r+   r   ri   ri   ri   rj   Útest_nested_floor_ceiling”  s   44<0r   c                   C   sp   t t t tƒƒd ƒt tƒd ksJ ‚ttttƒƒd ƒttƒd ks$J ‚ttt tƒƒd ƒt tƒd ks6J ‚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s3J ‚tt|  ƒjtdddksBJ ‚tt| ƒjtdddksQJ ‚tt| ƒjtdddks`J ‚tt|  ƒjtdddksoJ ‚tt|  ƒjtdddks~J ‚tt| ƒjtdddksJ ‚tt| ƒjtdddksœJ ‚d S )NÚaTr,   r/   r1   ÚcrJ   c                      ó   t tˆ  ƒjtddS ©Nr3   r†   )r   r)   rˆ   ri   ©r“   ri   rj   Ú<lambda>§  ó    z"test_issue_25230.<locals>.<lambda>c                      r•   r–   )r   r)   rˆ   ri   r—   ri   rj   r˜   ¨  r™   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   ru   rƒ   r…   r‰   rŠ   r‹   rŒ   rŽ   r   r   r’   r›   ri   ri   ri   rj   Ú<module>   sP    ,  I N "
