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は1つの変換にかかる時間を制限する：

同様の例題，ここでは変換で簡約が行われる：

この場合，TimeConstraintを設定することである種の簡約が抑制される：

三角関数の展開のためにこれには時間がかかるが簡約はされない：

Out[1]=

TimeConstraintは1つの変換にかかる時間を制限する：

Out[2]=

同様の例題，ここでは変換で簡約が行われる：

Out[1]=

この場合，TimeConstraintを設定することである種の簡約が抑制される：

Out[2]=

条件が仮定に従っているかどうかのチェックには時間がかかることがある：

条件が仮定に従っていない場合，これをチェックしてもやはり時間がかかる場合がある：

1つの条件のチェックにかける時間はTimeConstraintの値で制限される：

1秒という時間制限をすると，Refineは

が証明できない：