CAPD RedHom Library
Namespaces | Classes | Typedefs | Functions | Variables
capd::complex Namespace Reference

Namespaces

 _impl
 
 _SqTypes
 
 _Types
 
 detail
 
 impl
 

Classes

struct  _CubicalComplexes
 
struct  _StaticProdSimplicialComplexes
 
struct  _StaticSimplicialComplexes
 
class  AcyclicNeighbourhood
 
class  AcyclicNeighbourhood< Complex, DIM, typename boost::enable_if< IsRegularCubical< Complex > >::type >
 
class  AcyclicOvergrowth
 
class  AcyclicShaving
 
class  AKQReduceStrategy
 
struct  ApplyComplexSelectorDim
 
struct  ApplyEnumerateGeneratedCellCodesInDim
 
struct  ApplyEnumerateGeneratedCellCodesInDim< 0, Generator >
 
struct  ApplyProdSimplicialComplexSelector
 
struct  ApplySqueezedSelector
 
class  ArrayCubicalHomology
 
class  AssignIds
 
struct  BdCells
 
struct  BdNeighbours
 
class  BettiNumbers
 
class  BettiNumbersViaSmithForm
 
class  BuildComplexTransitiveClousure
 
struct  BuildDiscreteVectorField
 
class  BuildFiltration
 
class  BuildGreedyDiscreteVectorField
 
struct  BuildGreedyDiscreteVectorFieldCoreduction
 
class  BuildGreedyDiscreteVectorFieldInRounds
 
struct  BuildGreedyDiscreteVectorFieldReduction
 
struct  BuildGreedyDiscreteVectorFieldViaCoreductions
 
struct  BuildGreedyDiscreteVectorFieldViaReductions
 
class  BuildMorseComplex
 
class  BuildMorseGraph
 
struct  CalcPolygonLength
 
struct  CalcPolygonLength< boost::mpl::int_< 0 >, boost::mpl::int_< 0 > >
 
struct  CalcPolygonLength< Length, boost::mpl::int_< 1 > >
 
struct  CalcPolygonLength< Length, boost::mpl::int_< 2 > >
 
struct  CalcProdSimplexDimUpperBound
 
struct  CalcProdSimplexDimUpperBound< boost::mpl::int_< 0 >, boost::mpl::int_< 0 > >
 
struct  CalcProdSimplexLength
 
struct  CalcProdSimplexLength< boost::mpl::int_< 0 >, boost::mpl::int_< 0 > >
 
struct  CbdCells
 
struct  CellCode
 
struct  CellColor
 
class  CellComplex
 
class  CellComplex_IteratorFamily
 
class  CellComplexMemoryModel
 
struct  CellComplexSelectors
 
struct  CellComplexTag
 
struct  CellDim
 
struct  CellHasColor
 
struct  CellId
 
struct  CellsByDim
 
struct  CellsByDimReversed
 
class  CellSComplex
 
struct  CellSComplexTraitsT
 
struct  ColoredIteratorFamily
 
struct  ComplexDim
 
struct  ComplexDimUpperBound
 
struct  Complexes
 
struct  Complexes3D
 
struct  ComplexesForScalar
 
class  ComplexGraph
 
struct  ComplexOfSelector
 
struct  ComplexSelector
 
struct  ComplexSelector< DenseCubicalTag, Dim, Color, void >
 
struct  ComplexSelector< GridGraphExternalMemoryTag, Dim, Color >
 
struct  ComplexSelector< GridGraphTag, Dim, size_t >
 
struct  ComplexSelector< HasseDiagramTag, Dim, Color, Scalar >
 
struct  ComplexSelector< LefschetzTag, Dim, Color >
 
struct  ComplexSelector< PolygonTag, Length, Color >
 
struct  ComplexSelector< SqueezedTag, boost::mpl::pair< Dim, OrgSelector >, Color, Scalar >
 
struct  ComplexSelector< StaticProdSimplicialNotPrecompiledTag, void, Color >
 
struct  ComplexSelector< StaticProdSimplicialPrecompiledTag, boost::mpl::pair< Rows, Length >, Color >
 
struct  ComplexSelector< StaticSimplicialNotPrecompiledDimTag, Dim, Color >
 
struct  ComplexSelector< StaticSimplicialPrecompiledDimTag, Dim, Color >
 
struct  ComplexSelectorBase
 
struct  ComplexSelectorDim
 
class  ComplexToMorseComplex
 
struct  ComplexTraits
 
struct  ComplexTraits< const Complex >
 
class  ComplexTransitiveClousure
 
