
    Eda                         d dl mZ d dlmZ  G d de          Z G d de          Z G d de          Z G d	 d
e          ZdS )    )	Predicate)
Dispatcherc                   0    e Zd ZdZdZ edd          ZdS )FinitePredicatea  
    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.docN__name__
__module____qualname____doc__namer   handler     Elib/python3.11/site-packages/sympy/assumptions/predicates/calculus.pyr   r      s>        # #H Dj!  GGGr   r   c                   0    e Zd ZdZdZ edd          ZdS )InfinitePredicatezu
    Infinite number predicate.

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

    infiniteInfiniteHandlerzHandler for Q.infinite key.r	   Nr   r   r   r   r   r   1   s;          Dj-  GGGr   r   c                   ,    e Zd ZdZdZ ed          ZdS )PositiveInfinitePredicatezu
    Positive infinity predicate.

    ``Q.positive_infinite(x)`` is true iff ``x`` is positive infinity ``oo``.
    positive_infinitePositiveInfiniteHandlerNr   r   r   r   r   r   A   /         
 Dj233GGGr   r   c                   ,    e Zd ZdZdZ ed          ZdS )NegativeInfinitePredicatezv
    Negative infinity predicate.

    ``Q.negative_infinite(x)`` is true iff ``x`` is negative infinity ``-oo``.
    negative_infiniteNegativeInfiniteHandlerNr   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 4 4	 4 4 44 4 4 4 4	 4 4 4 4 4r   