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

Go to main index.

Go to concepts index.