The concept FilteredComplex describes the requirements for a type to implement a filtered cell complex, from which one can compute persistent homology via a model of the concept PersistentHomology. More...

#include <FilteredComplex.h>

Public Types
typedef unspecified	Simplex_handle

typedef unspecified	Simplex_key
	Key associated to each simplex. More...

typedef unspecified	Filtration_value
	Type for the value of the filtration function. More...

typedef unspecified	Indexing_tag
	Specifies the nature of the indexing scheme. More...

typedef unspecified	Boundary_simplex_iterator
	Iterator on the simplices belonging to the boundary of a simplex. More...

typedef unspecified	Boundary_simplex_range
	Range giving access to the simplices in the boundary of a simplex. More...

typedef unspecified	Filtration_simplex_iterator
	Iterator over all simplices of the complex in the order of the indexing scheme. More...

typedef unspecified	Filtration_simplex_range
	Range over the simplices of the complex in the order of the filtration. More...

Public Member Functions
Simplex_handle	null_simplex ()

size_t	num_simplices ()
	Returns the number of simplices in the complex. More...

int	dimension (Simplex_handle sh)
	Returns the dimension of a simplex.

Filtration_value	filtration (Simplex_handle sh)
	Returns the filtration value of a simplex. More...

Simplex_key	null_key ()
	Returns a key that is different from the keys associated to the simplices.

Simplex_key	key (Simplex_handle sh)
	Returns the key associated to a simplex.

Simplex_handle	simplex (Simplex_key key)
	Returns the simplex associated to a key. More...

void	assign_key (Simplex_handle sh, Simplex_key key)
	Assign a key to a simplex.

Boundary_simplex_range	boundary_simplex_range (Simplex_handle sh)
	Returns a range giving access to all simplices of the boundary of a simplex, i.e. the set of codimension 1 subsimplices of the Simplex. More...

Filtration_simplex_range	filtration_simplex_range ()
	Returns a range over the simplices of the complex in the order of the filtration. More...

Detailed Description

The concept FilteredComplex describes the requirements for a type to implement a filtered cell complex, from which one can compute persistent homology via a model of the concept PersistentHomology.

Member Typedef Documentation

typedef unspecified FilteredComplex::Boundary_simplex_iterator

Iterator on the simplices belonging to the boundary of a simplex.

value_type must be 'Simplex_handle'.

typedef unspecified FilteredComplex::Boundary_simplex_range

Range giving access to the simplices in the boundary of a simplex.

.begin() and .end() return type Boundary_simplex_iterator.

typedef unspecified FilteredComplex::Filtration_simplex_iterator

Iterator over all simplices of the complex in the order of the indexing scheme.

'value_type' must be 'Simplex_handle'.

typedef unspecified FilteredComplex::Filtration_simplex_range

Range over the simplices of the complex in the order of the filtration.

.begin() and .end() return type Filtration_simplex_iterator.

typedef unspecified FilteredComplex::Filtration_value

Type for the value of the filtration function.

Must be comparable with <.

typedef unspecified FilteredComplex::Indexing_tag

Specifies the nature of the indexing scheme.

is model of IndexingTag.

typedef unspecified FilteredComplex::Simplex_handle

Handle to specify a simplex.

typedef unspecified FilteredComplex::Simplex_key

Key associated to each simplex.

Must be a signed integer type.

Member Function Documentation

Boundary_simplex_range FilteredComplex::boundary_simplex_range ( Simplex_handle sh )

Returns a range giving access to all simplices of the boundary of a simplex, i.e. the set of codimension 1 subsimplices of the Simplex.

If the simplex is $[v_0, \cdots ,v_d]$ , with canonical orientation induced by $v_0 < \cdots < v_d$ , the iterator enumerates the simplices of the boundary in the order: $[v_0,\cdots,\widehat{v_i},\cdots,v_d]$ for $i$ from 0 to d

We note that the alternate sum of the simplices given by the iterator gives the chains corresponding to the boundary of the simplex.

Filtration_value FilteredComplex::filtration ( Simplex_handle sh )

Returns the filtration value of a simplex.

If sh is null_simplex(), returns the maximal value of the filtration function on the complex.

Filtration_simplex_range FilteredComplex::filtration_simplex_range ( )

Returns a range over the simplices of the complex in the order of the filtration.

.begin() and .end() return type Filtration_simplex_iterator.

Simplex_handle FilteredComplex::null_simplex ( )

Returns a Simplex_hanlde that is different from all simplex handles of the simplices.

size_t FilteredComplex::num_simplices ( )

Returns the number of simplices in the complex.

Does not count the empty simplex.

Simplex_handle FilteredComplex::simplex ( Simplex_key key )

Returns the simplex associated to a key.

If key is different from null_key(), there must be a unique simplex having this key.

The documentation for this struct was generated from the following file:

Persistent_cohomology/concept/FilteredComplex.h

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

Member Function Documentation