ammodcomp.h File Reference

A generic procedure for the computation of an algebraic minimal model of a filtered cell complex stored in a file. More...

#include "chaincon/cellnames.h"
#include "chaincon/filtcomplex.h"
#include "chaincon/readfcompl.h"
#include "chaincon/linmap.h"
#include "chaincon/boundary.h"
#include "chaincon/ammodel.h"
#include "chaincon/homcohom.h"
#include "chomp/system/timeused.h"
#include "chomp/struct/hashsets.h"
#include <istream>
#include <ostream>
#include <vector>

Go to the source code of this file.

Functions
template<class CellT , class CoefT , class CellArray1 , class CellArray2 , class CellArray3 , class CoefArray , class CellNames >
void	computeAlgMinModel (const tFilteredComplex< CellT > &K, bool relativeComplex, CellArray1 &H, CellArray2 &A, CellArray3 &B, CoefArray &Q, tLinMap< CellT, CellT, CoefT > &pi, tLinMap< CellT, CellT, CoefT > &incl, tLinMap< CellT, CellT, CoefT > &phi, CellNames &homCellNames, CellNames &cohomCellNames, bool displayPi, bool displayIncl, bool displayPhi, bool displayD, bool verify)
	Computes the homology of a cellular complex. More...

Detailed Description

A generic procedure for the computation of an algebraic minimal model of a filtered cell complex stored in a file.

This is a complete procedure good for simplicial, cubical, or other complexes. It computes a chain contraction onto a cellular complex with the boundary operator containing only the torsion part.

Definition in file ammodcomp.h.

Function Documentation

computeAlgMinModel()

template<class CellT , class CoefT , class CellArray1 , class CellArray2 , class CellArray3 , class CoefArray , class CellNames >

void computeAlgMinModel ( const tFilteredComplex< CellT > &  K, bool  relativeComplex, CellArray1 &  H, CellArray2 &  A, CellArray3 &  B, CoefArray &  Q, tLinMap< CellT, CellT, CoefT > &  pi, tLinMap< CellT, CellT, CoefT > &  incl, tLinMap< CellT, CellT, CoefT > &  phi, CellNames &  homCellNames, CellNames &  cohomCellNames, bool  displayPi, bool  displayIncl, bool  displayPhi, bool  displayD, bool  verify  )

inline

Computes the homology of a cellular complex.

The cellular complex is read from the given file. Only top-dimensional cells should be listed in the file, or otherwise the filtration may not be generated correctly.

Definition at line 68 of file ammodcomp.h.

References addIdentity(), algMinModel(), cells2names(), computeBoundaryMap(), getHomCohom(), and homcohom2text().

Referenced by algMinModelMain(), cohomRingMain(), and main().