mv freyjaJvlog~ freyjaJvlog~~
mv freyjaJvlog freyjaJvlog~
mv freyjaJvout freyjaJvout~
/usr/local/matte/bergman/Newbergman/bergman <<%EOI >freyjaJvlog &
%end;
(set-heap-size 16100000)
% Verbose statistics version of freyja-J-*.
(load pbseries hseries)
(ON MODLOGARITHMS) (SETMODULUS 31991) (SETQ MAXDEG 13)
(dskin "freyjaJin")
(OFF RAISE) (ON CUSTSHOW) (OFF USERMODE) (ON ERRCONT) (ON GC)
(SETINTERRUPTSTRATEGY MINHILBLIMITS)
(DEGREEOUTPREPARE "freyjaJvout")
(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)))
	(PRIN2 " Lengths of SPairs member lists:
  ")
	(PRINT (MAPCAR SPairs 'LENGTH))
	(PRIN2 " Numbers of SPairs: ")
	(PRINT (MAPCAR SPairs 'PtrLngth))
	(PRIN2 "Number of S-polynomial reductions at this degree: ")
	(PRINT NOOFSPOLCALCS)
	(SETQ NOOFSPOLCALCS 0)
	(PRIN2 "Number of reductions of 0 (zero) at this degree: ")
	(PRINT NOOFNILREDUCTIONS)
	(SETQ NOOFNILREDUCTIONS 0)
))
(DE PtrLngth (uu)
 (PROG	(rt ip)
	(SETQ rt 0) (SETQ ip (CDR uu))
  Ml	(COND (ip (SETQ rt (PLUS2 rt (LENGTH (Mpt (CAR ip)))))
	(SETQ ip (CDR ip)) (GO Ml)))
	(RETURN rt) ))
(SETHSERIESMINIMA 1 12 66 220 495 792  924 792 495 220 66 12 1  DEFAULT 0
)
(GETHSERIESMINIMA)
(GETHSERIESMINIMUM 5)
(OFF REDUCTIVITY)
(GROEBNERINIT)
(TESTINDATA)
(GETHSERIESMINIMUM 5)
(GROEBNERKERNEL)
(LENGTH InPols) (LENGTH cInPols) (LENGTH GBasis) (LENGTH cGBasis) cDeg
(LENGTH SPairs) (LENGTH cSPairs) HILBERTDENOMINATOR HILBERTNUMERATOR
(GROEBNERFINISH)
hstim
(INTERPBACKTRACE)
(QUIT)
%EOI
