i4 : f[3]
1 1
o4 = -3 : R <--------- R : -3
| 1 |
3 3
-2 : R <----------------- R : -2
{1} | 1 0 0 |
{1} | 0 1 0 |
{1} | 0 0 1 |
3 3
-1 : R <----------------- R : -1
{2} | 1 0 0 |
{2} | 0 1 0 |
{2} | 0 0 1 |
1 1
0 : R <------------- R : 0
{3} | 1 |
1 : 0 <----- 0 : 1
0
o4 : ChainComplexMap
|