i1 : R = QQ[a..e] o1 = R o1 : PolynomialRing |
i2 : C = res coker vars R
1 5 10 10 5 1
o2 = R <-- R <-- R <-- R <-- R <-- R <-- 0
0 1 2 3 4 5 6
o2 : ChainComplex
|
i3 : min C o3 = 0 |
i4 : dual C
1 5 10 10 5 1
o4 = R <-- R <-- R <-- R <-- R <-- R
-5 -4 -3 -2 -1 0
o4 : ChainComplex
|
i5 : min dual C o5 = -5 |