#Worked Example
[EC1]
(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]].
prop-eqn-const
full-cad
go
d-proj-factors
eqn-const-list (A_5,2)
go
go
d-fpc-stat
go 
