chaincon/comblinmap.h File Reference

A combinatorial linear map (for coefficients in Z_2). More...

#include <istream>
#include <ostream>
#include "chomp/system/config.h"
#include "chomp/struct/hashsets.h"
#include "chomp/struct/multitab.h"
#include "chaincon/combchain.h"
#include "chaincon/combtensor.h"

Go to the source code of this file.

Classes
class	tCombLinMap< CellDomT, CellImgT >
	A combinatorial linear map. More...
Functions
template<class CellDomT , class CellImgT >
std::ostream &	operator<< (std::ostream &out, const tCombLinMap< CellDomT, CellImgT > &f)
	Writes a combinatorial linear map to an output stream in the text mode.
template<class CellDomT , class CellImgT >
std::istream &	operator>> (std::istream &in, tCombLinMap< CellDomT, CellImgT > &f)
	Reads a combinatorial linear map from an input stream.
template<class CellArray , class CellT >
void	addIdentity (const CellArray &domain, tCombLinMap< CellT, CellT > &f)
	Adds the identity map on the given domain to the map 'f'.
template<class CellArray , class CellT >
tCombLinMap< CellT, CellT >	identity (const CellArray &domain)
	Returns the identity map on the given domain.
template<class CellArray , class CellT >
void	computeBoundaryMap (const CellArray &cells, tCombLinMap< CellT, CellT > &f)
	Computes the full boundary map for a cellular complex that contains the cells in a provided set and all their boundary cells.
template<class CellXT , class CellYT , class CellZT >
tCombLinMap< CellXT, CellZT >	operator* (const tCombLinMap< CellYT, CellZT > &f, const tCombLinMap< CellXT, CellYT > &g)
	Computes the composition of the two given maps.

---

Detailed Description

A combinatorial linear map (for coefficients in Z_2).

Definition in file comblinmap.h.

---

Function Documentation

template<class CellArray , class CellT >

void addIdentity	(	const CellArray &	domain,
		tCombLinMap< CellT, CellT > &	f
	)		[inline]

Adds the identity map on the given domain to the map 'f'.

Definition at line 354 of file comblinmap.h.

Referenced by computeHomology(), and identity().

template<class CellArray , class CellT >

void computeBoundaryMap	(	const CellArray &	cells,
		tCombLinMap< CellT, CellT > &	f
	)		[inline]

Computes the full boundary map for a cellular complex that contains the cells in a provided set and all their boundary cells.

The map is assumed to be initially zero.

Definition at line 379 of file comblinmap.h.

Referenced by computeHomology().

template<class CellArray , class CellT >

tCombLinMap<CellT,CellT> identity

(

const CellArray &

domain )

[inline]

Returns the identity map on the given domain.

Definition at line 368 of file comblinmap.h.

References addIdentity().

template<class CellXT , class CellYT , class CellZT >

tCombLinMap<CellXT,CellZT> operator*	(	const tCombLinMap< CellYT, CellZT > &	f,
		const tCombLinMap< CellXT, CellYT > &	g
	)		[inline]

Computes the composition of the two given maps.

More precisely, for each x in the domain of g, the new map on x is defined as f(g(x)).

Definition at line 440 of file comblinmap.h.

template<class CellDomT , class CellImgT >

std::ostream& operator<<	(	std::ostream &	out,
		const tCombLinMap< CellDomT, CellImgT > &	f
	)		[inline]

Writes a combinatorial linear map to an output stream in the text mode.

Definition at line 326 of file comblinmap.h.

template<class CellDomT , class CellImgT >

std::istream& operator>>	(	std::istream &	in,
		tCombLinMap< CellDomT, CellImgT > &	f
	)		[inline]

Reads a combinatorial linear map from an input stream.

Definition at line 343 of file comblinmap.h.