cubacycl.h File Reference

This file contains procedures for the verification of acyclicity of full cubical sets, and also locally of a cubical map. More...

#include "chomp/system/config.h"
#include "chomp/system/textfile.h"
#include "chomp/cubes/pointset.h"
#include "chomp/homology/chains.h"
#include "chomp/struct/bitfield.h"
#include "chomp/struct/integer.h"
#include "chomp/struct/hashsets.h"
#include "chomp/struct/setunion.h"
#include "chomp/struct/autoarray.h"
#include "chomp/homology/gcomplex.h"
#include "chomp/cubes/pointbas.h"
#include "chomp/cubes/cube.h"
#include "chomp/cubes/cell.h"
#include "chomp/cubes/cubmaps.h"
#include "chomp/cubes/neighbor.h"
#include "chomp/homology/bddacycl.h"
#include "chomp/homology/tabulate.h"
#include "chomp/homology/known.h"
#include <iostream>
#include <fstream>
#include <cstdlib>

Go to the source code of this file.

Classes
class	chomp::homology::MapRemainsAcyclic< tCube >
	A wrapper class for the procecure checking if a given map remains acyclic when a given full cube is removed from its domain during the reduction of this domain. More...
class	chomp::homology::MapCanExpand< tCube >
	A class for the procecure checking if the image of a given map can be expanded without any harm to the homology of the codomain when a given full cube is moved from X\A to A in the domain during the expansion procedure conducted in the domain. More...
class	chomp::homology::MapCanExpandDummy< tCube >
	A dummy class that substitutes MapCanExpand if there is no map to check, so the verification always results in an approval. More...

Namespaces
namespace	chomp
	This namespace contains the entire CHomP library interface.
namespace	chomp::homology
	This namespace contains the core of the homology computation procedures and related classes and templates contained in the CHomP C++ library.

Functions
bool	chomp::homology::acyclic (int dim, BitField &b)
	Checks whether this cube's nieghbors form an acyclic set. More...
template<class tCube >
bool	chomp::homology::acyclic (const hashedset< tCube > &cset)
	Checks whether the given set of cubes is acyclic. More...
template<class tCube , class tCubeSet1 , class tCubeSet2 >
bool	chomp::homology::acyclic (const tCube &q, int dim, const tCubeSet1 &cset, BitField *b, int_t maxneighbors, tCubeSet2 *neighbors)
	Verifies the acyclicity of a neighborhood of the given cube. More...
template<class tCube , class tCubeSet >
bool	chomp::homology::acyclic (const tCube &q, int dim, const tCubeSet &cset, BitField *b, int_t maxneighbors)
	Verifies the acyclicity of a neighborhood of the given cube. More...
template<class tCube , class tSet1 , class tSet2 >
bool	chomp::homology::acyclic_rel (const tCube &q, int dim, const tSet1 &cset, const tSet2 &other, BitField *b, int_t maxneighbors, hashedset< tCube > *neighbors_main, hashedset< tCube > *neighbors_other)
	Verifies whether a cube from the other set can be removed. More...
template<class tCube , class tCell , class tSet >
int_t	chomp::homology::computeimage (hashedset< tCube > &img, const tCell &face, const mvmap< tCube, tCube > &map, const tSet &cset, const tCube &ignore)
	Computes the image of the face under the combinatorial cubical multivalued map, but doesn't take the given cube into consideration. More...
template<class tCube , class tSet >
bool	chomp::homology::remainsacyclic (const mvmap< tCube, tCube > &map, const tCube &q, const tSet &cset)
	Verifies if the map remains acyclic after the addition or removal of the given cube to/from the union of the first and the second set. More...

Detailed Description

This file contains procedures for the verification of acyclicity of full cubical sets, and also locally of a cubical map.

Author

Pawel Pilarczyk

Definition in file cubacycl.h.