o o ha@s\ddlmZddlmZGdddeZGdddeZGdddeZGd d d eZd S) ) Predicate) Dispatcherc@ eZdZdZdZedddZdS)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__namerhandlerrry/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/sympy/assumptions/predicates/calculus.pyrs$ rc@r)InfinitePredicatezu Infinite number predicate. ``Q.infinite(x)`` is true iff the absolute value of ``x`` is infinity. infiniteInfiniteHandlerzHandler for Q.infinite key.rNr rrrrr1s rc@eZdZdZdZedZdS)PositiveInfinitePredicatezu Positive infinity predicate. ``Q.positive_infinite(x)`` is true iff ``x`` is positive infinity ``oo``. positive_infinitePositiveInfiniteHandlerNr rrrrrA rc@r)NegativeInfinitePredicatezv Negative infinity predicate. ``Q.negative_infinite(x)`` is true iff ``x`` is negative infinity ``-oo``. negative_infiniteNegativeInfiniteHandlerNr rrrrrKrrN)sympy.assumptionsrsympy.multipledispatchrrrrrrrrrs -