(SET-HEAP-SIZE 10000000)

(OFF USERMODE) (OFF RAISE)
(LOAD ANICK)
(PRINTTENSORPOLSDISTRIBUTED)
(ON CALCBETTI)
(ON ONFLYBETTI)
(SETMODULUS CHARACTERISTIC)
% (OFF !a!nDEBUG_!a!l)

(NONCOMMIFY)
(LAPIN "Examples/INSTANCE")
(SETQ ALGOUTMODE 'MAPLE)
(SETQ AO!* "")
(SETQ TOT_TIME (TIME))
(LINELENGTH 0)
(GROEBNERINIT)
(GROEBNERKERNEL)
(GROEBNERFINISH)
(CALCULATEANICKRESOLUTIONTOLIMIT MAXDEG)
(ANICKDISPLAY)

(PROGN
(SETQ TOT_TIME (DIFFERENCE (TIME) TOT_TIME))
(TERPRI)
(PRIN2 "Total time = ") (PRIN2 TOT_TIME) (PRIN2 " msc ") (PRIN2 "(100.00%)") (TERPRI)
(PRIN2 "Diff  time = ") (PRIN2 !a!nDIFFTIME) (PRIN2 " msc ")
(PRIN2 '!() (PRIN2 (TIMES2 100 (QUOTIENT (TIMES2 !a!nDIFFTIME 1.0) TOT_TIME))) (PRIN2 "%)") (TERPRI)
(PRIN2 "Betti time = ") (PRIN2 !a!nBETTITIME) (PRIN2 " msc ")
(PRIN2 '!() (PRIN2 (TIMES2 100 (QUOTIENT (TIMES2 !a!nBETTITIME 1.0) TOT_TIME))) (PRIN2 "%)") (TERPRI)
)
