qepcad
[Using the implicit EC]
(x,y,z)
3
[ [x^2 + y^2 + z^2 - 1 = 0 /\ x y z - 1/4 < 0] \/ [(x-4)^2 + (y-1)^2 + (z-2)^2 - 1 = 0 /\ (x-4) (y-1) (z-2) - 1/4 < 0] ].
prop-eqn-const
go
d-proj-factors
eqn-const-list (A_3,1, A_3,3)
go
go
d-fpc-stat
go 
 
