o
    …º¥g+W  ã                   @   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
 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% d dl&m'Z'm(Z( d dl)m*Z* d dl+m,Z, d dl-m.Z. d dl/m0Z0 d dl1m2Z2 d dl3m4Z4m5Z5 edƒZ6edddZ7edddZ8eddd\Z9Z:dd„ Z;dd„ Z<dd„ Z=d d!„ Z>d"d#„ Z?d$d%„ Z@e4d&d'„ ƒZAd(d)„ ZBd*d+„ ZCd,d-„ ZDd.d/„ ZEd0d1„ ZFd2d3„ ZGd4S )5é    )ÚAccumBounds)ÚEÚFloatÚIÚRationalÚnanÚooÚpiÚzoo)ÚEqÚGeÚGtÚLeÚLtÚNe)ÚS)ÚSymbolÚsymbols)Ú	factorial)ÚexpÚlog)ÚceilingÚfloorÚfrac)Úsqrt)ÚsinÚcosÚtan)ÚRootOfÚCRootOf)ÚIntegers)ÚInterval)ÚImageSet)ÚLambda)Ú	unchanged)ÚXFAILÚraisesÚxÚiT)Ú	imaginaryÚy©Úrealzk,n)Úintegerc                  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ƒdksBJ ‚t t ƒdksKJ ‚t dt ƒdksUJ ‚t dt ƒdks_J ‚t tƒd	ksgJ ‚t t ƒd
kspJ ‚t tjƒdksyJ ‚t tddƒƒdks„J ‚t tdd	ƒƒdksJ ‚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 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s6J ‚t dt
 ƒdt
 ksCJ ‚t t
d ƒdksNJ ‚t t
 d ƒt
 ks[J ‚t td ƒdksfJ ‚t td ƒdksqJ ‚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 ƒ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s.J ‚t tt ƒt tƒt ks=J ‚t d	t
t  t ƒdt tƒt
  ksRJ ‚t tt ƒtt ks_J ‚tt tt
 ƒsiJ ‚t tt
 ƒtt
 ksvJ ‚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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jsJ ‚t tƒtkjsJ ‚t tƒtkjs(J ‚t tƒtkjs2J ‚t tƒtkdks=J ‚t tƒtk dksHJ ‚t tƒt kdksTJ ‚t tƒt kdks`J ‚t tƒ t¡tttƒ kspJ ‚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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sJ ‚t |ƒdkdks#J ‚t |ƒdkdks.J ‚t |ƒdkdks9J ‚t |ƒdk|dkksFJ ‚t |ƒdk |dk ksSJ ‚t |ƒdk dks^J ‚t |ƒdkdksiJ ‚t |ƒdk dkstJ ‚t |ƒdk|dk ksJ ‚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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søJ ‚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s3J ‚t ddd%dk dks@J ‚t ddd%dkdksMJ ‚t ddd%dkdksZJ ‚t ddd%dkdksgJ ‚t ddd%dk dkstJ ‚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 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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s3J ‚t tƒtkttkks@J ‚t tƒtk ttk ksMJ ‚t tƒtkttd kks\J ‚t t&td	 d*t  dƒƒdksnJ ‚d S )+Nr   é   éÿÿÿÿé   éýÿÿÿé   éþÿÿÿiúÿÿÿé   éüÿÿÿé   éùÿÿÿç      1@é   éïÿÿÿçÃõ(\Â@iøÿÿÿé   é   é   é   é
   é   T©Úchopé2   l    'öª~$DæA®7YáD3':ÿ^îXf FÚneg©ÚnegativeÚnn©ÚnonnegativeÚpos©ÚpositiveÚnp©Únonpositive©Úevaluateç      @çš™™™™™	Àç333333@ç333333û¿é   )'r   r   r   r
   r   r	   r   ÚHalfr   r   r   r(   ÚfuncÚargsr   r*   r'   r$   ÚkÚnr   r   ÚintÚevalfr   Úis_RelationalÚrewriter   r   Úsubsr   r   Úis_negativeÚis_nonnegativer   r   r   r   r   )ÚerE   rH   rK   rN   © re   úe/var/www/visachat/venv/lib/python3.10/site-packages/sympy/functions/elementary/tests/test_integers.pyÚ
test_floor   s  2*(*
ÿ  ($(($$$$(rg   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ƒdksBJ ‚t t ƒdksKJ ‚t dt ƒdksUJ ‚t dt ƒdks_J ‚t tƒd	ksgJ ‚t t ƒd
kspJ ‚t tjƒdksyJ ‚t tddƒƒdks„J ‚t tddƒƒdksJ ‚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 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s*J ‚t dt
 ƒdt
 ks7J ‚t t
d ƒt
ksBJ ‚t t
 d ƒdksNJ ‚t td ƒdksYJ ‚t td ƒdksdJ ‚t tt ƒdksoJ ‚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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d ƒt tƒd ksJ ‚t tdt
  ƒt tƒdt
  ks%J ‚t tt ƒt tƒt ks4J ‚t td ƒt tƒd ksCJ ‚t tt ƒt tƒt ksRJ ‚t dt tt
  ƒdt tƒt
  ksgJ ‚t tt ƒtt kstJ ‚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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js+J ‚t tƒtk js5J ‚t tƒtkjs?J ‚t tƒtk jsIJ ‚t tƒt kdksUJ ‚t tƒt kdksaJ ‚t tƒtkdkslJ ‚t tƒtk dkswJ ‚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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s3J ‚t |ƒdkdks>J ‚t |ƒdk|dkksKJ ‚t |ƒd
k|d
kksXJ ‚t |ƒdk|dkkseJ ‚t |ƒdk dkspJ ‚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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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s2J ‚t ddd$dkdks?J ‚t ddd$dkdksLJ ‚t ddd$dk dksYJ ‚t ddd$dkdksfJ ‚t ddd$dkdkssJ ‚t ddd$dkdks€J ‚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 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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s0J ‚t tƒd(ktdkks=J ‚t tƒtkttkksJJ ‚t tƒtkttd kksYJ ‚t tƒtk ttd kkshJ ‚t tƒtkttkksuJ ‚t t&td d*t  dƒƒdks‡J ‚t't(ttt)td# td  d dƒ ƒt*ƒ}t)td# td  d dƒ‰ t't(ttˆ  ƒt*ƒ}| +t,d+dƒ¡‡ fd,d-„t-d.d/ƒD ƒksÊJ ‚d S )0Nr   r.   r/   r4   r3   r0   r>   éûÿÿÿr<   r1   r6   r8   r9   r:   r;   rA   r7   é   g      @r?   r@   TrB   rD   l   ¡'öª~$DæA®7YáD3':ÿ^îXf FrE   rF   rH   rI   rK   rL   rN   rO   r2   rQ   rS   rT   rU   rV   r5   rW   iöÿÿÿc                    s   h | ]}|ˆ  ’qS re   re   )Ú.0r(   ©Úfre   rf   Ú	<setcomp>”  s    ztest_ceiling.<locals>.<setcomp>i÷ÿÿÿé   ).r   r   r   r
   r   r	   r   rX   r   r   r   r(   rY   rZ   r   r*   r'   r$   r[   r\   r   r   r]   r^   r   r_   r`   r   r   ra   r   r   Úis_positiveÚis_nonpositiver   r   r   r   r   r"   r#   r   r    Ú	intersectr!   Úrange)rd   rE   rH   rK   rN   Úsre   rk   rf   Útest_ceilingÖ   s  2&*( ,
ÿ "(($($$$$$*2rt   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   r.   r<   r4   r0   r5   ÚrTr+   g      à?Úp_i)r-   rM   )r-   rG   Únp_i)r-   rP   Únn_i)r-   rJ   Úp_rrL   Ún_rrF   Únp_r)r,   rP   Únn_r)r,   rJ   FrQ   ) Ú
isinstancer   r'   r   r   r
   r   r\   r   r   r   r[   r$   r`   r   r   r*   ra   r	   r   r   Úhasr   r   r   r   r   r   Úis_zeroÚ	is_finiteÚ
is_integerÚis_real)	ru   rv   Ún_irw   rx   ry   rz   r{   r|   re   re   rf   Ú	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   r4   r<   r   r.   r/   )r   r   Únseriesr   r	   )r'   r*   re   re   rf   Útest_series*  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 )	Nr4   r0   r.   ©Úcdirr3   r/   r   r…   )r   r'   Úas_leading_termr   r   r   r   Úseriesre   re   re   rf   Útest_issue_143556  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 )Nr.   rˆ   r/   r3   r2   r0   )r   r'   rŠ   r   rX   ÚOner   re   re   re   rf   Útest_frac_leading_termX  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 )Nr4   r2   )r   r	   r   r*   r   re   re   re   rf   Útest_issue_4149f  s   048r   c                  C   s2   t dddd} dd|    }tt|ƒtƒsJ ‚d S )Nr[   T)rM   r-   r0   )r   r}   r   )r[   r   re   re   rf   Útest_issue_21651m  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   re   re   re   rf   Útest_issue_11207s  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 )Nr4   r6   r0   )r   r   r'   r*   r   re   re   re   rf   Útest_nested_floor_ceilingz  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 )Nr4   r.   r‘   re   re   re   rf   Ú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   ÚZeror   re   re   re   rf   Ú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+   ÚbrL   ÚcrF   c                      ó   t tˆ  ƒjtddS ©Nr.   rˆ   )r   r'   rŠ   re   ©r˜   re   rf   Ú<lambda>  ó    z"test_issue_25230.<locals>.<lambda>c                      r›   rœ   )r   r'   rŠ   re   r   re   rf   rž   Ž  rŸ   r.   rˆ   r   r/   )r   r&   ÚNotImplementedErrorr   r'   rŠ   r   )r™   rš   re   r   rf   Útest_issue_25230‰  s   "r¡   N)HÚ!sympy.calculus.accumulationboundsr   Úsympy.core.numbersr   r   r   r   r   r   r	   r
   Úsympy.core.relationalr   r   r   r   r   r   Úsympy.core.singletonr   Úsympy.core.symbolr   r   Ú(sympy.functions.combinatorial.factorialsr   Ú&sympy.functions.elementary.exponentialr   r   Ú#sympy.functions.elementary.integersr   r   r   Ú(sympy.functions.elementary.miscellaneousr   Ú(sympy.functions.elementary.trigonometricr   r   r   Úsympy.polys.rootoftoolsr   r   Úsympyr    Úsympy.sets.setsr!   Úsympy.sets.fancysetsr"   Úsympy.core.functionr#   Úsympy.core.exprr$   Úsympy.testing.pytestr%   r&   r'   r(   r*   r[   r\   rg   rt   r„   r‡   rŒ   rŽ   r   r   r’   r“   r”   r—   r¡   re   re   re   rf   Ú<module>   sL    (  = B "
