mv logslproblem~ logslproblem~~
mv logslproblem logslproblem~
mv gbslproblem gbslproblem~
mv pbslproblem pbslproblem~
mv hslproblem hslproblem~
~joeb/GB/Devbm/V0.988/bin/alpha/largebergman <<%EOI >logslproblem &
(ON PBSERIES)
(COND ((EQ (GETALGOUTMODE) 'LISP)
       (SETALGOUTMODE ALG)))
(NONCOMMIFY)
(SETMAXDEG 6)
(SETMODULUS 2)
(ALGFORMINPUT)
vars b,f,d,c,e,a;
a*a +e*d +f*b, d*e + b*b + c*a, b*e + e*c+e*f,  b*a + b*d + f*a, c*d + 
a*c + f*e, a*e + d*f + c*f, c*e + c*c +a*f, a*b + e*e + b*c + f*f, c*b + 
d*d + d*a + b*f, a*d + c*a + d*a;
(OFF RAISE)
(DEGREEOUTPREPARE "gbslproblem")
(SETQ PBoutfi (OPEN "pbslproblem" 'OUTPUT))
(SETQ Houtfi (OPEN "hslproblem" 'OUTPUT))
(ON CUSTSHOW)
(COPYD 'oldded 'DEGREEENDDISPLAY)
(COPYD 'DEGREEENDDISPLAY 'NCPBHDED)
(GROEBNERINIT)
(GROEBNERKERNEL)
(GROEBNERFINISH)
(CLOSE PBoutfi)
(CLOSE Houtfi)
(COPYD 'DEGREEENDDISPLAY 'oldded)
(QUIT)
%EOI
