GenericCylindricalDecomposition

GenericCylindricalDecomposition[ineqs,{x1,x2,}]
不等式 ineqs で表されている領域を,その方向が連続する に対応する円柱形の部分に分解したものの完全次元の部分を,領域の残りを含む超曲面とともに求める.

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

2007年に導入
(6.0)