mv freyjalog~ freyjalog~~
mv freyjalog freyjalog~
mv freyjaout freyjaout~
/usr/local/matte/bergman/Newbergman/bergman <<%EOI >freyjalog &
%end;
(set-heap-size 16100000)
(load pbseries hseries)
(ON MODLOGARITHMS) (SETMODULUS 31991) (SETQ MAXDEG 6)
(dskin "freyjain")
(OFF RAISE) (ON CUSTSHOW) (OFF USERMODE) (ON ERRCONT) (ON GC)
(SETINTERRUPTSTRATEGY MINHILBLIMITS)
(DEGREEOUTPREPARE "freyjaout")
(SETQ NOOFNILREDUCTIONS 0) (SETQ NOOFSPOLCALCS 0) (SETQ hstim 0)
(OFF USERMODE)
(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)
))
%(COPYD 'TrueCALCRATHILBERTSERIES 'CALCRATHILBERTSERIES)
%(DE CALCRATHILBERTSERIES () (PROGN (PRIN2T "Before CALCRATHILBERTSERIES") (TrueCALCRATHILBERTSERIES)
%			(PRIN2T "After CALCRATHILBERTSERIES")))
%(SETHSERIESMINIMUMDEFAULT
% (QUOTIENT (PLUS (TIMES 9 CDG (SUB1 CDG))
%		 12)
%	   2))
(SETHSERIESMINIMA 1 16 124 624 2310 6768 16508 34832 65537 112640 180224 
%272384 393216 546816 737280 968704 1245184 1570816 1949696 2385920 
%2883584 3446784 4079616 4786176 5570560 6436864 7389184 8431616 9568256
% 10803200 12140544
)
(GETHSERIESMINIMA)
(GETHSERIESMINIMUM 5)
(OFF REDUCTIVITY)
(GROEBNERINIT)
%(LENGTH (CAR InPols))
(TESTINDATA)
(GETHSERIESMINIMUM 5)
(GROEBNERKERNEL)
(LENGTH InPols) (LENGTH cInPols) (LENGTH GBasis) (LENGTH cGBasis) cDeg
(LENGTH SPairs) (LENGTH cSPairs) HILBERTDENOMINATOR HILBERTNUMERATOR
(GROEBNERFINISH)
hstim
(INTERPBACKTRACE)
(QUIT)
%EOI
