This is useful for setting up an experiment. For example, we conjecture that the regularity of ExtRi(Mi,ki) is a non-decreasing function of i. Here ring M = Rc-1 and Mi = pushForward(p(c-1)i, M).
i1 : needsPackage "CompleteIntersectionResolutions" -- for "evenExtModule" o1 = CompleteIntersectionResolutions o1 : Package |
i2 : R =setupRings(3,2);--codims 0..3, degrees = 2 |
i3 : MM0 = coker random(R_3^2, R_3^{3: -1}); |
i4 : (M,kkk,p) = setupModules(R,MM0); |
i5 : apply(3, j->regularity evenExtModule M_(j+1)) o5 = {1, 2, 3} o5 : List |