解集合の位相的性質を計算する
整方程式系および不等式系の解集合 
は，変数に対する代数関数の境界で構築された円筒形式として明示的に表すことができる．
の位相境界 
，閉包 
，内部 
，連結成分は同じ形式で表すことができる．この例ではCylindricalDecompositionを使ってこのような明示的な表現を計算する方法を示す．
整方程式および不等式の解集合の位相的特性を計算する．
解集合を計算する．
結果を可視化する．
解集合の境界を計算する．
結果を可視化する．
解集合の内側を計算する．
結果を可視化する．
解集合の連結成分を計算する．
結果を可視化する．
