Macaulay2 » Documentation
Packages » MCMApproximations :: setupModules
next | previous | forward | backward | up | index | toc

setupModules -- Creates a list of modules and maps over complete intersection for experiments

Synopsis

Description

This is useful for setting up an experiment. For example, we conjecture that the regularity of Ext_{R_i}(M_i,k_i) is a non-decreasing function of i. Here ring M = R_{c-1} and M_i = 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

See also

Ways to use setupModules:

For the programmer

The object setupModules is a method function.