resolution(..., DegreeLimit => ...) -- compute only up to this degree

resolution(..., DegreeLimit => ...) -- compute only up to this degree

DegreeLimit => n -- keyword for an optional argument used with resolution which specifies that the computation should halt after dealing with degree n.

This option is relevant only for homogeneous modules.

Caveat:

One might get some matrix entries of slightly higher degree than requested.

i1 : R = ZZ/101[x,y,z,w];

i2 : M = cokernel matrix {{x*y-z^2,y^2-w^2}}



o2 = cokernel | xy-z2 y2-w2 |



                            1

o2 : R-module, quotient of R

i3 : res(M,DegreeLimit => 1)



      1      2

o3 = R  <-- R  <-- 0

                    

     0      1      2



o3 : ChainComplex

i4 : res(M,DegreeLimit => 2)



o4 = 0



o4 : ChainComplex

See also:

Default value: null -- nothingness

Function: resolution -- make a projective resolution

Option name: DegreeLimit -- compute up to a certain degree