#Example 1 - Sign Invariant CAD
[]
(x,y,z)
3
[ [x + y^2 + z = 0] /\ [x - y^2 + z = 0] /\ [x^2 + y^2 + z^2 -1 >= 0] ].
prop-eqn-const
full-cad
go
d-proj-factors
eqn-const-list (A_3,1)
go
go
d-fpc-stat
go 