[A CAD for Phi using the implicit EC]
(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
eqn-const-list (A_2,1, A_2,3)
go
go
d-fpc-stat
go 
