해집합의 위상적 성질 계산
다항 방정식과 부등식 시스템의 해집합 
는 변수에 대한 대수 함수의 한계로 만들어진 원통 형식으로 명시적으로 나타낼 수 있습니다. 위상 경계 
, 폐포 
, 내부 
, 연결된 성분 
는 동일한 형식으로 나타낼 수 있습니다. 이 예는 CylindricalDecomposition을 사용해 이러한 명시적 표현을 계산하는 방법을 보여줍니다.
다항 방정식과 부등식 해집합의 위상 특성을 계산합니다.
해집합을 계산합니다.
결과를 시각화합니다.
해집합의 경계를 계산합니다.
결과를 시각화합니다.
해집합의 내부를 계산합니다.
결과를 시각화합니다.
해집합의 연결 성분을 계산합니다.
결과를 시각화합니다.
