/tmp/clpr

yes
| ?- [library('clpqr/examples/eliminat')].
{consulting /freyung/christian/sicstus2.1.9.clp/library/clpqr/examples/eliminat.pl...}
{/freyung/christian/sicstus2.1.9.clp/library/clpqr/examples/eliminat.pl consulted, 170 msec 15600 bytes}

yes
| ?- hull([X,Y]).

{Y=<2.0},
{X+0.5*Y=<3.0},
{X>=1.0},
{Y>= -0.0},
{X+Y>=2.0} ? 

yes
| ?- example(1,[_,_,X3,X4]).

{X3-0.3333333333333328*X4>= -0.33333333333333365},
{X3-1.2222222222222185*X4=<0.1111111111111095},
{X3-0.8888888888888873*X4=<0.11111111111110945},
{X3-0.7222222222222214*X4>= -0.2222222222222217},
{X3-0.16666666666667848*X4=<0.33333333333332205} ? 

yes
| ?- example(2,[X0,X1|_]).

{X0+0.1467030889468301*X1>= -0.047670549229302576},
{X0+0.3879120532395401*X1=< -0.7691743524189323},
{X0+0.01576973710784565*X1>=1.967054191675273},
{X0-0.31633069046036744*X1>=5.333044707442825},
{X0+0.14129088466591355*X1>=0.46689259039239467} ? 

yes
| ?- proj(1).
%%% Timing 00:00:00.060     0.060
[A,B,C,D]:6
{B>=0.0}
{A>=0.0}
{D-2.999999999999997*C+B+11.999999999999977*A=<0.9999999999999978}
{D-1.2857142857142863*C+0.142857142857143*B+2.5714285714285734*A>=0.142857142857143}
{D-1.6363636363636367*C+0.18181818181818196*B+3.2727272727272747*A>=0.18181818181818196}
{D-1.3846153846153857*C+0.30769230769230776*B+3.4615384615384635*A=<0.30769230769230776}

%%% Timing 00:00:00.170     0.170
[A,B,C]:6
{A>=0.0}
{C-6.000000000000002*B-2.000000000000002*A>= -2.000000000000002}
{C-1.3846153846153848*B+0.30769230769230765*A=<0.30769230769230765}
{C-0.818181818181818*B-0.09090909090909093*A>= -0.09090909090909093}
{C-1.1249999999999998*B-0.12500000000000003*A>= -0.12500000000000003}
{C-2.999999999999995*B+A=<0.999999999999998}

%%% Timing 00:00:00.160     0.160
[A,B]:5
{B-2.9999999999999996*A=<0.9999999999999988}
{B-0.8181818181818189*A>= -0.09090909090909098}
{B-1.1250000000000009*A>= -0.1250000000000004}
{B-1.384615384615386*A=<0.3076923076923073}
{B-6.000000000000392*A>= -2.0000000000001537}

%%% Timing 00:00:00.160     0.160
[A]:2
{A=<1.0000000000000016}
{A>= -0.4999999999999999}

%%% Timing 00:00:00.040     0.040
[]:0

%%% Timing 00:00:00.150     0.150
[A]:2
{A=<0.5000000000000004}
{A>= -0.5}

%%% Timing 00:00:00.150     0.150
[A,B]:3
{A>=0.0}
{B-0.49999999999999994*A>= -0.49999999999999994}
{B+A=<1.0000000000000056}

%%% Timing 00:00:00.120     0.120
[A]:2
{A>=0.0}
{A=<1.0}

%%% Timing 00:00:00.150     0.150
[A,B]:3
{A>=0.0}
{B-0.4999999999999997*A>= -0.49999999999999983}
{B+0.5000000000000008*A=<0.5000000000000007}

%%% Timing 00:00:00.140     0.140
[A,B,C]:6
{A>=0.0}
{C-1.9999999999999998*B+2.999999999999999*A>= -0.0}
{C-1.384615384615385*B+3.461538461538463*A=<0.3076923076923077}
{C-B+A>= -0.0}
{C-1.3333333333333335*B+1.3333333333333341*A>= -0.0}
{C-2.999999999999997*B+11.999999999999982*A=<0.9999999999999984}

%%% Timing 00:00:00.140     0.140
[A,B]:4
{A>=0.0}
{B-7.199999999999999*A>= -0.7999999999999998}
{B-4.499999999999999*A>= -0.4999999999999999}
{B+4.500000000000004*A=<1.0000000000000007}

%%% Timing 00:00:00.110     0.110
[A]:2
{A>=0.0}
{A=<0.1538461538461539}

%%% Timing 00:00:00.130     0.130
[A,B]:4
{A>=0.0}
{B-6.400000000000002*A>= -0.6000000000000002}
{B-5.500000000000002*A>= -0.5000000000000001}
{B+0.7500000000000011*A=<0.5000000000000001}

%%% Timing 00:00:00.130     0.130
[A,B,C]:5
{B>=0.0}
{A>=0.0}
{C+B+4.500000000000005*A=<1.0000000000000013}
{C-0.49999999999999994*B-4.5*A>= -0.49999999999999994}
{C-0.7999999999999999*B-7.2*A>= -0.7999999999999999}

