next | previous | forward | backward | up | top | index | toc | home

HH ChainComplex -- homology of a chain complex

Synopsis

Description

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