class  ComputeBettiNumbersOf3DGridGraph
 
class  ComputeBettiNumbersOf3DGridGraph< Complex, typename boost::enable_if< Is3DGridGraph< Complex > >::type >
 
class  ComputeConnectedComponents
 
class  ComputeConnectedComponents< Complex, typename boost::enable_if< HasTag< Complex, GridGraphTag > >::type >
 
class  ComputeHomologyOnSimplifiedComplex
 
class  ComputeHomologyOrchestrator
 
class  ComputeHomologySignature
 
class  ComputeHomologySignature< ComplexT, Z2, IntT >
 
class  ComputeSubSpaceBettiNumbers
 
class  Coreduction
 
class  CoreductionFactory
 
struct  CountCriticalCells
 
class  CreateCubCellComplexFromVolume
 
class  CubCellComplex
 
class  CubCellComplexBase
 
struct  CubicalComplexes
 
class  CubicalComplexFromArray
 
struct  CubicalComplexFullCubesBounds
 
struct  CubicalTag
 
class  CubicTessellation
 
class  DefaultReduceStrategy
 
class  DefaultReduceStrategyBase
 
class  DefaultReduceStrategyTraits
 
struct  DenseCubCellComplex
 
struct  DenseCubicalComplexes
 
struct  DenseCubicalTag
 
struct  DenseCubMemoryModel
 
class  DescribeComplex
 
struct  DimCells
 
struct  DimCellsReversed
 
struct  DimForUpperBound
 
struct  DimForUpperBound< 0 >
 
struct  DimVariable
 
struct  DimVariableForUpperBound
 
class  DiscreteVectorField
 
class  DiscreteVectorFieldBoostGraph
 
struct  DiscreteVectorFieldGraph
 
struct  DiscreteVectorFieldGraphInstantiation
 
struct  edge_coincidence_index_t
 
class  EnumerateCubesBase
 
class  EnumerateGeneratedCellCodes
 
class  EnumerateGeneratedCellCodesInDim
 
struct  EnumerateGeneratedCellCodesInstantiation
 
class  EnumerateGridGraph
 
class  EnumerateLefschetzCells
 
class  EnumerateSubSpace
 
class  EulerCharacteristic
 
class  Excision
 
struct  ExternalMemoryTag
 
class  FilteredComplex
 
struct  FilteredDenseCubMemoryModel
 
class  FilteredIteratorFamily
 
struct  FilteredSelectors
 
class  FundamentalGroup
 
class  FundamentalGroupPaths
 
struct  GeneralizedComplexes
 
class  GeneratedCellComplex
 
struct  GeneratedMemoryModel
 
class  GenerateKappaMap
 
struct  GeometricBoundary
 
class  GridGraphCellComplex
 
struct  GridGraphCubicalComplexes
 
class  GridGraphExternalMemoryCellComplex
 
struct  GridGraphExternalMemoryCubicalComplexes
 
struct  GridGraphExternalMemoryTag
 
struct  GridGraphMemoryModel
 
struct  GridGraphTag
 
struct  GroupCoboundaries
 
class  GroupComplexIdsByDim
 
struct  HasCellCodeConverter
 
struct  HasCellCodeConverter< Complex, typename boost::enable_if< typename Complex::HasCellCodeConverter >::type >
 
struct  HasFixedDim
 
struct  HasFixedScalar
 
struct  HasFixedScalar< Complex, typename boost::enable_if< boost::mpl::not_< boost::is_void< typename Complex::Scalar > > >::type >
 
class  HasseDiagram
 
class  HasseDiagramCellComplex
 
struct  HasseDiagramMemoryModel
 
struct  HasseDiagramTag
 
class  HasseDiagramView
 
struct  HasTag
 
struct  HasTypeId
 
class  Homology
 
class  IdentifiableObjectContainer
 
struct  IdToCell
 
class  ImageCubCellComplex
 
struct  Is3DGridGraph
 
struct  IsCellComplex
 
struct  IsColorable
 
struct  IsComplex
 
struct  IsComplex< Complex, typename boost::enable_if< typename Complex::IsComplex >::type >
 
struct  IsInDim
 
struct  IsInDim< Complex, DIM, typename boost::enable_if_c< ComplexDim< Complex >::value==DIM >::type >
 
struct  IsNotVoid
 
struct  IsProdSimplexCellCode
 
struct  IsProdSimplexCellCode< CellCode, typename boost::enable_if< typename CellCode::IsProdSimplexCellCode >::type >
 
struct  IsRegularCubical
 
struct  IsSameOrVoid
 
