mv log1220~ log1220~~
mv log1220 log1220~
mv g1220out g1220out~
/usr/local/matte/bergman/Newbergman/bergman <<%EOI >log1220 &
end;
(set-heap-size 16000000)
(load pbseries hseries) (lapin "../src/macros.sl")
(dskin "g1220in")
(OFF RAISE) (ON CUSTSHOW) (OFF USERMODE) (ON ERRCONT) (ON GC)
(DEGREEOUTPREPARE "g1220out")
(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)))
))
(DE FixEndDegreeThings ()
 (PROGN	(SETQ t1 (TIME))
	(commCALCRATHILBERTSERIES)
	(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 (commTDEGREEHSERIESOUT cDeg))
	(PRIN2 " Lengths of SPairs member lists:
  ")
	(PRINT (MAPCAR SPairs 'LENGTH))
	(PRIN2 "Number of S-polynomial reductions at this degree: ")
	(PRINT NOOFSPOLCALCS)
	(SETQ NOOFSPOLCALCS 0)
))
(GROEBNERINIT)
%(LENGTH (CAR InPols)) (TESTINDATA)
(GROEBNERKERNEL)
(LENGTH InPols) (LENGTH cInPols) (LENGTH GBasis) (LENGTH cGBasis) cDeg
(LENGTH (CAR InPols)) (LENGTH SPairs) (LENGTH cSPairs)
(GROEBNERFINISH)
hstim
(INTERPBACKTRACE)
(QUIT)
%EOI
