SemialgebraicComponentInstances

SemialgebraicComponentInstances[ineqs,{x1,x2,…}]

変数 x1, x2, …の不等式 ineqs で定義された半代数的集合の接続された各要素について，少なくとも1つのサンプル点を返す．

詳細

例題

すべて開くすべて閉じる

例  (1)

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

スコープ  (3)

単変数多項不等式：

多変数多項方程式と多項不等式：

方程式と不等式のブール結合：

アプリケーション  (4)

単変数多項不等式で定義された各区間中の少なくとも1点を求める：

弱い不等式の場合は根も求まる：

二次元平面集合の各連結成分中の少なくても1点を求める：

曲面の各連結成分中の少なくとも1点を求める：

立体の各連結成分中の少なくとも1点を求める：

これらの点は不等式を満足する：

これらの点を使って数値的に求まったグラフィックスで集合の部分が欠落しているかどうかをチェックする：

特性と関係  (2)

返された例は入力の不等式を満足する：

FindInstanceを使って不等式を満足する例を1つ求める：

CylindricalDecompositionまたはReduceを使って解集合の完全な記述を得る：

不等式に解がない場合には空のリストが返される：

Resolveを使っても同様の結果が得られる：

Wolfram Research (2007), SemialgebraicComponentInstances, Wolfram言語関数， https://reference.wolfram.com/language/ref/SemialgebraicComponentInstances.html.

テキスト

Wolfram Research (2007), SemialgebraicComponentInstances, Wolfram言語関数， https://reference.wolfram.com/language/ref/SemialgebraicComponentInstances.html.

CMS

Wolfram Language. 2007. "SemialgebraicComponentInstances." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SemialgebraicComponentInstances.html.

APA

Wolfram Language. (2007). SemialgebraicComponentInstances. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SemialgebraicComponentInstances.html

BibTeX

@misc{reference.wolfram_2025_semialgebraiccomponentinstances, author="Wolfram Research", title="{SemialgebraicComponentInstances}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/SemialgebraicComponentInstances.html}", note=[Accessed: 03-April-2025 ]}

BibLaTeX

@online{reference.wolfram_2025_semialgebraiccomponentinstances, organization={Wolfram Research}, title={SemialgebraicComponentInstances}, year={2007}, url={https://reference.wolfram.com/language/ref/SemialgebraicComponentInstances.html}, note=[Accessed: 03-April-2025 ]}