
    Цi+W                        S SK Jr  S SKJrJrJrJrJrJrJ	r	J
r
  S SKJrJrJrJrJrJr  S SKJr  S SKJrJr  S SKJr  S SKJrJr  S SKJrJrJr  S S	K J!r!  S S
K"J#r#J$r$J%r%  S SK&J'r'J(r(  S SK)J*r*  S SK+J,r,  S SK-J.r.  S SK/J0r0  S SK1J2r2  S SK3J4r4J5r5  \" S5      r6\" SSS9r7\" SSS9r8\" SSS9u  r9r:S r;S r<S r=S r>S r?S r@\4S  5       rAS! rBS" rCS# rDS$ rES% rFS& rGg')(    )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                  &!   [        [        5      [        L d   e[        [        5      [        L d   e[        [        * 5      [        * L d   e[        [        5      [        L d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        [        5      S:X  d   e[        [        * 5      S:X  d   e[        S[        -  5      S:X  d   e[        S[        -  5      S:X  d   e[        [
        5      S	:X  d   e[        [
        * 5      S
:X  d   e[        [        R                  5      S:X  d   e[        [        SS5      5      S:X  d   e[        [        SS	5      5      S:X  d   e[        [        SS	5      5      S:X  d   e[        [        SS	5      * 5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      * 5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      * 5      S:X  d   e[        [        5      [        :X  d   e[        [        * 5      [        * :X  d   e[        [        5      n U R                  [         L a  U R                  S   [        :X  d   e[        [        [        -  5      [        [        -  :X  d   e[        [        * [        -  5      [        * [        -  :X  d   e[        [        [        [
        -  S-  5      [        -  5      [        [        [
        -  S-  5      [        -  :X  d   e[        S[        -  5      S[        -  :X  d   e[        S[        -  5      S[        -  :X  d   e[        [        S-  5      S:X  d   e[        [        * S-  5      [        * :X  d   e[        [        S-   5      S:X  d   e[        [
        S-   5      S:X  d   e[        [        [
        -   5      S:X  d   e[        [        [
        -   5      S	[        -   :X  d   e[        [        [
        5      5      S	:X  d   e[        [        [        5      5      [        [        5      :X  d   e[        [        [         5      5      [        [         5      :X  d   e[#        [         [         5      (       d   e[#        [         S[         -  5      (       d   e[#        [         [$        [         -  5      (       d   e[        [$        5      [$        :X  d   e[        S[$        -  5      S[$        -  :X  d   e[        [$        [&        -  5      [$        [&        -  :X  d   e[#        [         [$        S-  5      (       d   e[#        [         [         [        -   5      (       d   e[        [         S	-   5      [        [         5      S	-   :X  d   e[        [         [$        -   5      [        [         5      [$        -   :X  d   e[        [        S	-   5      [        [        5      S	-   :X  d   e[        [        [$        -   5      [        [        5      [$        -   :X  d   e[        S	[        [        -  -   [
        -   5      S[        [        5      [        -  -   :X  d   e[        [$        [&        -   5      [$        [&        -   :X  d   e[#        [         [         [        -  5      (       d   e[        [$        [        -  5      [$        [        -  :X  d   e[        [        SS5      [        [        -  -
  5      SS	[        -  -
  :X  d   e[        [)        S5      5      S:X  d   e[        [)        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [+        S5      [+        S5      -  5      S:w  d   e[-        [        [+        S5      [+        S5      -  5      R/                  SS95      S	:X  d   e[        [1        S5      [        S5      -  5      S:X  d   e[        [        5      [        :  S:X  d   e[        [        5      [        :*  S:X  d   e[        [        5      [        :  S:X  d   e[        [        5      [        :  S:X  d   e[        [         5      [         :*  R2                  (       d   e[        [         5      [         :  R2                  (       d   e[        [         5      [        :*  R2                  (       d   e[        [         5      [        :  R2                  (       d   e[        [        5      [        :*  S:X  d   e[        [        5      [        :  S:X  d   e[        [        5      [        * :  S:X  d   e[        [        5      [        * :  S:X  d   e[        [        5      R5                  [6        5      [        [7        [        5      -
  :X  d   e[        [        5      R5                  [8        5      [9        [        * 5      * :X  d   e[        [        5      R5                  [6        5      R;                  [        [
        * 5      [        [
        * 5      :X  d   e[        [        5      R5                  [6        5      R;                  [        [        5      [        [        5      :X  d   e[        [        5      R5                  [8        5      R;                  [        [        5      [9        [        * 5      * :X  d   e[        [        5      R5                  [8        5      R;                  [        [
        * 5      [9        [
        5      * :X  d   e[=        [        [        5      [        [7        [        5      -
  5      (       d   e[=        [        [        5      [9        [        * 5      * 5      (       d   e[?        SSS9n[?        SSS 9n[?        S!SS"9n[?        S#SS$9n[        U5      S:  S:X  d   e[        U5      S:*  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:*  S:X  d   e[        U5      S:  US:  :X  d   e[        U5      S:  US:  :X  d   e[        U5      S:  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:*  US:  :X  d   e[        U5      S:  US:  :X  d   e[        U5      S:  S:X  d   e[        U5      S	:  US	:  :X  d   e[        U5      S:*  S:X  d   e[        U5      S:  S:X  d   e[        U5      R@                  S:X  d   e[        U5      RB                  S:X  d   e[        U5      R@                  S:X  d   e[        U5      RB                  S:X  d   e[        U5      R@                  S:X  d   e[        U5      RB                  S:X  d   e[        U5      R@                  b   e[        U5      RB                  b   e[        SSS%9S:  S:X  d   e[        SSS%9S:  S:X  d   e[        SSS%9S:*  S:X  d   e[        SSS%9S:  S:X  d   e[        SSS%9S:  S:X  d   e[        SSS%9S:  S:X  d   e[        SSS%9S:*  S:X  d   e[        SSS%9S:  S:X  d   e[        SSS%9S:  S:X  d   e[        SSS%9S:  S:X  d   e[        SSS%9S:*  S:X  d   e[        SSS%9S:  S:X  d   e[        [         5      S&:*  [E        [        [         5      S&SS%9:X  d   e[        [         5      S':  [G        [        [         5      S'SS%9:X  d   e[        [         5      S(:  [I        [        [         5      S(SS%9:X  d   e[        [         5      S):  [K        [        [         5      S)SS%9:X  d   e[        [        5      S&:*  [        S:  :X  d   e[        [        5      S':  [        S:  :X  d   e[        [        5      S(:  [        S	:  :X  d   e[        [        5      S):  [        S:  :X  d   e[        [        5      [&        :*  [        [&        S-   :  :X  d   e[        [        5      [&        :  [        [&        :  :X  d   e[        [        5      [&        :  [        [&        :  :X  d   e[        [        5      [&        :  [        [&        S-   :  :X  d   e[        [M        [         S	-  S*[         -  -
  S5      5      S:X  d   eg )+Nr            i            1@   (\@i            
      Tchop2   l   '~$DA7Y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   )erG   rJ   rM   rP   s        m/var/www/html/ai-image-ml/venv/lib/python3.13/site-packages/sympy/functions/elementary/tests/test_integers.py
test_floorrh      s   :9??":":8q==8q==9??8q==!9??1:??A;"9>>":=A"a!R'''!Q A%%%"a!R'''(1a.!R'''t###%+#%%%t"""%+"$$$8q==!9??aA66U?qvvayA~--A;"Q$"Q<B3q5   QrT!VR C"QKN2221:1A;"Q$1:??!A;1"R=Ba=AR=AR=AE!!!rq   q?eAh&&&q?eAh&&&UAUAaC    UAaC    8q==1:11:1UAaC    UAE""""Q<58a<'''Q<58a<'''Q<58a<'''Q<58a<'''QqS2!eAhqj.000Q<1q5   UAaC    1:1"b!AaC'(A!G333Q=AR>RQ=AQA1$$$uSVCF]#))t)45:::2s1v%&IJ J J !HqLU"""!HMd"""!HqLU"""!HMe###!HM((((!HqL''''!HM((((!HqL''''!HNt###!HrMd"""!HO$$$!HsNt###8D!Qa[0008G$!4448D!&&q2#.%*<<<8D!&&q!,a8888G$))!Q/GQBK<???8G$))!bS1gbk\AAAeAhDG$$$$eAh!%%%%

&C	$	'B

&C	$	'B#JNt####J!O$$$#JNu$$$#J!O%%%#J"%%%#J"#),,,#JNa((("IMe###"INt####JNu$$$#J!Oq)))#JNq)))#J!O$$$#J!O***"INt###"IMe###:!!T))):$$---9  E)))9##t+++:!!U***:$$,,,9  (((9##+++!e$)d222!e$q(U222!e$)d222!e$q(U222!e$)d222!e$q(T111!e$)e333!e$q(U222!e$)e333!e$q(U222!e$)d222!e$q(T111!HO58S5 AAAA!HE!HdU!CCCC!HsNr%(C%@@@@!HtO58TE BBBB!HOQ'''!H!r'***!HsNA&&&!HtOb)))!HMq1q5y)))!HMqAv&&&!HqLa!e$$$!HqLa1q5j)))1r!tQ'(A---    c                  H#   [        [        5      [        L d   e[        [        5      [        L d   e[        [        * 5      [        * L d   e[        [        5      [        L d   e[        S5      S:X  d   e[        S5      S:X  d   e[        S5      S:X  d   e[        [        5      S:X  d   e[        [        * 5      S:X  d   e[        S[        -  5      S:X  d   e[        S[        -  5      S:X  d   e[        [
        5      S	:X  d   e[        [
        * 5      S
:X  d   e[        [        R                  5      S:X  d   e[        [        SS5      5      S:X  d   e[        [        SS5      5      S:X  d   e[        [        SS5      * 5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      * 5      S:X  d   e[        [        S5      5      S:X  d   e[        [        S5      * 5      S:X  d   e[        [        5      [        :X  d   e[        [        * 5      [        * :X  d   e[        [        5      n U R                  [         L a  U R                  S   [        :X  d   e[        [        [        -  5      [        [        -  :X  d   e[        [        * [        -  5      [        * [        -  :X  d   e[        [        [        [
        -  S	-  5      [        -  5      [        [        [
        -  S	-  5      [        -  :X  d   e[        S[        -  5      S[        -  :X  d   e[        S[        -  5      S[        -  :X  d   e[        [        S-  5      [        :X  d   e[        [        * S-  5      S:X  d   e[        [        S-   5      S:X  d   e[        [
        S-   5      S:X  d   e[        [        [
        -   5      S:X  d   e[        [        [
        -   5      [        S	-   :X  d   e[        [        [
        5      5      S	:X  d   e[        [        [        5      5      [        [        5      :X  d   e[        [        [         5      5      [        [         5      :X  d   e[#        [         [         5      (       d   e[#        [         S[         -  5      (       d   e[#        [         [$        [         -  5      (       d   e[        [$        5      [$        :X  d   e[        S[$        -  5      S[$        -  :X  d   e[        [$        [&        -  5      [$        [&        -  :X  d   e[#        [         [$        S-  5      (       d   e[#        [         [         [        -   5      (       d   e[        [         S-   5      [        [         5      S-   :X  d   e[        [         S-   5      [        [         5      S-   :X  d   e[        [         S[        -  -   5      [        [         5      S[        -  -   :X  d   e[        [         [$        -   5      [        [         5      [$        -   :X  d   e[        [        S-   5      [        [        5      S-   :X  d   e[        [        [$        -   5      [        [        5      [$        -   :X  d   e[        S[
        -   [        [        -  -   5      S[        [        5      [        -  -   :X  d   e[        [$        [&        -   5      [$        [&        -   :X  d   e[#        [         [         [        -  5      (       d   e[        [$        [        -  5      [$        [        -  :X  d   e[        [        SS5      [        [        -  -
  5      SS[        -  -
  :X  d   e[        [)        S5      5      S:X  d   e[        [)        S5      5      S:X  d   e[        [        S5      5      S:X  d   e[        [+        S5      * [+        S5      -  5      S:w  d   e[-        [        [+        S5      * [+        S5      -  5      R/                  SS95      S
:X  d   e[        [1        S5      [        S5      -  5      S:X  d   e[        [        5      [        :  S:X  d   e[        [        5      [        :  S:X  d   e[        [        5      [        :  S:X  d   e[        [        5      [        :*  S:X  d   e[        [         5      [         :  R2                  (       d   e[        [         5      [         :  R2                  (       d   e[        [         5      [        :  R2                  (       d   e[        [         5      [        :  R2                  (       d   e[        [        5      [        * :  S:X  d   e[        [        5      [        * :  S:X  d   e[        [        5      [        :*  S:X  d   e[        [        5      [        :  S:X  d   e[        [        5      R5                  [6        5      [7        [        * 5      * :X  d   e[        [        5      R5                  [8        5      [        [9        [        * 5      -   :X  d   e[        [        5      R5                  [6        5      R;                  [        [
        * 5      [7        [
        5      * :X  d   e[        [        5      R5                  [6        5      R;                  [        [        5      [7        [        * 5      * :X  d   e[        [        5      R5                  [8        5      R;                  [        [
        5      [        [
        5      :X  d   e[        [        5      R5                  [8        5      R;                  [        [        * 5      [        [        * 5      :X  d   e[=        [        [        5      [        [9        [        * 5      -   5      (       d   e[=        [        [        5      [7        [        * 5      * 5      (       d   e[?        SSS9n[?        SSS9n[?        SSS 9n[?        S!SS"9n[        U5      S:*  S:X  d   e[        U5      S:  US:*  :X  d   e[        U5      S:  S:X  d   e[        U5      S:  US:  :X  d   e[        U5      S
:  US
:  :X  d   e[        U5      S:*  US:*  :X  d   e[        U5      S:  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:*  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:  S:X  d   e[        U5      S:  S:X  d   e[        U5      S#:  US#:  :X  d   e[        U5      S:*  S:X  d   e[        U5      S:  S:X  d   e[        U5      R@                  S:X  d   e[        U5      RB                  S:X  d   e[        U5      R@                  b   e[        U5      RB                  b   e[        U5      R@                  S:X  d   e[        U5      RB                  S:X  d   e[        U5      R@                  S:X  d   e[        U5      RB                  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:*  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:*  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:  S:X  d   e[        SSS$9S:*  S:X  d   e[        SSS$9S:  S:X  d   e[        [         5      S%:*  [E        [        [         5      S%SS$9:X  d   e[        [         5      S&:  [G        [        [         5      S&SS$9:X  d   e[        [         5      S':  [I        [        [         5      S'SS$9:X  d   e[        [         5      S(:  [K        [        [         5      S(SS$9:X  d   e[        [        5      S%:*  [        S#:*  :X  d   e[        [        5      S&:  [        S):  :X  d   e[        [        5      S':  [        S:*  :X  d   e[        [        5      S(:  [        S:  :X  d   e[        [        5      [&        :*  [        [&        :*  :X  d   e[        [        5      [&        :  [        [&        S-
  :  :X  d   e[        [        5      [&        :  [        [&        S-
  :*  :X  d   e[        [        5      [&        :  [        [&        :  :X  d   e[        [M        [         S-  S*[         -  -
  S5      5      S:X  d   e[O        [Q        [&        [&        [S        [         S#-  [         S-  -
  S-   S5      -   5      [T        5      n[S        [         S#-  [         S-  -
  S-   S5      n[O        [Q        [&        [&        U-   5      [T        5      nURW                  [Y        S+S5      5      [[        S,S-5       Vs1 s H  owU-   iM	     sn:X  d   eg s  snf ).Nr   r0   r1   r6   r5   r2   r@   r>   r3   r8   r:   r;   r<   r=   rC   r9      g      @rA   rB   TrD   rF   l   '~$DA7YD3':^Xf FrG   rH   rJ   rK   rM   rN   rP   rQ   r4   rS   rU   rV   rW   rX   r7   rY   ii   ).r   r   r	   r   r   r
   r   rZ   r   r   r   r)   r[   r\   r   r+   r(   r%   r]   r^   r   r   r_   r`   r   ra   rb   r   r   rc   r   r   is_positiveis_nonpositiver   r   r   r   r   r#   r$   r    r!   	intersectr"   range)rf   rG   rJ   rM   rP   sfr)   s           rg   test_ceilingrt      s   3<32;"B3<B33<31:??1:??2;"1:??A2;"1Q3<12a4=B2;!B3<2166?a8B?#q(((8Aq>"a'''HQN?#r)))5;2%%%E$K< C'''5;1$$$E$K< B&&&1:??A2;1"
A66Wa//2a4=BqD   B3q5>bSU"""3qtAv;r>"c!B$q&k"n4441Q3<1Q32a4=BqD   1Q3<1A2a4=A1r6?b   26?a1r6?a1r6?a!e###72;1$$$71:'!*,,,71:'!*,,,Wa    Wac""""Wac""""1:??1Q3<1Q31Q3<1Q3Wac""""Wa!e$$$$1q5>WQZ!^+++1s7wqzA~---1s1u9ac!11111q5>WQZ!^+++1q5>WQZ!^+++1q5>WQZ!^+++1r6AaC< A
1$44441q5>QU"""Wac""""1Q3<1Q38B#ac)*a!A#g5553q6?a3r7q   3q6?aCF73q6>"b(((wAws1v~&,,$,78B>>>9R=Q'(IJ J J AJ!O$$$AJNu$$$AJNu$$$AJ!O%%%AJ!O****AJN))))AJ!O****AJN))))AJ2#$&&&AJ"%%%AJ"%%%AJO$$$1:e$r
2221:d#q48|3331:e$))!bS1eBiZ???1:e$))!Q/E1"I:===1:d#((B/72;>>>1:d#((QB/7A2;>>>gaj!dA2h,''''gaj5!9*%%%%

&C	$	'B

&C	$	'BCLA$&&&CL1#),,,CL1&&&CLA38,,,CL238,,,CLBC2I...BK!O%%%BK1%%%CL1&&&CLA%'''CL1%%%CLA$&&&CLA$&&&CL1#'***BK1%%%BK!O%%%3<##u,,,3<&&$...2;""***2;%%---3<##t+++3<&&%///2;""e+++2;%%---A&!+444A&*u444A&!+444A&*u444A&!+444A&*t333A&!+555A&*u444A&!+555A&*u444A&!+444A&*t333AJ#"WQZu"EEEEAJ$2gaj$#GGGGAJGAJe!DDDDAJ"WQZ"FFFFAJ#16***AJ$AF+++AJ!q&)))AJ1r6***AJ!Oa(((AJ!OQU+++AJNQU
+++AJNA&&&6!Q$A+q)*a///11q!ta ;<=xHA1q!ta#A1q5!8,A;;xR()U2r]-K]!e]-KKKK-Ks   FAFc                     [        [        [        5      [        5      (       d   e[        [        5      [	        SS5      :X  d   e[        [        * 5      [	        SS5      :X  d   e[        [
        5      [        L d   e[        [        5      S:X  d   e[        [        5      [        L d   e[        [        SS5      5      [        SS5      :X  d   e[        [        SS5      * 5      [        SS5      :X  d   e[        [        SS5      5      [        SS5      :X  d   e[        SSS	9n [        [        U -  5      [        [        U 5      -  :X  d   e[        S[        U -  -   5      [        [        U 5      -  :X  d   e[        S
[        U -  -   5      S
[        [        U 5      -  -   :X  d   e[        [        [        U -  -   5      [        [        U 5      -  :X  d   e[        [        [        [        -  -   5      S:X  d   e[        [        [        [        [        -  -   5      (       d   e[        [        [        [        -  -   5      [        [        5      :X  d   e[        [        5      R                  [        5      [        [        [        5      -
  :X  d   e[        [        5      R                  [        5      [        [        [        * 5      -   :X  d   e[        [         5      R                  [        5      R#                  [         [$        5      [        [$        5      :X  d   e[        [         5      R                  [        5      R#                  [         [&        * 5      [        [&        * 5      :X  d   e[        [         5      R                  [        5      R#                  [         [$        * 5      [        [$        * 5      :X  d   e[        [         5      R                  [        5      R#                  [         [&        5      [        [&        5      :X  d   e[)        [        [         5      [         [        [         5      -
  5      (       d   e[)        [        [         5      [         [        [         * 5      -   5      (       d   e[        SSS	9n [        SSSS9n[        SSSS9n[        SSSS9n[        SSSS9n[        SSS9n[        SSS9n[        SSSS9n[        SSSS9n[        U 5      U::  d   e[        U 5      U::  a   e[        U 5      U:*  R+                  [,        5      (       d   e[        U 5      U:*  R+                  [,        5      (       d   e[        U 5      U:  d   e[        U 5      U:  a   e[        U 5      U:  a   e[        U 5      U:  R+                  [.        5      (       d   e[        U 5      U:  a   e[        U 5      U:  d   e[        U 5      U:  d   e[        U 5      U:  R+                  [0        5      (       d   e[        U 5      U:  a   e[        U 5      U:  d   e[        U 5      U:  R+                  [2        5      (       d   e[        U 5      U:  R+                  [2        5      (       d   e[)        [        U 5      U5      (       a   e[)        [        U 5      U5      (       a   e[)        [        U 5      U5      R+                  [(        5      (       d   e[)        [        U 5      U5      R+                  [(        5      (       d   e[5        [        U 5      U5      (       d   e[5        [        U 5      U5      (       d   e[5        [        U 5      U5      R+                  [4        5      (       d   e[5        [        U 5      U5      R+                  [4        5      (       d   e[        U 5      U:*  R+                  [,        5      (       d   e[        U 5      U::  a   e[        U 5      U:*  R+                  [,        5      (       d   e[        U 5      U:*  R+                  [,        5      (       d   e[        U 5      U:  R+                  [.        5      (       d   e[        U 5      U:  a   e[        U 5      U:  a   e[        U 5      U:  R+                  [.        5      (       d   e[        U 5      U:  R+                  [0        5      (       d   e[        U 5      U:  d   e[        U 5      U:  d   e[        U 5      U:  R+                  [0        5      (       d   e[        U 5      U:  R+                  [2        5      (       d   e[        U 5      U:  d   e[        U 5      U:  R+                  [2        5      (       d   e[        U 5      U:  R+                  [2        5      (       d   e[)        [        U 5      U5      (       a   e[)        [        U 5      U5      R+                  [(        5      (       d   e[)        [        U 5      U5      R+                  [(        5      (       d   e[)        [        U 5      U5      R+                  [(        5      (       d   e[5        [        U 5      U5      R+                  [4        5      (       d   e[5        [        U 5      U5      (       d   e[5        [        U 5      U5      R+                  [4        5      (       d   e[5        [        U 5      U5      R+                  [4        5      (       d   e[        U 5      [        :  d   e[        U 5      [        ::  d   e[        U 5      [        :  a   e[        U 5      [        :  a   e[        U 5      [        * :  a   e[        U 5      [        * ::  a   e[        U 5      [        * :  d   e[        U 5      [        * :  d   e[        U 5      S:  d   e[        U 5      S::  d   e[        U 5      S:  a   e[        U 5      S:  a   e[        U 5      S:  a   e[        U 5      S:*  R+                  [,        5      (       d   e[        U 5      S:  R+                  [2        5      (       d   e[        U 5      S:  d   e[        U 5      [7        S5      ::  d   e[        U 5      [7        S5      [7        S5      -
  :*  R+                  [,        5      (       d   e[        U 5      [7        S5      [7        S5      -
  ::  a   e[        U 5      [7        S5      :  a   e[        U 5      [7        S5      [7        S5      -
  :  R+                  [0        5      (       d   e[        U 5      [7        S5      [7        S5      -
  :  d   e[)        [        U 5      [7        S5      5      (       a   e[)        [        U 5      [7        S5      [7        S5      -
  5      R+                  [(        5      (       d   e[)        [        U 5      [7        S5      [7        S5      -
  5      (       a   e[5        [        U 5      [7        S5      5      (       d   e[5        [        U 5      [7        S5      [7        S5      -
  5      R+                  [4        5      (       d   e[5        [        U 5      [7        S5      [7        S5      -
  5      (       d   e[        USS9R8                  (       d   e[        USS9R:                  (       d   e[        USS9R<                  (       d   e[        USS9R>                  (       d   e[        U 5      R:                  (       d   e[        U 5      R>                  (       d   e[        U 5      R8                  b   e[        U 5      R<                  b   e[        [        5      R:                  (       d   e[        [        5      R>                  (       d   eg )Nr   r0   r>   r6   r2   r7   rTr,   g      ?p_i)r.   rO   )r.   rI   np_i)r.   rR   nn_i)r.   rL   p_rrN   n_rrH   np_r)r-   rR   nn_r)r-   rL   FrS   ) 
isinstancer   r(   r	   r   r   r   r^   r   r   r   r]   r%   rb   r   r   r+   rc   r
   r   r   hasr   r   r   r   r   r   is_zero	is_finite
is_integeris_real)	rv   rw   n_irx   ry   rz   r{   r|   r}   s	            rg   	test_fracr     s   d1gt$$$$8{1a((((9Aq))))97a<<9A8Aq>111!Q HQN222Q HQN222sA!9$q'	!!!AaC=Ad1gI%%%ac	?cAd1gIo---AaC=Ad1gI%%%AaC=AT1qs7####AaC=DG###7??5!Qq\1117??7#q7A2;6667??5!&&q"-b9997??5!&&q1"-qb9997??7#((RC0D"I===7??7#((A.$q'999d1gq58|$$$$d1gq7A2;''''sA
t
4C
t
4C&$D9D&$D9D

&C

&C&t6D&t6D 7c>>Aw#~GtO  $$$$GtO  $$$$7S==Aw}Aw~GdN####Aw#~7c>>7d??GtO  $$$$Aw}7S==GdN####GdN####$q'3$q'3d1gt  $$$$d1gt  $$$$d1gsd1gsd1gt  $$$$d1gt  $$$$ GsN####Aw#~GtO  $$$$GtO  $$$$GcMr""""Aw}Aw~GdN####GsN####7c>>7d??GtO  $$$$GcMr""""7S==GdN####GdN####$q'3d1gs####d1gt  $$$$d1gt  $$$$d1gs####d1gsd1gt  $$$$d1gt  $$$$ 7R<<7b==Aw|Aw"}Aw"}Aw2#~7bS==7rc>>7Q;;7a<<Aw{?Aw!|Aw{?GqLb!!!!GaKR    7a<< 7d1gGtAwa((--b1111Aw$q'DG++++Aw$q'!!!GtAwa((--b11117d1gQ''''$q'47####d1gtAwa()--b1111$q'47T!W,----d1gtAwd1gtAwa()--b1111d1gtAwa())))e$,,,,e$....e$////e$,,,,77???7??"""7%%%88ri   c                  r   [        S5      u  p[        U 5      R                  XS5      [        U5      :X  d   e[        U 5      R                  XS5      [        U5      :X  d   e[        U 5      R                  U [        S5      S:X  d   e[        U 5      R                  U [        S5      S:X  d   e[        U 5      R                  U SS5      S:X  d   e[        U 5      R                  U SS5      S:X  d   e[        U * 5      R                  U SS5      S:X  d   e[        U * 5      R                  U SS5      S:X  d   eg )Nzx,yd   r6   r>   r   r0   r1   )r   r   nseriesr   r
   )r(   r+   s     rg   test_seriesr   *  s   5>DA8A#&%(2221:aC(GAJ6668Ar3'1,,,1:aS)Q...8Aq#&!+++1:aC(A---!9Q3'2---A2;q!S)Q...ri   c                     [        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SS9S:X  d   e[        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SS9S:X  d   e[        [        [        5      S-
  [        -  5      R                  [        SS9S:X  d   e[        [        [        5      S-
  [        -  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SS9S:X  d   e[        [        [        5      * [        -  5      R                  [        SS9S:X  d   e[        [        [        5      * [        -  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  S-  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  S-  5      R                  [        SS9S:X  d   e[        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SS9S:X  d   e[        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SS9S:X  d   e[        [        [        5      S-
  [        -  5      R                  [        SS9S:X  d   e[        [        [        5      S-
  [        -  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SS9S:X  d   e[        [        [        5      * [        -  5      R                  [        SS9S:X  d   e[        [        [        5      * [        -  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  S-  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  S-  5      R                  [        SS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SSSS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SSSS9S:X  d   e[        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SSSS9S:X  d   e[        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SSSS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SSSS9S:X  d   e[        [	        [        5      [        -  5      R                  [        SSSS9S:X  d   e[        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SSSS9S:X  d   e[        [        S-  [        -   [        S-  [        -
  -  5      R                  [        SSSS9S:X  d   eg )	Nr6   r2   r0   cdirr5   r1   r   r   )r   r(   as_leading_termr   r   r   r   series ri   rg   test_issue_14355r   6  sd    !Q$(QTAX&'77!7DJJJ!Q$(QTAX&'77"7EKKK#a&1*a 0010=CCC#a&1*a 0020>!CCCQ?**1Q*71<<<Q?**1R*8A===#a&++Aa+8B>>>#a&++Ab+9R???Q!,,Qq,9Q>>>Q!,,Qr,:a???AqD1Hq!tax()99!A9F"LLLAqD1Hq!tax()99!B9G1LLLCFQJ>"221Q2?1DDDCFQJ>"221R2@AEEE3q6!8,,Qq,9Q>>>3q6!8,,Qr,:a???CF719--a-:b@@@CF719--a-:b@@@3q6!8A:..q.;q@@@3q6!8A:..q.<AAAQ?!!!QA!6!;;;Q?!!!QA!6!;;;!Q$(QTAX&'..q!S.CrIII!Q$(QTAX&'..q!S.DJJJ3q6!8##Aq#a#8A===3q6!8##Aq#b#9Q>>>AqD1Hq!tax()00As10EKKKAqD1Hq!tax()00As20F!KKKri   c                     [        [        5      R                  [        5      [        :X  d   e[        [        5      R                  [        SS9[        :X  d   e[        [        5      R                  [        SS9S:X  d   e[        [        [        R                  -   5      R                  [        SS9[        R                  :X  d   e[        [        [        R                  -   5      R                  [        SS9[        R                  :X  d   e[        S[        -  S-   5      R                  [        SS9[        R
                  :X  d   e[        S[        -  S-   5      R                  [        SS9S[        -  :X  d   e[        [        [        5      S-   5      R                  [        SS9[        :X  d   e[        [        [        5      S-   5      R                  [        SS9[        R
                  :X  d   e[        [        [        S-  5      S-   5      R                  [        SS9[        S-  :X  d   e[        [        [        S-  5      S-   5      R                  [        SS9[        S-  :X  d   eg )Nr0   r   r1   r5   r4   r2   )r   r(   r   r   rZ   Oner   r   ri   rg   test_frac_leading_termr   X  s   7""1%***7""1Q"/14447""1R"0A555AFF
++Aa+8AFFBBBAFF
++Ab+9QVVCCC1q>))!A)6!%%???1q>))!B)72a4???A
++Aa+8A===A
++Ab+9QUUBBBAqD	A..q.;q!tCCCAqD	A..q.<1DDDri   c                     [        S[        [        -  -   [        [        -  -   5      S[        [        [        -   5      [        -  -   :X  d   e[        S[        -  [        [        -  -   [        [        -  -   5      [        S[        -   [        -   5      [        -  :X  d   e[        S[        -   [        [        -  -   [        [        -  -   5      S[        [        [        -   5      [        -  -   :X  d   eg )Nr6   r4   )r   r
   r   r+   r   r   ri   rg   test_issue_4149r   f  s    RTAaC Ab1fa$77771r!tac!"eAFQJ&7&9999QA!#$E"q&M!O(;;;;ri   c                  l    [        SSSS9n SSU * -  -  n[        [        U5      [        5      (       d   eg )Nr]   T)rO   r.   r2   )r   r~   r   )r]   r   s     rg   test_issue_21651r   m  s6    sT40A
AG)CeCj%((((ri   c                  \   [        [        [        5      5      [        [        5      :X  d   e[        [        [        5      5      [        [        5      :X  d   e[        [        [        5      5      [        [        5      :X  d   e[        [        [        5      5      [        [        5      :X  d   eg )Nr   r(   r   r   ri   rg   test_issue_11207r   s  sm    q?eAh&&&
***58a(((71:'!*,,,ri   c                     [        [        [        [        S-  5      [        -  5      * 5      [        [        [        S-  5      [        -  5      * :X  d   e[        [        [        [        S-  5      [        -  5      * 5      [        [        [        S-  5      [        -  5      * :X  d   e[        [        [        [        [	        SS5      -  [        -  5      * 5      5      [        [        [	        SS5      -  [        -  5      * :X  d   e[        [        [        [        5      [        -  5      * 5      * [        [        [        5      [        -  5      :X  d   eg )Nr6   r8   r2   )r   r   r(   r+   r   r   ri   rg   test_nested_floor_ceilingr   z  s    %1a(()eGAqDM!O.D-DDDDE'!Q$-/**+gadmAo0F/FFFF%8Aq> 1! 344565HQPQNARSTAT;U:UUUUWU1XaZ(())WU1XaZ-@@@@ri   c                  `   [        [        [        [        5      5      S-   5      [        [        5      S-   :X  d   e[        [        [        [        5      5      S-   5      [        [        5      S-   :X  d   e[        [        [        [        5      5      S-   5      [        [        5      S-   :X  d   eg )Nr6   r0   r   r   ri   rg   test_issue_18689r     s|    uQx1$%qA555771:&*+wqzA~===758$q()U1X\999ri   c                      [        [        S5      5      [        R                  L d   e[	        [        S5      5      [        R                  L d   eg )Nr   )r   floatr   Zeror   r   ri   rg   test_issue_18421r     s7    q?aff$$$58&&&ri   c                  2  ^ [        SSS9m[        SSS9n [        SSS9n[        [        U4S j5        [        [        U4S	 j5        [        [        U -  5      R                  [        S
S9S:X  d   e[        [        U -  5      R                  [        SS9S:X  d   e[        [        U-  5      R                  [        S
S9S:X  d   e[        [        U-  5      R                  [        SS9S:X  d   e[        [        U -  5      R                  [        S
S9S
:X  d   e[        [        U -  5      R                  [        SS9S:X  d   e[        [        U-  5      R                  [        S
S9S:X  d   e[        [        U-  5      R                  [        SS9S
:X  d   eg )NaTr,   brN   crH   c                  L   > [        [        T -  5      R                  [        SS9$ Nr0   r   )r   r(   r   r   s   rg   <lambda>"test_issue_25230.<locals>.<lambda>  s    ac
(B(B1Q(B(Ori   c                  L   > [        [        T -  5      R                  [        SS9$ r   )r   r(   r   r   s   rg   r   r     s    !(D(DQq(D(Qri   r0   r   r   r1   )r   r'   NotImplementedErrorr   r(   r   r   )r   r   r   s     @rg   test_issue_25230r     so   s4 Ast$Ast$A
 OP
 QR1:%%a%2a7771:%%a%3r9991:%%a%2b8881:%%a%3q8881Q3<''!'49991Q3<''"'5:::1Q3<''!'49991Q3<''"'5:::ri   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^   rh   rt   r   r   r   r   r   r   r   r   r   r   r   r   ri   rg   <module>r      s    9 H H H : : " / > = F F 9 B B 3  $ ) & % .
3K
3$
3Tud#1y.x~LBPf	/LDE < <)-A:
';ri   