[Testing Phi2]
(x,y)
2
[ [x^2 + y^2 - 1 = 0 /\ x y - 1/4 < 0] \/ [(x - 4)^2 + (y - 1)^2 - 1 = 0 /\ (x - 4) (y - 1) - 1/4 < 0] ].
prop-eqn-const
go
d-proj-factors
eqn-const-list (A_2,1, A_2,3)
go
go
d-fpc-stat
go 
