mv logh6rthstrat~ logh6rthstrat~~
mv logh6rthstrat logh6rthstrat~
mv gh6rthstratout gh6rthstratout~
../../bin/sun4/bergman <<%EOI >logh6rthstrat &
%end;
(set-heap-size 1600000)
(system "echo Running on $HOST")         
(load hseries) (lapin "../../src/macros.sl")
(algforminput)
vars a,b,c,d,e,f,z;
a+b+c+d+e+f,
a*b+b*c+c*d+d*e+e*f+f*a,
a*b*c+b*c*d+c*d*e+d*e*f+e*f*a+f*a*b,
a*b*c*d+b*c*d*e+c*d*e*f+d*e*f*a+e*f*a*b+f*a*b*c,
a*b*c*d*e+b*c*d*e*f+c*d*e*f*a+d*e*f*a*b+e*f*a*b*c+f*a*b*c*d,
a*b*c*d*e*f-z^6;
(OFF RAISE) (ON CUSTSHOW) (OFF USERMODE) (ON ERRCONT) (OFF GC)
(SETINTERRUPTSTRATEGY MINHILBLIMITS)
(DEGREEOUTPREPARE "gh6rthstratout")
(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 1 6 20 49 98 169 259 360 462 557 642 715 778 836 894
		  954 1014 1074 1134 1194)
(GETHSERIESMINIMA)
(GETHSERIESMINIMUM 5)
(GROEBNERINIT)
%(LENGTH (CAR InPols))
(TESTINDATA)
(GROEBNERKERNEL)
(LENGTH InPols) (LENGTH cInPols) (LENGTH GBasis) (LENGTH cGBasis) cDeg
(LENGTH SPairs) (LENGTH cSPairs)
(GROEBNERFINISH)
(CALCRATHILBERTSERIES)
(TDEGREEHSERIESOUT 18)
(TDEGREEHSERIESOUT 28)
HILBERTNUMERATOR
HILBERTDENOMINATOR
hstim
(INTERPBACKTRACE)
(QUIT)
%EOI
