#Worked Example
[f1 only]
(v,u,x,y,z)
5
[ [z^2 + x - y = 0] /\ [-u^2 + v^2 + z^2 - 1 = 0] /\ [z^2 + x + y = 0] /\ [u^2 - v^2 + z^2 - 1 = 0] /\ [0 <= x^2 - 1] /\ [0 <= z]].
full-cad
go
go
go
d-fpc-stat
go

