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