THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

MATHEMATICA 内置符号

TimeConstraint

TimeConstraint
是各种算法函数的一个选项，它指定尝试特定转换或部分算法所花费的时间.

在类似 Simplify 和 FullSimplify 的函数中，TimeConstraint 的设置仅给出在特定子集上执行特定转换所花费的最多时间；处理整个表达式的所有时间可能会认为更多.

改变 TimeConstraint 的设置将影响从类似 Simplify 或 FullSimplify 的函数获得的结果的有效性，但较小设置可能会阻止求出最简形式.

由于三角函数的展开，该操作花费较长的时间，但不产生化简：

TimeConstraint 限制在任何单个转换上的花费时间：

一个相似的例子，其中转换产生一个化简：

在这种情况下，设置 TimeConstraint 防止某些化简：

由于三角函数的展开，该操作花费较长的时间，但不产生化简：

Out[1]=

TimeConstraint 限制在任何单个转换上的花费时间：

Out[2]=

一个相似的例子，其中转换产生一个化简：

Out[1]=

在这种情况下，设置 TimeConstraint 防止某些化简：

Out[2]=

检测遵照假设的一个条件是否可能花费更多的时间：

如果一个条件不遵照假设，检测过程可能会花费较长的时间：

花费在单个条件检测的时间受到 TimeConstraint 值的限制：

在 1 秒的时间限制下，Refine 不能证明

：