% Hoon Hong, talk at the University of Passau, 20 Dec 2005.

rlset reals;


{}


hong := all(x,ex(y,x**2+x*y+b>0 and x+a*y**2+b<=0))$



rlqepcad hong;


a < 0 and b > 0


end;

Tested on alfred running Linux 4.4.38.1.amd64-smp x86_64 CSL
Time (counter 1): 50 ms  plus GC time: 59 ms
1: real 1.73
user 1.47
sys 0.16