struct  IsSimplicial
 
class  IsZeroHomology
 
class  IsZeroHomologyImpl
 
class  IsZeroHomologyImpl< Complex, typename boost::enable_if< HasFixedScalar< Complex > >::type >
 
struct  IteratedBoundary
 
struct  IteratedCoboundary
 
class  LefschetzCellComplex
 
struct  LefschetzMemoryModel
 
struct  LefschetzTag
 
struct  NonVoid
 
struct  NumberOfColors
 
class  PolygonCellComplex
 
struct  PolygonCellComplexes
 
struct  PolygonsCoincidence
 
struct  PolygonsGenerator
 
struct  PolygonTag
 
struct  PredOnSelector
 
struct  ProdSimplexCellCode
 
class  ProdSimplicesGenerator
 
struct  ProdSimplicialComplexes
 
struct  RegularCubicalTag
 
class  RelativeHomology
 
struct  ScalarFunctor
 
class  SComplexBase
 
class  SComplexKappaBuilderFromCubes
 
class  SComplexToFreeChainComplex
 
struct  SelectorForComplex
 
struct  SelectorsUpToDim
 
struct  SelectPolygonCellCode
 
struct  SimplicesGenerator
 
class  SimplicesReader
 
class  SimplicialCellSComplex
 
struct  SimplicialCellSComplexTraitsT
 
struct  SimplicialComplexes
 
struct  SimplicialComplexes_Complex
 
struct  SimplicialComplexes_Complex< DIM, typename boost::enable_if< boost::mpl::is_not_void_< StaticSimplicialComplexesPrecompiledDim::Complex< DIM > > >::type >
 
class  SimplicialComplexVertexId
 
struct  SimplicialTag
 
class  SimplifyComplexGeometrically
 
struct  SparseCubicalTag
 
struct  squeeze_by_unorderedmap_tag
 
class  SqueezedCellImpl
 
class  SqueezedComplex
 
struct  SqueezedComplexes
 
class  SqueezedComplexIterator
 
class  SqueezedComplexIteratorFamily
 
struct  SqueezedTag
 
class  SqueezeIds
 
class  SqueezeIds< Id, squeeze_by_unorderedmap_tag >
 
struct  SReductionPair
 
class  StaticProdSimplicialCellComplex
 
struct  StaticProdSimplicialComplexesNotPrecompiled
 
struct  StaticProdSimplicialComplexesPrecompiled
 
struct  StaticProdSimplicialNotPrecompiledTag
 
struct  StaticProdSimplicialPrecompiledTag
 
struct  StaticProdSimplicialTag
 
class  StaticSimplicialCellComplex
 
struct  StaticSimplicialComplexesNotPrecompiledDim
 
struct  StaticSimplicialComplexesPrecompiledDim
 
struct  StaticSimplicialNotPrecompiledDimTag
 
struct  StaticSimplicialPrecompiledDimTag
 
struct  StaticSimplicialTag
 
struct  StaticVariable
 
struct  StaticVariable< Type, 0 >
 
struct  SubRange
 
struct  SubRange< Seq, D, D >
 
struct  SubRangeSize
 
struct  SubSpaceMemoryPool
 
class  SubSpaceMemoryPoolCellComplex
 
struct  SubSpaceMemoryPoolMemoryModel
 
class  TheCubicalAcyclicity
 
struct  vertex_dimension_t
 
class  ZigZag
 
class  ZigZag< Complex, DIM, typename boost::enable_if< IsRegularCubical< Complex > >::type >
 

Typedefs

template<typename Complex >
using SimplicialCoordsSize = typename boost::mpl::if_< complex::HasFixedDim< Complex >, complex::ComplexDimUpperBound< Complex >, boost::mpl::int_< 0 >>::type
 
typedef homAux::Byte DimType
 
typedef PolygonCellComplex< 4, size_t > CubicalPolygon
 
typedef StaticSimplicialPrecompiledDimTag DefaultSimplicialTag
 
typedef DenseCubicalTag DefaultCubicalTag
 
typedef LefschetzTag DefaultGeneralizedTag
 
typedef StaticProdSimplicialPrecompiledTag DefaultProdSimplicialTag
 
typedef boost::mpl::vector< boost::mpl::integral_c< DimType, Dim_(2)>, boost::mpl::integral_c< DimType, Dim_(3)>, boost::mpl::integral_c< DimType, Dim_(4)> > Dims
 
typedef capd::complex::CubicalComplexes Types
 
typedef SqueezedComplexes< Types > SqTypes
 

Functions

