% Example 6 (token from the REDUCE library) . %
% (Big) Trinks problem with 7 polynomials in 6 variables. 	        %
% This example is commented out, since it takes a long time to compute.	%
% (About 70 minutes on a VAX 780, for example (with REDUCE)).				%

% torder invlex; %


select int[w,p,z,t,s,b;'invlex]$
h := ideal( 45*p + 35*s - 165*b - 36,
       35*p + 40*z + 25*t - 27*s,
       15*w + 25*p*s + 30*z - 18*t - 165*b^2,
       -9*w + 15*p*t + 20*z*s,
        w*p + 2*z*t - 11*b^3,
       99*w - 11*b*s + 3*b^2) $
on showtime$
statgb := 1$
k := standard(h)$
