mv 1474log~ 1474log~~
mv 1474log 1474log~
mv 1474out 1474out~
/usr/local/matte/bergman/Newbergman/bergman <<%EOI >1474log &
%end;
(set-heap-size 10000000)
%(load pbseries hseries) (ON MODLOGARITHMS) (SETMODULUS 31991)
(SETQ MAXDEG 8) (NONCOMMIFY)
(dskin "1474.a")
(OFF RAISE) (ON CUSTSHOW) (OFF USERMODE) (ON ERRCONT) (ON GC)
%(SETINTERRUPTSTRATEGY MINHILBLIMITS)
(DEGREEOUTPREPARE "1474out")
(SETQ NOOFNILREDUCTIONS 0) (SETQ NOOFSPOLCALCS 0)
(OFF USERMODE)
(DE DEGREEENDDISPLAY ()
 (PROGN	(DEGREEOUTPUT)
	(PRIN2 "
  Finished degree ") (PRINT cDeg)
	(PRIN2 " Number of new Groebner basis elements: ")
	(PRINT (SUB1 (LENGTH cGBasis)))
%	(SETQ t1 (TIME))
	(PRIN2 " Lengths of SPairs member lists:
  ")
	(PRINT (MAPCAR SPairs 'LENGTH))
	(PRIN2 "Number of S-polynomial reductions at this degree: ")
	(PRINT NOOFSPOLCALCS)
	(SETQ NOOFSPOLCALCS 0)
))
%(OFF REDUCTIVITY)
(GROEBNERINIT)
%(LENGTH (CAR InPols))
(TESTINDATA)
(GROEBNERKERNEL)
(LENGTH InPols) (LENGTH cInPols) (LENGTH GBasis) (LENGTH cGBasis) cDeg
(LENGTH SPairs) (LENGTH cSPairs)
(GROEBNERFINISH)
(INTERPBACKTRACE)
(QUIT)
%EOI