%%% Timing 00:00:00.100     0.100
[A,B]:3
{B>= -1.1102230246251568e-16}
{A>=0.0}
{B+6.499999999999998*A=<1.0}

%%% Timing 00:00:00.130     0.130
[A,B,C]:5
{B>=0.0}
{A>=0.0}
{C+0.49999999999999806*B+0.7499999999999849*A=<0.49999999999999806}
{C-0.5*B-5.499999999999998*A>= -0.5}
{C-0.5999999999999998*B-6.399999999999999*A>= -0.5999999999999998}

%%% Timing 00:00:00.020     0.020

no
| ?- proj(3).
%%% Timing 00:00:00.060     0.060
[A,B,C,D]:6
{B>=0.0}
{A>0.0}
{D-2.999999999999997*C+B+11.999999999999977*A=<0.9999999999999978}
{D-1.2857142857142863*C+0.142857142857143*B+2.5714285714285734*A>=0.142857142857143}
{D-1.6363636363636367*C+0.18181818181818196*B+3.2727272727272747*A>=0.18181818181818196}
{D-1.3846153846153857*C+0.30769230769230776*B+3.4615384615384635*A=<0.30769230769230776}

%%% Timing 00:00:00.160     0.160
[A,B,C]:6
{A>=0.0}
{C-6.000000000000002*B-2.000000000000002*A>= -2.000000000000002}
{C-1.3846153846153848*B+0.30769230769230765*A<0.30769230769230765}
{C-0.818181818181818*B-0.09090909090909093*A>= -0.09090909090909093}
{C-1.1249999999999998*B-0.12500000000000003*A>= -0.12500000000000003}
{C-2.999999999999995*B+A<0.999999999999998}

%%% Timing 00:00:00.170     0.170
[A,B]:5
{B-2.9999999999999996*A<0.9999999999999988}
{B-0.8181818181818189*A>= -0.09090909090909098}
{B-1.1250000000000009*A>= -0.1250000000000004}
{B-1.384615384615386*A<0.3076923076923073}
{B-6.000000000000392*A>= -2.0000000000001537}

%%% Timing 00:00:00.180     0.180
[A]:2
{A<1.0000000000000016}
{A> -0.4999999999999999}

%%% Timing 00:00:00.030     0.030
[]:0

%%% Timing 00:00:00.150     0.150
[A]:2
{A<0.5000000000000004}
{A> -0.5}

%%% Timing 00:00:00.140     0.140
[A,B]:3
{A>=0.0}
{B-0.49999999999999994*A> -0.49999999999999994}
{B+A<1.0000000000000056}

%%% Timing 00:00:00.130     0.130
[A]:2
{A>=0.0}
{A<1.0}

%%% Timing 00:00:00.140     0.140
[A,B]:3
{A>=0.0}
{B-0.4999999999999997*A> -0.49999999999999983}
{B+0.5000000000000008*A<0.5000000000000007}

%%% Timing 00:00:00.120     0.120
[A,B,C]:6
{A>0.0}
{C-1.9999999999999998*B+2.999999999999999*A>= -0.0}
{C-1.384615384615385*B+3.461538461538463*A=<0.3076923076923077}
{C-B+A>= -0.0}
{C-1.3333333333333335*B+1.3333333333333341*A>= -0.0}
{C-2.999999999999997*B+11.999999999999982*A=<0.9999999999999984}

%%% Timing 00:00:00.140     0.140
[A,B]:4
{A>0.0}
{B-7.199999999999999*A>= -0.7999999999999998}
{B-4.499999999999999*A>= -0.4999999999999999}
{B+4.500000000000004*A=<1.0000000000000007}

%%% Timing 00:00:00.120     0.120
[A]:2
{A>0.0}
{A=<0.1538461538461539}

%%% Timing 00:00:00.120     0.120
[A,B]:4
{A>0.0}
{B-6.400000000000002*A>= -0.6000000000000002}
{B-5.500000000000002*A>= -0.5000000000000001}
{B+0.7500000000000011*A=<0.5000000000000001}

%%% Timing 00:00:00.110     0.110
[A,B,C]:5
{B>=0.0}
{A>0.0}
{C+B+4.500000000000005*A=<1.0000000000000013}
{C-0.49999999999999994*B-4.5*A>= -0.49999999999999994}
{C-0.7999999999999999*B-7.2*A>= -0.7999999999999999}

%%% Timing 00:00:00.130     0.130
[A,B]:3
{B>= -1.1102230246251568e-16}
{A>0.0}
{B+6.499999999999998*A=<1.0}

%%% Timing 00:00:00.110     0.110
[A,B,C]:5
{B>=0.0}
{A>0.0}
{C+0.49999999999999806*B+0.7499999999999849*A=<0.49999999999999806}
{C-0.5*B-5.499999999999998*A>= -0.5}
{C-0.5999999999999998*B-6.399999999999999*A>= -0.5999999999999998}

%%% Timing 00:00:00.020     0.020

no
| ?- ^D