/* Problem: consider a circle given by a center (x0,y0) and a radius R.
            Given a real D>=0, find all the points on the circle which
            distance to the origin is D.
*/

Branch number=1;

Constants
  D  = 2.75,
  x0 = 2,
  y0 = 1,
  R  = 1.25
;

Variables
  x in ]-oo, +oo[,
  y in ]-oo, +oo[
;

Constraints
  (x-x0)^2 + (y-y0)^2 = R^2,
  x^2 + y^2 = D^2
;
