HH C
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