i1 : R = QQ[x]/x^5; |
i2 : C = res coker vars R
1 1 1
o2 = R <-- R <-- R
0 1 2
o2 : ChainComplex
|
i3 : M = HH C
o3 = 0 : cokernel | x |
1 : subquotient ({1} | x4 |, {1} | x4 |)
2 : image {5} | x |
o3 : GradedModule
|
i4 : prune M
o4 = 0 : cokernel | x |
1 : 0
2 : cokernel {6} | x4 |
o4 : GradedModule
|