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 0 o3 : GradedModule |
i4 : prune M o4 = 0 : cokernel | x | 1 : 0 2 : 0 o4 : GradedModule |