#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] ].
full-cad
go
go
go
d-fpc-stat
go
