% QE special issue - Geometric Intersections
% Geometric Intersections by Scott McCallum
% THE Computer Journal 36(5), 432--438, 1993.
% The examples are given on page 436 and 437.

rlset reals;


{}


% Open unit ball with center at the origin in $R^3$.

b1 := x**2+y**2+z**2<1$



% Open unit ball with center at the point $(1,1,1)$ in $R^3$.
b2 := (x-1)**2+(y-1)**2+(z-1)**2<1$



% Open unit ball with center at the point $(3/2,2,0)$ in $R^3$.
b4 := (x-3/2)**2+(y-2)**2+z**2<1$



mc4 := rlex(b1 and b2 and b4)$



rlqepcad mc4;


false


end;

Tested on alfred running Linux 4.4.38.1.amd64-smp x86_64 CSL
Time (counter 1): 40 ms  plus GC time: 30 ms
1: real 1.81
user 1.47
sys 0.23
