(set-heap-size 10000000)
(setq maxdeg 12)
(noncommify)
(setmodulus 5)
(load anick)
(on pbseries) (on calcbetti) (on onflybetti)
(SETQ ANICKRESOLUTIONOUTPUTFILE "anresjer4.5")
(SETQ ALGOUTMODE 'MAPLE)
(ALGFORMINPUT)
vars x,y,z,u,v,w;
x*z+z*x,
y*u+u*y, y*z+z*y,
y*w+w*y,
z*v+v*z,
x*u+u*x,
u*v+v*u-x*w-w*x,
x*v+v*x+w*u+u*w+2*u*v+2*v*u;
(GI)
(GK)
%(PROGN (TERPRI)
% (PRIN2 "Total resolution calculation time (in ms): ")
% (PRINT !a!nDIFFTIME)
% (PRIN2 "Total Betti numbers calculation time (in ms): ")
% (PRINT !a!nBETTITIME))
