CylindricalDecompositionFunction

CylindricalDecompositionFunction[data][x1,x2,…]

x1,x2,…における円柱代数式を表す．

詳細とオプション

例題

すべて開くすべて閉じる

例  (2)

開単位球の円柱代数式表現を求める：

単一セルの解を明示的な不等式として表す：

定量化された式の解集合の円柱代数式表現を求める：

結果を可視化する：

解集合の境界を計算する：

結果を可視化する：

解集合上で方程式を解く：

結果を可視化する：

スコープ  (23)

基本的な用法  (7)

整方程式と整不等式の解：

係数は代数的実数を含むことができる：

係数は実数の厳密な超越数を含むことができる：

整方程式と整不等式の定量化された系の解：

一定の真理値を持つCylindricalDecompositionFunctionを簡約するとTrueまたはFalseになる：

最初の引数が実数であるCylindricalDecompositionFunctionは自動的に簡約される：

CylindricalDecompositionFunctionオブジェクトを以降の計算に使う：

代数的マッピングを使ってCylindricalDecompositionFunctionを合成する：

CylindricalDecompositionFunctionオブジェクトと多項式不等式の論理結合を使う：

ブール演算  (2)

定量化された系のCylindricalDecompositionFunction解 を計算する：

の否定を求める：

が真であることを示す：

異なる2つの定量化された系のCylindricalDecompositionFunction解を計算する：

を計算する：

等式と不等式を解く  (2)

定量化された系のCylindricalDecompositionFunction解 を計算する：

の解集合上で方程式を解く：

CylindricalDecompositionFunctionオブジェクト，方程式，不等式の論理結合を解く：

限定子の消去  (3)

定量化されたCylindricalDecompositionFunctionオブジェクトから限定子を消去する：

変数が式に現れるのと同じ順序で定量化されている場合に限定子を消去する：

CylindricalDecompositionFunctionオブジェクトを含む系から限定子を消去する：

限定子を消去する費用は変数の順序に依存する：

定量化された変数が自由変数の後で式に現れる場合は，消去は速い：

異なる変数順で構築された式からの限定子の消去は，はるかに遅くなる：

得られた結果が等しいかどうかチェックする：

位相操作  (5)

解の領域とその境界のCylindricalDecompositionFunction表現を求める：

解の領域とその閉包のCylindricalDecompositionFunction表現を求める：

解の領域とその内部のCylindricalDecompositionFunction表現を求める：

解の領域とその外部のCylindricalDecompositionFunction表現を求める：

解の領域とその連結成分のCylindricalDecompositionFunction表現を求める：

ソルバへの入力としてのCylindricalDecompositionFunction  (4)

CylindricalDecompositionFunctionを使って最適化制約を指定する：

方程式，不等式，CylindricalDecompositionFunctionの制約を含む系を解く：

FindInstanceを使ってCylindricalDecompositionFunctionを含む系についての解の例を求める：

CylindricalDecompositionFunctionの解集合の各連結成分に含まれる点を少なくとも1つずつ求める：

アプリケーション  (4)

2つの面の射影の共通部分を計算する：

立体の射影上で最適化する：

代数曲線の連結成分を求める：

領域の連結成分を求める：

特性と関係  (5)

次は円柱代数式をカプセル化形式で与える：

デフォルトで，CylindricalDecompositionは明示的な等式と不等式として書かれた式を与える：

CylindricalDecompositionFunctionのNormalは等しく，しばしば直接計算された式と同一である：

カプセル化形式の円柱代数式は続く計算でより効率的なことが多い：

CylindricalDecompositionFunctionオブジェクトに対する操作は速い：

明示的な等式と不等式として書かれた円柱楕円式に対する操作は，はるかに遅くなることが多い：

FindInstanceを使ってCylindricalDecompositionFunctionオブジェクトを満たす点を求める：

SemialgebraicComponentInstancesは，半代数集合の各連結成分で少なくとも1つの点を与える：

CylindricalDecompositionFunctionは複数のセルをまとめてよりコンパクトな表現にする：

SemialgebraicComponentInstancesは，より少ない点で十分なことが分かった：

GenericCylindricalDecompositionは半代数集合の表現を低次元の部分まで計算する：

Method{"CylindricalDecompositionFunctionOutput"True}を使ってCylindricalDecompositionFunctionの結果を得る：

考えられる問題  (1)

CylindricalDecompositionFunctionは，非厳密な引数を与えられると，比較のために引数の非厳密な値を使うが，厳密な結果を生成する：

おもしろい例題  (1)

半代数的集合は極めて一般的である：

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

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2024_cylindricaldecompositionfunction, author="Wolfram Research", title="{CylindricalDecompositionFunction}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CylindricalDecompositionFunction.html}", note=[Accessed: 21-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_cylindricaldecompositionfunction, organization={Wolfram Research}, title={CylindricalDecompositionFunction}, year={2020}, url={https://reference.wolfram.com/language/ref/CylindricalDecompositionFunction.html}, note=[Accessed: 21-November-2024 ]}