template<size_t DIM, typename Complex >
bool IsAcyclicNeighbourhood (Complex &complex, const typename ComplexTraits< Complex >::Cell &cell)
 
template<size_t DIM, typename Complex >
size_t DoAcyclicOvergrowth (Complex &complex)
 
template<size_t DIM, typename Complex >
size_t DoAcyclicShaving (Complex &complex)
 
template<typename Scalar , typename Int , typename Data , size_t DIM>
std::vector< Int > ComputeArrayCubicalHomology (const boost::multi_array< Data, DIM > &array)
 
template<typename Id , typename Rng , typename ObjectComparator = std::less<typename Rng::value_type>>
AssignIds< typename Rng::const_iterator, Id, ObjectComparator > MakeAssignIds (const Rng &rng)
 
template<size_t DEPTH, typename Complex >
BdNeighbours< Complex, DEPTH > makeBdNeighbours (Complex &complex, const typename BdNeighbours< Complex, DEPTH >::Cell &cell)
 
template<typename Scalar , typename Int = int, typename Complex >
BettiNumbers< Complex, Scalar, Int >::result_type ComputeBettiNumbers (Complex &complex)
 
template<typename Scalar , typename Int = int, typename Complex >
BettiNumbersViaSmithForm< Complex, Scalar, Int >::result_type ComputeBettiNumbersViaSmithForm (Complex &complex)
 
template<typename Complex >
BuildComplexTransitiveClousure< Complex >::result_type CallBuildComplexTransitiveClousure (Complex &complex)
 
template<typename Complex >
BuildDiscreteVectorField< Complex >::DiscreteVectorField CreateDiscreteVectorField (Complex &complex, int method)
 
template<typename Scalar , typename DiscreteVectorField >
boost::shared_ptr< typename BuildMorseComplex< DiscreteVectorField, Scalar >::MorseComplex > ConvertToMorseComplex (DiscreteVectorField &dvf)
 
template<typename Complex , typename Rng >
auto Clousure (Complex &complex, const Rng &cells)
 
template<typename Complex >
CellColor< typename ComplexTraits< Complex >::Cell > MakeCellColor ()
 
template<typename Color >
CellHasColor< Color > MakeCellHasColor (Color color)
 
template<typename Complex >
CellId< typename ComplexTraits< Complex >::Cell > MakeCellId ()
 
template<typename Complex >
CellId< typename ComplexTraits< Complex >::Cell > MakeCellId (const Complex &)
 
template<typename Complex >
CellDim< typename ComplexTraits< Complex >::Cell > MakeCellDim ()
 
template<typename Complex >
CellCode< typename ComplexTraits< Complex >::Cell > MakeCellCode ()
 
template<typename Complex >
CellCode< typename ComplexTraits< Complex >::Cell > MakeCellCode (Complex &)
 
template<typename Complex >
IdToCell< Complex > MakeIdToCell (Complex &complex)
 
template<typename Complex >
auto MakeComplexGraph (Complex &complex)
 
template<typename Scalar , typename Complex >
ComplexToMorseComplex< Complex, Scalar >::result_type CallComplexToMorseComplex (Complex &complex, int method)
 
template<typename Complex >
ComputeBettiNumbersOf3DGridGraph< Complex >::result_type CallComputeBettiNumbersOf3DGridGraph (Complex &complex)
 
template<typename Complex >
ComputeConnectedComponents< Complex >::result_type CallComputeConnectedComponents (Complex &complex, typename Complex::Color color)
 
template<typename ScalarT , typename IntT , typename ComplexT >
ComputeHomologySignature< ComplexT, ScalarT, IntT >::result_type CallComputeHomologySignature (ComplexT &complex, bool useAlgebraicReductions)
 
template<typename ScalarT , typename Rng , typename Complex , typename Int = int>
ComputeSubSpaceBettiNumbers< Complex, ScalarT, Int >::result_type CallComputeSubSpaceBettiNumbers (Complex &complex, const Rng &rng)
 
template<typename Complex , typename ReductionCallback >
Coreduction< DefaultReduceStrategy< Complex >, ReductionCallback > makeCoreductionDefault (Complex &complex, ReductionCallback callback)
 
template<typename Complex >
Coreduction< DefaultReduceStrategy< Complex > > makeCoreductionDefault (Complex &complex)
 
template<DimType Dim, typename Lengths , typename Data >
CreateCubCellComplexFromVolume< Dim >::Complex CallCreateCubCellComplexFromVolume (const Lengths &lengths, const Data &data)
 
