CylindricalDecomposition[ineqs, {x1, x2, ...}]不等式 で表される領域を連続する の方向に対応した円柱部分へと分割する．
単位円板の円柱分解を求める：
Reduce Resolve FindInstance Discriminant Resultant SemialgebraicComponentInstances GenericCylindricalDecomposition GroebnerBasis FullSimplify
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »
で表される領域を連続する 
の方向に対応した円柱部分へと分割する．
で表される領域を連続する の方向に対応した円柱部分へと分割する．