mv lognew~ lognew~~
mv lognew lognew~
mv arnew arnew~
~joeb/GB/Devbm/V0.942/bin/Linux_elf/bergman <<%EOI >lognew &
ssh (set-heap-size 16000000)
(setalgoutmode alg)
(load anick) % (lapin "../src/macros.sl")
(SETQ ANICKRESOLUTIONOUTPUTFILE "arnew")
(noncommify) (onflybetti) (calcbetti)
(load vector-fix nbig0)
(setmaxdeg 15)
(dskin "innew")
%(OFF RAISE) (ON CUSTSHOW) (OFF USERMODE) (ON ERRCONT) (ON GC)
%(SETQ NOOFNILREDUCTIONS 0) (SETQ NOOFSPOLCALCS 0) (SETQ hstim 0)
(GROEBNERINIT)
%(LENGTH (CAR InPols))
(TESTINDATA)
(GROEBNERKERNEL)
(GROEBNERFINISH)
(TIME)
(INTERPBACKTRACE)
(QUIT)
%EOI