template<typename Lengths >
DenseCubCellComplex< Dim0, size_t >::type MakeDenseCubCellComplex (Lengths lengths)
 
template<DimType Dim, typename Lengths >
DenseCubCellComplex< Dim, size_t >::type MakeDenseCubCellComplex (Lengths lengths)
 
template<typename Complexes >
void CheckPrecompiledDimInComplexes (DimType dim)
 
template<typename Complexes >
size_t CubicalComplexIdForDim (DimType dim)
 
template<typename Data , size_t DIM>
CubicalComplexFromArray< Data, DIM >::result_type BuildCubicalComplexFromArray (const boost::multi_array< Data, DIM > &array)
 
template<typename Complex >
CubicalComplexFullCubesBounds< typename Complex::CellCode::value_type::first_type > makeCubicalComplexFullCubesBounds (const Complex &complex)
 
template<typename Scalar , typename Complex >
auto CallDescribeComplex (Complex &complex)
 
constexpr DimType Dim_ (int x)
 
template<typename GridGraphT >
EnumerateGridGraph< GridGraphT > CreateEnumerateGridGraph (GridGraphT gridGraph)
 
template<typename OrgEnumerator , typename Rng >
EnumerateSubSpace< OrgEnumerator, Rng > MakeEnumerateSubSpace (OrgEnumerator &org, const Rng &rng)
 
template<typename Complex >
long CallComputeEulerCharacteristic (Complex &complex)
 
template<typename Complex , typename Filter >
FilteredComplex< Complex, Filter > makeFilteredComplex (Complex &complex, Filter filter)
 
template<typename DiscreteVectorField >
std::vector< int > FundamentalGroupHapInterfaceVector (DiscreteVectorField &dvf)
 
template<typename Complex , typename Id , typename Scalar >
void FundamentalGroupOrderedBd (std::list< std::pair< Id, Scalar > > &boundary, typename boost::disable_if< IsRegularCubical< Complex > >::type *p=0)
 
template<typename Complex , typename Id , typename Scalar >
void FundamentalGroupOrderedBd (std::list< std::pair< Id, Scalar > > &boundary, typename boost::enable_if< IsRegularCubical< Complex > >::type *p=0)
 
template<typename Complex >
GeometricBoundary< const Complex > MakeGeometricBoundary (const Complex &complex)
 
template<DimType DIM, typename Color , typename Lengths >
GridGraphExternalMemoryCellComplex< DIM, Color > CreateGridGraphExternalMemoryCellComplex (const Lengths &lengths, boost::iterator_range< Color * > colors)
 
template<DimType DIM, typename Color , typename Lengths >
GridGraphCellComplex< DIM, Color > CreateGridGraphCellComplex (const Lengths &lengths)
 
template<typename Complex >
auto CreateGroupComplexIdsByDim (Complex &complex) -> GroupComplexIdsByDim< Complex >
 
template<typename ColorT , typename HasseDiagram >
boost::shared_ptr< HasseDiagramCellComplex< HasseDiagram, ColorT > > BuildHasseDiagramCellComplex (HasseDiagram &diagram, bool reference)
 
template<typename ScalarT , typename Complex >
boost::shared_ptr< HasseDiagramCellComplex< HasseDiagram< typename Complex::Dim, ScalarT >, typename Complex::Color > > ConvertToHasseDiagramCellComplex (Complex &complex)
 
template<typename Complex >
HasseDiagramView< Complex > MakeHasseDiagramView (Complex &complex)
 
template<typename Complex >
bool CallIsZeroHomology (Complex &complex)
 
template<size_t DEPTH, typename Complex >
IteratedBoundary< Complex, DEPTH > makeIteratedBoundary (Complex &complex)
 
template<typename Complex >
IteratedBoundary< Complex, 0 > makeIteratedBoundary (Complex &complex, size_t depth)
 
template<size_t DEPTH, typename Complex >
IteratedCoboundary< Complex, DEPTH > makeIteratedCoboundary (Complex &complex)
 
template<typename Complex >
IteratedCoboundary< Complex, 0 > makeIteratedCoboundary (Complex &complex, size_t depth)
 
template<typename Rows , typename Length >
std::ostream & operator<< (std::ostream &out, const ProdSimplexCellCode< Rows, Length > &prod)
 
template<typename Complex >
auto BuildSimplicialComplexVertexId (Complex &complex) -> SimplicialComplexVertexId< Complex >
 
template<typename Complex >
SReductionPair< Complex > makeSReductionPair (const Complex &, const typename Complex::Cell &face, const typename Complex::Cell &coface)
 
