CylindricalDecomposition

CylindricalDecomposition[ineqs, {x1, x2, ...}]
不等式 で表される領域を連続する の方向に対応した円柱部分へと分割する.

詳細とオプション詳細とオプション

  • CylindricalDecompositionはすべての変数が実数であると仮定する.
  • 不等式のリストあるいは論理結合を与えることができる.
  • CylindricalDecompositionは一般に上下限に代数関数を含むような不等式を返す.
バージョン 5 の新機能
New to Mathematica? Find your learning path »
Have a question? Ask support »