mv loghl1215~ loghl1215~~
mv loghl1215 loghl1215~
mv ghl1215out ghl1215out~
/usr/local/matte/bergman/Newbergman/bergman <<%EOI >loghl1215 &
end;
(set-heap-size 16000000)
(load pbseries hseries) (lapin "../src/macros.sl")
(dskin "g1215in")
(OFF RAISE) (ON CUSTSHOW) (OFF USERMODE) (ON ERRCONT) (ON GC)
(SETINTERRUPTSTRATEGY MINHILBLIMITS)
(DEGREEOUTPREPARE "ghl1215out")
(SETQ NOOFNILREDUCTIONS 0) (SETQ NOOFSPOLCALCS 0) (SETQ hstim 0)
(DE DEGREEENDDISPLAY ()
 (PROGN	(DEGREELMOUTPUT)
	(PRIN2 "
  Finished degree ") (PRINT cDeg)
	(PRIN2 " Number of new Groebner basis elements: ")
	(PRINT (SUB1 (LENGTH cGBasis)))
	(SETQ t1 (TIME))
))
(DE FixEndDegreeThings ()
 (PROGN	(SETQ hstim (PLUS2 (DIFFERENCE (TIME) t1) hstim))
	(PRIN2 " Time: ") (PRINT (TIME))
	(PRIN2 " Denominator degree: ") (PRINT HILBERTDENOMINATOR)
	(PRIN2 " Numerator: ") (PRINT HILBERTNUMERATOR)
	(PRIN2 " Current Hilbert function value: ")
	(PRINT (TDEGREEHSERIESOUT cDeg))
	(PRIN2 " Next Hilbert function value: ")
	(PRINT (TDEGREEHSERIESOUT (ADD1 cDeg)))
	(PRIN2 " Next Hilbert function limitation: ")
	(PRINT (GETHSERIESMINIMUM (ADD1 cDeg)))
	(PRIN2T "(For reference, GETHSERIESMINIMA yields:)")
	(PRINT (GETHSERIESMINIMA))
	(PRIN2 " Lengths of SPairs member lists:
  ")
	(PRINT (MAPCAR SPairs 'LENGTH))
	(PRIN2 "Number of S-polynomial reductions at this degree: ")
	(PRINT NOOFSPOLCALCS)
	(SETQ NOOFSPOLCALCS 0)
))
(SETHSERIESMINIMA (6 . 0) (5 . 168) (4 . 300) (3 . 184) (2 . 63)
		  (1 . 12) (0 . 1) (DEFAULT . T))
(GETHSERIESMINIMA)
(GETHSERIESMINIMUM 5)
(GROEBNERINIT)
%(LENGTH (CAR InPols)) (TESTINDATA)
(GROEBNERKERNEL)
(LENGTH InPols) (LENGTH cInPols) (LENGTH GBasis) (LENGTH cGBasis) cDeg
(LENGTH SPairs) (LENGTH cSPairs)
(GROEBNERFINISH)
hstim
(INTERPBACKTRACE)
(QUIT)
%EOI
