time.m2

restart
path=append(path,"~/Documents/Github/levels");
path=append(path,"~/Dropbox/BEJ/m2");
load "supportVarieties.m2"
needsPackage "ThickSubcategories"
needsPackage "Complexes"
R=QQ[x,y,z,w]/ideal(x^2,x*y,y*z,z*w,w^2) 
time O1 = extKoszul(complex(R^1),complex(R^1))
time O2 = ExtE(R^1,R^1)



restart
path=append(path,"~/Documents/Github/levels");
path=append(path,"~/Dropbox/BEJ/m2");
load "supportVarieties.m2"
needsPackage "ThickSubcategories"
needsPackage "Complexes"
needsPackage "CompleteIntersectionResolutions"
R=QQ[x,y,z,w,t]/ideal(x^2,x*y,y*z,z*w,w*t,t^2) 
time O1 = extKoszul(complex(R^1),complex(R^1))
time O2 = ExtE(R^1,R^1)


time restrict(complex(R^1))
time restrict(R^1)
f = gens ideal(R)
C = chainComplex resolution(restrict(R^1));
time makeHomotopies(f,C)




restart
path=append(path,"~/Documents/Github/levels");
path=append(path,"~/Dropbox/BEJ/m2");
load "supportVarieties.m2"
needsPackage "ThickSubcategories"
needsPackage "Complexes"
needsPackage "CompleteIntersectionResolutions"
R=QQ[x,y,z,w]/ideal(x^2,x*y,y*z,z*w,w^2) 
C = koszul vars R
D = complex C
time nullhomotopy(x*id_C)
time nullHomotopy(x*id_D)