a Эм>> 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 ZfiniteZ FiniteHandlerzVHandler for Q.finite. Test that an expression is bounded respect to all its variables.й┌docNй┌__name__┌ __module__┌__qualname__┌__doc__┌namer┌handlerйrr·u/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/assumptions/predicates/calculus.pyrs$■rc@s eZdZdZdZedddНZdS)┌InfinitePredicatezu Infinite number predicate. ``Q.infinite(x)`` is true iff the absolute value of ``x`` is infinity. ZinfiniteZInfiniteHandlerzHandler for Q.infinite key.rNrrrrrr1s■rc@seZdZdZdZedГZdS)┌PositiveInfinitePredicatezu Positive infinity predicate. ``Q.positive_infinite(x)`` is true iff ``x`` is positive infinity ``oo``. Zpositive_infiniteZPositiveInfiniteHandlerNrrrrrrAsrc@seZdZdZdZedГZdS)┌NegativeInfinitePredicatezv Negative infinity predicate. ``Q.negative_infinite(x)`` is true iff ``x`` is negative infinity ``-oo``. Znegative_infiniteZNegativeInfiniteHandlerNrrrrrrKsrN)Zsympy.assumptionsrZsympy.multipledispatchrrrrrrrrr┌s -