计算解集的拓扑属性
可通过用变量的代数函数边界构建的圆柱公式显式表示多项式方程组和不等式组的解集 
。可用同样的格式表示拓扑边界 
、闭包 
、内点 
和连通分量 
。下面的例子说明怎样用 CylindricalDecomposition 来计算这些显式的表示。
计算多项式方程和不等式的解集的拓扑性质。
计算解集。
可视化结果。
计算解集的边界。
可视化结果。
计算解集的内点。
可视化结果。
计算解集的连通分量。
可视化结果。
‹›
