6. Other features

This section provides information about work with homology feature.

6.1 Composition of morphisms

6.2 Commutativity checking

6.3 Arrow restoration

6.4 Tensor product of complexes

6.5 Tensor product of morphisms

6.6 Tensor product over algebra

6.7 Arrow from tensor product

6.1 Composition of morphisms

Select a sequence of morphisms. Choose the Composition menu option. Then the composition morphism has been created.

6.2 Commutativity checking

Select a group of morphisms. Choose the Wisards/Commutative checking menu option. Then the program checks commutativity of selected morphisms.

6.3 Arrow restoration

Select an arrow on the diagram. Choose the Wisards/Restore arrow menu option. Then the program creates such arrow that diagram will be commutative (If it is possible).

6.4 Tensor product of complexes

Select two complexes. Choose the Wisards/Homology/Tensor product of selected complexes menu option. Then the tensor product of complexes has been created.

6.5 Tensor product of morphisms

Select two morphisns. Choose the Wisards/Homology/Tensor product of selected complexes menu option. Then the tensor product of morphisms has been created. Sorce and target objects of recieved morphism (i.e. tensor product of sources and targets of selected morphism) are constructing automiyically.

6.6 Tensor product over algebra

Create and select diadram of commutative algebras (picture below). Choose the Wisards/Commutative algebra/Tensor product menu option. Then the tensor product over algebra has been created.

6.7 Arrow from tensor product

Create a tensor product over algebra, then create a diagram like that shown on the picture below with 5 selected morphisms

 

 

Choose the Wisards/Commutative algebra/Arrow from tensor product menu option. Then the tensor product over algebra has been created.