template<typename Complex >
SReductionPair< Complex > makeSReductionPair (const Complex &, const typename Complex::Cell &extracted)
 
template<typename OrgComplex , typename Slices >
SubSpaceMemoryPool< OrgComplex, Slices > MakeSubSpaceMemoryPool (OrgComplex &orgComplex, Slices &slices)
 
template<size_t DIM, typename Complex >
void DoZigZag (Complex &complex)
 
template<typename Complex >
void DoZigZag (Complex &complex, size_t dim)
 
 INSTANCE (Complexes)
 
 INSTANCE (Dims)
 
 INSTANCE (capd::complex::CubicalComplexes)
 
 INSTANCE (GeneralizedComplexes)
 
 INSTANCE (ProdSimplicialComplexes)
 
 INSTANCE (SimplicialComplexes)
 

Variables

constexpr DimType Dim0 = homAux::Byte0
 
constexpr DimType Dim1 = homAux::Byte1
 
constexpr DimType Dim2 = homAux::Byte2
 
constexpr DimType Dim3 = homAux::Byte3
 

Typedef Documentation

typedef PolygonCellComplex<4, size_t> capd::complex::CubicalPolygon
typedef DenseCubicalTag capd::complex::DefaultCubicalTag
typedef LefschetzTag capd::complex::DefaultGeneralizedTag
typedef StaticProdSimplicialPrecompiledTag capd::complex::DefaultProdSimplicialTag
typedef StaticSimplicialPrecompiledDimTag capd::complex::DefaultSimplicialTag
typedef boost::mpl::vector< boost::mpl::integral_c< DimType, Dim2 >, boost::mpl::integral_c< DimType, Dim3 >, boost::mpl::integral_c< DimType, Dim_(4)> > capd::complex::Dims
typedef homAux::Byte capd::complex::DimType
template<typename Complex >
using capd::complex::SimplicialCoordsSize = typedef typename boost::mpl::if_<complex::HasFixedDim<Complex>, complex::ComplexDimUpperBound<Complex>, boost::mpl::int_<0>>::type
typedef SqueezedComplexes< Types > capd::complex::SqTypes
typedef capd::complex::SimplicialComplexes capd::complex::Types

Function Documentation

