 |
FindInstance
FindInstance[expr, vars]
がTrueとなる 
の例を求める．
FindInstance[expr, vars, dom]
領域 
における例を求める．通常 
はComplexes，Reals，Integers，Booleansのいずれかである．
FindInstance[expr, vars, dom, n]
n 個の例を求める．
詳細とオプション
- FindInstance[expr, {x1, x2, ...}]はSolveにおけるのと同形式の結果を返す．例が存在する場合は
，存在しない場合は
である． - expr は方程式，不等式，領域指定および量限定子をReduceにおけるのと同じ形で持つことができる．
- 厳密な記号入力を与えると，FindInstanceは厳密な結果を返す．
- たとえ2つの入力が同じ数学的な集合を定義しても，FindInstanceは別々の例を選んで返すことがある．
- FindInstanceが返す例は通常集合中の特殊なあるいは興味深い点に対応する．
- FindInstance[expr, vars]はデフォルトにより不等式に代数的に現れる数量は実数であり，その他の数量は複素数であると推定する．
- FindInstance[expr, vars, Integers]はディオファントス(Diophantus)方程式の解を求める．
- FindInstance[expr, vars, Booleans]は expr に対するBooleanの充足可能性を求める．
- FindInstance[expr, vars, Reals]は，vars だけでなく，expr におけるすべての関数の値も実数であると推定する．FindInstance[expr&&vars
Reals, vars]は vars のみが実数であると推定する． - FindInstanceはReduceが完全に簡約できなくても例を見付けられる可能性がある．
- 与えられた入力について実行するたびに，FindInstanceは同じ出力を返す．
- オプションRandomSeed->s の設定が異なると，異なる例の集合が返される可能性がある．
- FindInstance[expr, vars, dom, n]は，例の総数が n よりも小さいときは短いリストを返す．
バージョン 5 の新機能
