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] |
i2 : poincareN resolution cokernel vars R |
Ways to use poincareN :