MATHEMATICA 組込みシンボル

SemialgebraicComponentInstances

SemialgebraicComponentInstances[ineqs, {x₁, x₂, ...}]
変数 , , ...の不等式 ineqs で定義された半代数的集合の接続された各要素について，少なくとも1つのサンプル点を返す．

詳細 詳細

SemialgebraicComponentInstancesは，すべての変数が実数であると仮定する．
不等式のリストあるいは論理結合を与えることができる．
SemialgebraicComponentInstancesで返される点の1つに，連続するパスで不等式集合の任意の解を接続させることができる．
SemialgebraicComponentInstancesは，変数についての規則のリストをSolveにおけるのと同じタイプで作成する．

例題 例題 すべて開く すべて閉じる

例 (1)例 (1)

相異なるそれぞれの要素中のサンプル点を少なくとも1つ求める：

Out[1]=

Out[2]=

スコープ (3)スコープ (3)

アプリケーション (4)アプリケーション (4)

特性と関係 (2)特性と関係 (2)

関連項目 関連項目

FindInstance Reduce CylindricalDecomposition GenericCylindricalDecomposition

チュートリアル チュートリアル

解の集合の表示

関連するガイド 関連するガイド

バージョン 6 の新機能

Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now

Buy/Upgrade

New to Mathematica? Find your learning path »

Have a question? Ask support »

© 2013 About Wolfram