微积分

此模块包含负责微积分查询的查询处理程序：无穷小、有限等。

class sympy.assumptions.handlers.calculus.AskFiniteHandler

键“finite”的处理程序。

解释

测试一个表达式相对于其所有变量是否有界。

实例

>>> from sympy import Q
>>> from sympy.assumptions.handlers.calculus import AskFiniteHandler
>>> from sympy.abc import x
>>> a = AskFiniteHandler()
>>> a.Symbol(x, Q.positive(x)) is None
True
>>> a.Symbol(x, Q.finite(x))
True

static Add(expr, assumptions)

如果expr有界，则返回True；如果没有，则返回False；如果未知，则返回None。

真值表：

		B	U			是吗？
			“+”	“-”	“X”	“+”	“-”	“X”
B		B	U			是吗？
U	“+”		U	是吗？	是吗？	U	是吗？	是吗？
	“-”		是吗？	U	是吗？	是吗？	U	是吗？
	“X”		是吗？			是吗？
是吗？						是吗？

• ‘B’=有界

• ‘U’=无界

• '?' =未知有界性

• “+”=正号

• '-'=负号

• “x”=符号未知

• 全部有界->真

• 无界1->无界

• >1个无界，都有相同的已知符号->False

• 任何未知和未知符号->无

• 其他->无

当符号不一样时，你可以得到一个与oo-oo一样的未定义结果，因此'bounded'也是未定义的。

static Mul(expr, assumptions)

如果expr有界，则返回True；如果没有，则返回False；如果未知，则返回None。

真值表：

	B	U	是吗？
			S	/s
B	B	U	是吗？
U		U	U	是吗？
是吗？			是吗？

• B=有界

• U=无界

• ? =未知有界性

• s=有符号（因此非零）

• /s=未签名

static Pow(expr, assumptions)

无界 ** NonZero -> Unbounded Bounded ** 有界->有界Abs（）<=1 ** Positive -> Bounded Abs()>=1 ** 负->有界，否则未知

static Symbol(expr, assumptions)

处理符号。

实例

>>> from sympy import Q
>>> from sympy.assumptions.handlers.calculus import AskFiniteHandler
>>> from sympy.abc import x
>>> a = AskFiniteHandler()
>>> a.Symbol(x, Q.positive(x)) is None
True
>>> a.Symbol(x, Q.finite(x))
True