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