poincareN
poincareN C -- encodes information about the degrees of basis elements
of a free chain complex in a polynomial.
The polynomial has a term S^i T_0^(d_0) ... T_(n-1)^(d_(n-1)) in it
for each basis element of C_i with multi-degree {d_0,...,d_(n-1)}.
i1 : R = ZZ/101[a..d]
o1 = R
o1 : PolynomialRing |
i2 : poincareN resolution cokernel vars R
4 4 3 3 2 2
o2 = $S $T + 4$S $T + 6$S $T + 4$S*$T + 1
0 0 0 0
o2 : ZZ[$S,$T ]
0 |
