CylindricalDecomposition

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

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

  • CylindricalDecompositionはすべての変数が実数であると仮定する.
  • 不等式のリストあるいは論理結合を与えることができる.
  • CylindricalDecompositionは一般に上下限に代数関数を含むような不等式を返す.
2003年に導入
(5.0)