[CAD for Example 22 using EC]
(x,y,z,w)
4
[ [x + y + z + w = 0 /\ z y - x^2 w < 0] ].
prop-eqn-const
go
eqn-const-list (A_4,1)
go
go
d-fpc-stat
go 