template<typename Data , size_t DIM>
CubicalComplexFromArray<Data, DIM>::result_type capd::complex::BuildCubicalComplexFromArray ( const boost::multi_array< Data, DIM > &  array)
template<typename ColorT , typename HasseDiagram >
boost::shared_ptr<HasseDiagramCellComplex<HasseDiagram, ColorT> > capd::complex::BuildHasseDiagramCellComplex ( HasseDiagram &  diagram,
bool  reference 
)
template<typename Complex >
auto capd::complex::BuildSimplicialComplexVertexId ( Complex &  complex) -> SimplicialComplexVertexId<Complex>
template<typename Complex >
BuildComplexTransitiveClousure<Complex>::result_type capd::complex::CallBuildComplexTransitiveClousure ( Complex &  complex)
template<typename Scalar , typename Complex >
ComplexToMorseComplex<Complex, Scalar>::result_type capd::complex::CallComplexToMorseComplex ( Complex &  complex,
int  method 
)
template<typename Complex >
ComputeBettiNumbersOf3DGridGraph<Complex>::result_type capd::complex::CallComputeBettiNumbersOf3DGridGraph ( Complex &  complex)
template<typename Complex >
ComputeConnectedComponents<Complex>::result_type capd::complex::CallComputeConnectedComponents ( Complex &  complex,
typename Complex::Color  color 
)
template<typename Complex >
long capd::complex::CallComputeEulerCharacteristic ( Complex &  complex)
template<typename ScalarT , typename IntT , typename ComplexT >
ComputeHomologySignature<ComplexT, ScalarT, IntT>::result_type capd::complex::CallComputeHomologySignature ( ComplexT &  complex,
bool  useAlgebraicReductions 
)
template<typename ScalarT , typename Rng , typename Complex , typename Int = int>
ComputeSubSpaceBettiNumbers<Complex, ScalarT, Int>::result_type capd::complex::CallComputeSubSpaceBettiNumbers ( Complex &  complex,
const Rng &  rng 
)
template<DimType Dim, typename Lengths , typename Data >
CreateCubCellComplexFromVolume<Dim>::Complex capd::complex::CallCreateCubCellComplexFromVolume ( const Lengths &  lengths,
const Data &  data 
)
template<typename Scalar , typename Complex >
auto capd::complex::CallDescribeComplex ( Complex &  complex)
template<typename Complex >
bool capd::complex::CallIsZeroHomology ( Complex &  complex)
template<typename Complexes >
void capd::complex::CheckPrecompiledDimInComplexes ( DimType  dim)
template<typename Complex , typename Rng >
auto capd::complex::Clousure ( Complex &  complex,
const Rng &  cells 
)
template<typename Scalar , typename Int , typename Data , size_t DIM>
std::vector<Int> capd::complex::ComputeArrayCubicalHomology ( const boost::multi_array< Data, DIM > &  array)
template<typename Scalar , typename Int = int, typename Complex >
BettiNumbers<Complex, Scalar, Int>::result_type capd::complex::ComputeBettiNumbers ( Complex &  complex)
template<typename Scalar , typename Int = int, typename Complex >
BettiNumbersViaSmithForm<Complex, Scalar, Int>::result_type capd::complex::ComputeBettiNumbersViaSmithForm ( Complex &  complex)
template<typename ScalarT , typename Complex >
boost::shared_ptr<HasseDiagramCellComplex<HasseDiagram<typename Complex::Dim, ScalarT>, typename Complex::Color> > capd::complex::ConvertToHasseDiagramCellComplex ( Complex &  complex)
template<typename Scalar , typename DiscreteVectorField >
boost::shared_ptr<typename BuildMorseComplex<DiscreteVectorField, Scalar>::MorseComplex> capd::complex::ConvertToMorseComplex ( DiscreteVectorField &  dvf)
template<typename Complex >
BuildDiscreteVectorField<Complex>::DiscreteVectorField capd::complex::CreateDiscreteVectorField ( Complex &  complex,
int  method 
)
template<typename GridGraphT >
EnumerateGridGraph<GridGraphT> capd::complex::CreateEnumerateGridGraph ( GridGraphT  gridGraph)
template<DimType DIM, typename Color , typename Lengths >
GridGraphCellComplex<DIM, Color> capd::complex::CreateGridGraphCellComplex ( const Lengths &  lengths)
template<DimType DIM, typename Color , typename Lengths >
GridGraphExternalMemoryCellComplex<DIM, Color> capd::complex::CreateGridGraphExternalMemoryCellComplex ( const Lengths &  lengths,
boost::iterator_range< Color * >  colors 
)
template<typename Complex >
auto capd::complex::CreateGroupComplexIdsByDim ( Complex &  complex) -> GroupComplexIdsByDim<Complex>
template<typename Complexes >
size_t capd::complex::CubicalComplexIdForDim ( DimType  dim)
constexpr DimType capd::complex::Dim_ ( int  x)
template<size_t DIM, typename Complex >
size_t capd::complex::DoAcyclicOvergrowth ( Complex &  complex)
template<size_t DIM, typename Complex >
size_t capd::complex::DoAcyclicShaving ( Complex &  complex)
template<size_t DIM, typename Complex >
void capd::complex::DoZigZag ( Complex &  complex)
template<typename Complex >
void capd::complex::DoZigZag ( Complex &  complex,
size_t  dim 
)
template<typename DiscreteVectorField >
std::vector<int> capd::complex::FundamentalGroupHapInterfaceVector ( DiscreteVectorField &  dvf)
template<typename Complex , typename Id , typename Scalar >
void capd::complex::FundamentalGroupOrderedBd ( std::list< std::pair< Id, Scalar > > &  boundary,
typename boost::disable_if< IsRegularCubical< Complex > >::type *  p = 0 
)
template<typename Complex , typename Id , typename Scalar >
void capd::complex::FundamentalGroupOrderedBd ( std::list< std::pair< Id, Scalar > > &  boundary,
typename boost::enable_if< IsRegularCubical< Complex > >::type *  p = 0 
)
capd::complex::INSTANCE ( capd::complex::CubicalComplexes  )
capd::complex::INSTANCE ( GeneralizedComplexes  )
capd::complex::INSTANCE ( ProdSimplicialComplexes  )
capd::complex::INSTANCE ( SimplicialComplexes  )
capd::complex::INSTANCE ( Dims  )
capd::complex::INSTANCE ( Complexes  )
template<size_t DIM, typename Complex >
bool capd::complex::IsAcyclicNeighbourhood ( Complex &  complex,
const typename ComplexTraits< Complex >::Cell &  cell 
)
template<typename Id , typename Rng , typename ObjectComparator = std::less<typename Rng::value_type>>
AssignIds<typename Rng::const_iterator, Id, ObjectComparator> capd::complex::MakeAssignIds ( const Rng &  rng)
template<size_t DEPTH, typename Complex >
BdNeighbours<Complex, DEPTH> capd::complex::makeBdNeighbours ( Complex &  complex,
const typename BdNeighbours< Complex, DEPTH >::Cell &  cell 
)
template<typename Complex >
CellCode<typename ComplexTraits<Complex>::Cell> capd::complex::MakeCellCode ( )
template<typename Complex >
CellCode<typename ComplexTraits<Complex>::Cell> capd::complex::MakeCellCode ( Complex &  )
template<typename Complex >
CellColor<typename ComplexTraits<Complex>::Cell> capd::complex::MakeCellColor ( )
template<typename Complex >
CellDim<typename ComplexTraits<Complex>::Cell> capd::complex::MakeCellDim ( )
template<typename Color >
CellHasColor<Color> capd::complex::MakeCellHasColor ( Color  color)
template<typename Complex >
CellId<typename ComplexTraits<Complex>::Cell> capd::complex::MakeCellId ( )
template<typename Complex >
CellId<typename ComplexTraits<Complex>::Cell> capd::complex::MakeCellId ( const Complex &  )
template<typename Complex >
auto capd::complex::MakeComplexGraph ( Complex &  complex)
template<typename Complex , typename ReductionCallback >
Coreduction<DefaultReduceStrategy<Complex>, ReductionCallback> capd::complex::makeCoreductionDefault ( Complex &  complex,
ReductionCallback  callback 
)
template<typename Complex >
Coreduction<DefaultReduceStrategy<Complex> > capd::complex::makeCoreductionDefault ( Complex &  complex)
template<typename Complex >
CubicalComplexFullCubesBounds<typename Complex::CellCode::value_type::first_type> capd::complex::makeCubicalComplexFullCubesBounds ( const Complex &  complex)
template<typename Lengths >
DenseCubCellComplex<Dim0, size_t>::type capd::complex::MakeDenseCubCellComplex ( Lengths  lengths)
template<DimType Dim, typename Lengths >
DenseCubCellComplex<Dim, size_t>::type capd::complex::MakeDenseCubCellComplex ( Lengths  lengths)
template<typename OrgEnumerator , typename Rng >
EnumerateSubSpace<OrgEnumerator, Rng> capd::complex::MakeEnumerateSubSpace ( OrgEnumerator &  org,
const Rng &  rng 
)
template<typename Complex , typename Filter >
FilteredComplex<Complex, Filter> capd::complex::makeFilteredComplex ( Complex &  complex,
Filter  filter 
)
template<typename Complex >
GeometricBoundary<const Complex> capd::complex::MakeGeometricBoundary ( const Complex &  complex)
template<typename Complex >
HasseDiagramView<Complex> capd::complex::MakeHasseDiagramView ( Complex &  complex)
template<typename Complex >
IdToCell<Complex> capd::complex::MakeIdToCell ( Complex &  complex)
template<size_t DEPTH, typename Complex >
IteratedBoundary<Complex, DEPTH> capd::complex::makeIteratedBoundary ( Complex &  complex)
template<typename Complex >
IteratedBoundary<Complex, 0> capd::complex::makeIteratedBoundary ( Complex &  complex,
size_t  depth 
)
template<size_t DEPTH, typename Complex >
IteratedCoboundary<Complex, DEPTH> capd::complex::makeIteratedCoboundary ( Complex &  complex)
template<typename Complex >
IteratedCoboundary<Complex, 0> capd::complex::makeIteratedCoboundary ( Complex &  complex,
size_t  depth 
)
template<typename Complex >
SReductionPair<Complex> capd::complex::makeSReductionPair ( const Complex &  ,
const typename Complex::Cell &  face,
const typename Complex::Cell &  coface 
)
template<typename Complex >
SReductionPair<Complex> capd::complex::makeSReductionPair ( const Complex &  ,
const typename Complex::Cell &  extracted 
)
template<typename OrgComplex , typename Slices >
SubSpaceMemoryPool<OrgComplex, Slices> capd::complex::MakeSubSpaceMemoryPool ( OrgComplex &  orgComplex,
Slices &  slices 
)
template<typename Rows , typename Length >
std::ostream& capd::complex::operator<< ( std::ostream &  out,
const ProdSimplexCellCode< Rows, Length > &  prod 
)

Variable Documentation

constexpr DimType capd::complex::Dim0 = homAux::Byte0
constexpr DimType capd::complex::Dim1 = homAux::Byte1
constexpr DimType capd::complex::Dim2 = homAux::Byte2
constexpr DimType capd::complex::Dim3 = homAux::Byte3