Product of Chain Complexes

At the moment there is not an '*' function for chain complexes. (although there is for FiniteSimplicialComplex). It would be good to add this function directly to ChainComplex.

 

add chain complex

.

 
(1) -> p1:List(List(NNI)) := [[1::NNI,2::NNI]]

   (1)  [[1, 2]]
                               Type: List(List(NonNegativeInteger))
(2) -> p2:List(List(NNI)) := [[1::NNI,2::NNI]]

   (2)  [[1, 2]]
                               Type: List(List(NonNegativeInteger))
(3) -> ASIMP := FiniteSimplicialComplex(Integer)

   (3)  FiniteSimplicialComplex(Integer)
                                                         Type: Type
(4) -> c1 := simplicialComplex([],2,p1)$ASIMP

   (4)  points 1..2
          (1, 2)
                             Type: FiniteSimplicialComplex(Integer)
(5) -> c2 := simplicialComplex([],2,p2)$ASIMP

   (5)  points 1..2
          (1, 2)
                             Type: FiniteSimplicialComplex(Integer)
(6) -> c3 := product(c1,c2)

   (6)  points 1..4
         (1, 2, 4)
         (1, 3, 4)
                             Type: FiniteSimplicialComplex(Integer)
(7) -> chain c1

                + 1 +
   (7)  [0  0], |   |, []
                +- 1+
                                                 Type: ChainComplex
(8) -> chain c2

                + 1 +
   (8)  [0  0], |   |, []
                +- 1+
                                                 Type: ChainComplex
(9) -> chain c3

                                                 + 1    0 +
                      + 1    1    1    0    0 +  |        |
                      |                       |  | 0    1 |
                      |- 1   0    0    1    0 |  |        |  ++
   (9)  [0  0  0  0], |                       |, |- 1  - 1|, ||
                      | 0   - 1   0    0    1 |  |        |  ++
                      |                       |  | 1    0 |
                      + 0    0   - 1  - 1  - 1+  |        |
                                                 + 0    1 +
                                                 Type: ChainComplex
(10) -> 

 

 

 


metadata block
see also:
Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

flag flag flag flag flag flag Mathematics++: Selected Topics Beyond the Basic Courses (Student Mathematical Library) Kantor, Ida.

Chapters:

  1. Measure
  2. High Dimensional Geometry
  3. Fourier Analysis
  4. Representations of Finite Groups
  5. Polynomials
  6. Topology

Chapter 6 - Topology. Contains a relatively gentle introduction to homology.

 

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2021 Martin John Baker - All rights reserved - privacy policy.