The ChainCon Software (Release 0.03)
Functions
cringcomp.h File Reference

A generic procedure for the computation of the cohomology ring structure for an algebraic minimal model. More...

#include <istream>
#include <ostream>
#include <vector>
#include <utility>
#include "chomp/system/config.h"
#include "chomp/system/textfile.h"
#include "chomp/system/timeused.h"
#include "chomp/struct/hashsets.h"
#include "chomp/struct/multitab.h"
#include "chaincon/cellnames.h"
#include "chaincon/linmap.h"
#include "chaincon/pair.h"
#include "chaincon/cring.h"

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 computeCohomRing (const CellArray1 &H, const CellArray2 &A, const CellArray3 &B, const CoefArray &Q, const tLinMap< CellT, CellT, CoefT > &pi, const tLinMap< CellT, CellT, CoefT > &incl, CellNames &cellNames, bool verify)
 Computes the cohomology ring, given a minimal model of a cell complex, and shows the result. More...
 

Detailed Description

A generic procedure for the computation of the cohomology ring structure for an algebraic minimal model.

This is a complete procedure good for simplicial, cubical, or other complexes.

Definition in file cringcomp.h.

Function Documentation

◆ computeCohomRing()

template<class CellT , class CoefT , class CellArray1 , class CellArray2 , class CellArray3 , class CoefArray , class CellNames >
void computeCohomRing ( const CellArray1 &  H,
const CellArray2 &  A,
const CellArray3 &  B,
const CoefArray &  Q,
const tLinMap< CellT, CellT, CoefT > &  pi,
const tLinMap< CellT, CellT, CoefT > &  incl,
CellNames &  cellNames,
bool  verify 
)
inline

Computes the cohomology ring, given a minimal model of a cell complex, and shows the result.

Definition at line 63 of file cringcomp.h.

References cells2names(), cring(), and getHomCohom().

Referenced by cohomRingMain(), and main().