
    \ha                     t    S SK Jr  S SKJr   " S S\5      r " S S\5      r " S S\5      r " S	 S
\5      rg)    )	Predicate)
Dispatcherc                   *    \ rS rSrSrSr\" SSS9rSrg)	FinitePredicate   am  
Finite number predicate.

Explanation
===========

``Q.finite(x)`` is true if ``x`` is a number but neither an infinity
nor a ``NaN``. In other words, ``ask(Q.finite(x))`` is true for all
numerical ``x`` having a bounded absolute value.

Examples
========

>>> from sympy import Q, ask, S, oo, I, zoo
>>> from sympy.abc import x
>>> ask(Q.finite(oo))
False
>>> ask(Q.finite(-oo))
False
>>> ask(Q.finite(zoo))
False
>>> ask(Q.finite(1))
True
>>> ask(Q.finite(2 + 3*I))
True
>>> ask(Q.finite(x), Q.positive(x))
True
>>> print(ask(Q.finite(S.NaN)))
None

References
==========

.. [1] https://en.wikipedia.org/wiki/Finite

finiteFiniteHandlerzVHandler for Q.finite. Test that an expression is bounded respect to all its variables.doc N	__name__
__module____qualname____firstlineno____doc__namer   handler__static_attributes__r       ]/var/www/auris/envauris/lib/python3.13/site-packages/sympy/assumptions/predicates/calculus.pyr   r      s!    #H D!Gr   r   c                   *    \ rS rSrSrSr\" SSS9rSrg)	InfinitePredicate1   ze
Infinite number predicate.

``Q.infinite(x)`` is true iff the absolute value of ``x`` is
infinity.

infiniteInfiniteHandlerzHandler for Q.infinite key.r
   r   Nr   r   r   r   r   r   1   s     D-Gr   r   c                   ,    \ rS rSrSrSr\" S5      rSrg)PositiveInfinitePredicateA   zi
Positive infinity predicate.

``Q.positive_infinite(x)`` is true iff ``x`` is positive infinity ``oo``.
positive_infinitePositiveInfiniteHandlerr   Nr   r   r   r   r   r   A       
 D23Gr   r   c                   ,    \ rS rSrSrSr\" S5      rSrg)NegativeInfinitePredicateK   zj
Negative infinity predicate.

``Q.negative_infinite(x)`` is true iff ``x`` is negative infinity ``-oo``.
negative_infiniteNegativeInfiniteHandlerr   Nr   r   r   r   r$   r$   K   r"   r   r$   N)sympy.assumptionsr   sympy.multipledispatchr   r   r   r   r$   r   r   r   <module>r*      s<    ' -*i *Z	  4	 44	 4r   