[Testing Phi5]
(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] \/ [(x - 8)^2 + (y - 2)^2 - 1 = 0 /\ (x - 8) (y - 2) - 1/4 < 0] \/ [(x - 12)^2 + (y - 3)^2 - 1 = 0 /\ (x - 12) (y - 3) - 1/4 < 0] \/ [(x - 16)^2 + (y - 4)^2 - 1 = 0 /\ (x - 16) (y - 4) - 1/4 < 0] ].
prop-eqn-const
go
d-proj-factors
eqn-const-list (A_2,1, A_2,3, A_2,5, A_2,7, A_2,9)
go
go
d-fpc-stat
go 
