GenericCylindricalDecomposition

GenericCylindricalDecomposition[ineqs,{x1,x2,}]
求由不等式 ineqs 表示的区域的柱形分解的全维数部分,以及任何包含其余区域的超曲面. 柱形部分的方向依次对应于 .

更多信息和选项更多信息和选项

2007年引入
(6.0)