Description
i1 : R = QQ[x,y,z];
|
i2 : I = ideal(x^2, x*y, y*z);
o2 : Ideal of R
|
i3 : M = R^1/I
o3 = cokernel | x2 xy yz |
1
o3 : R-module, quotient of R
|
i4 : res M
1 3 2
o4 = R <-- R <-- R <-- 0
0 1 2 3
o4 : ChainComplex
|
i5 : pdim M
o5 = 2
|
Notice this is one more than the projective dimension of I as an R-module.
i6 : res(module I)
3 2
o6 = R <-- R <-- 0
0 1 2
o6 : ChainComplex
|
i7 : pdim(module I)
o7 = 1
|