CAPD RedHom Library
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex > Class Template Reference
HomologicalAlgebra

#include <capd/cubSet/cubSetFunctors.hpp>

Public Types

typedef P_FreeChainComplex FreeChainComplexType
 
typedef FreeChainComplexType::FreeModuleType FreeModuleType
 
typedef FreeModuleType::GeneratorType GeneratorType
 
typedef FreeModuleType::ScalarType ScalarType
 
typedef FreeModuleType::IntType IntType
 
typedef HomologySignature< ScalarType, IntType > HomologySignatureType
 
typedef FreeModule< int, capd::vectalg::Matrix< ScalarType, 0, 0 >, IntType > ZGenFreeModule
 
typedef ReducibleFreeChainComplex< ZGenFreeModule, int > ZGenRFCComplex
 
typedef ReducibleFreeChainComplex< FreeModuleType, GeneratorType > ReducibleFreeChainComplexType
 
typedef capd::auxil::Functor< CRef< ZGenRFCComplex >, CRef< P_CubCelSet > > RFCComplexOverZ_CubCelSet_FunctorType
 
typedef capd::auxil::Functor< CRef< ZGenRFCComplex >, CRef< P_CubSet > > RFCComplexOverZ_CubSet_FunctorType
 
typedef capd::auxil::Functor< CRef< ReducibleFreeChainComplexType >, CRef< P_CubCelSet > > RFCComplex_CubCelSet_FunctorType
 
typedef capd::auxil::Functor< CRef< ReducibleFreeChainComplexType >, CRef< P_CubSet > > RFCComplex_CubSet_FunctorType
 
typedef capd::auxil::Functor< CRef< P_CubSet >, CRef< P_CubSet > > CubSet_CubSet_FunctorType
 
typedef capd::auxil::Functor< CRef< P_CubCelSet >, CRef< P_CubSet > > CubCelSet_CubSet_FunctorType
 
typedef capd::auxil::Functor< CRef< P_CubCelSet >, CRef< P_CubCelSet > > CubCelSet_CubCelSet_FunctorType
 
typedef P_CubSet::BoolBCI_Ptr BoolBCI_Ptr
 
typedef P_CubSet::BoolBI_Ptr BoolBI_Ptr
 
typedef P_CubSet::CubSetT_void_Ptr CubSetT_void_Ptr
 
typedef P_CubSet::CubSetT_CubSetT_Ptr CubSetT_CubSetT_Ptr
 
typedef capd::auxil::Functor< CRef< FreeChainComplexType >, CRef< P_CubCelSet > > FreeChainComplex_CubCelSet_FunctorType
 

Static Public Member Functions

static CRef< P_CubCelSet > BCubCelSetFromBCubSet (CRef< P_CubSet > A_cubSetCR)
 
static CRef< P_CubCelSet > CubCelSetReduceNonFunct (CRef< P_CubCelSet > A_cubCelSetCR, int writeReducedSetToFile=0, const char *fileName=0)
 
static CRef< P_CubCelSet > CubCelSetReduce (CRef< P_CubCelSet > A_cubCelSetCR)
 
static CRef< ZGenRFCComplex > ZRFCComplexFromCubSet (CRef< P_CubSet > A_cubSetCR)
 
static CRef< ReducibleFreeChainComplexType > ReducibleFreeChainComplexFromCubCelSet (CRef< P_CubCelSet > A_cubCelSetCR)
 
static CRef< ReducibleFreeChainComplexType > ReducibleFreeChainComplexOverRingFromCubCelSet (CRef< P_CubCelSet > A_cubCelSetCR)
 
static CRef< ZGenRFCComplex > ZGenReducibleFreeChainComplexOverRingFromCubCelSet (CRef< P_CubCelSet > A_cubCelSetCR)
 
static CRef< ZGenRFCComplex > ReducibleFreeChainComplexOverZFromCubCelSet (CRef< P_CubCelSet > A_cubCelSetCR)
 
static CRef< FreeChainComplexType > FreeChainComplexFromCubCelSet (CRef< P_CubCelSet > A_cubCelSetCR)
 
static CRef< HomologySignatureType > HomologyViaAlgebraicReductionsRandom (CRef< P_CubSet > A_setCR)
 
static CRef< HomologySignatureType > HomologyViaAlgebraicReductionsSorted (CRef< P_CubSet > A_setCR)
 
static CRef< HomologySignatureType > HomologyViaAlgebraicReductionsLocallySorted (CRef< P_CubSet > A_setCR)
 
static CRef< HomologySignatureType > HomologyViaAlgebraicReductions (CRef< P_CubSet > A_setCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspace (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceOverRing (CRef< P_CubSet > A_cubSetCR, int shaveMultiplicity=1)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceHOM (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceHOMShaved (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSI (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSI_1C (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceOSSIShaved (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSI (CRef< P_CubCelSet > A_cubCellSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSI_1C (CRef< P_CubCelSet > A_cubCellSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceUniversal (CRef< P_CubSet > A_cubSetCR, OptionMapType &options)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSIShaved (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSIShaved (CRef< P_CubCelSet > A_cubCellSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSIR (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceSIRShaved (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceLTD3 (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceLTD3 (CRef< P_CubCelSet > A_cubCellSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceLTD3Shaved (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceLTD3ShavedOverRing (CRef< P_CubSet > A_cubSetCR)
 
static CRef< HomologySignatureType > HomologyViaAcyclicSubspaceLTD3Shaved (CRef< P_CubCelSet > A_cubCellSetCR)
 
static CRef< HomologySignatureType > HomSignViaRepSetReductions (CRef< P_CubSet > A_setCR)
 
static CRef< HomologySignatureType > HomSignViaRepSetReductionsNew (CRef< P_CubSet > A_setCR)
 
static CRef< HomologySignatureType > HomSignViaRepSetReductions (CRef< P_CubCelSet > A_setCR)
 
static CRef< HomologySignatureType > HomSignViaRepSetReductionsOverRing (CRef< P_CubCelSet > A_setCR)
 
static CRef< HomologySignatureType > ZGenHomSignViaRepSetReductionsOverRing (CRef< P_CubCelSet > A_setCR)
 
static CRef< HomologySignatureType > ZGenHomSignViaRepSetReductionsOverRingNonFunct (CRef< P_CubCelSet > A_setCR, int writeReducedSetToFile=0, const char *fileName=0)
 
static CRef< HomologySignatureType > HomSignViaRepSetReductionsFull (CRef< P_CubCelSet > A_cubCellSetCR)
 
static CRef< QuotientGradedModule< FreeModuleType > > HomologyViaRepSetReductions (CRef< P_CubCelSet > A_setCR)
 

Static Public Attributes

static CubSetT_void_Ptr shave
 
static CubSetT_CubSetT_Ptr acyclicSubspace
 
static int lastAcyclicSubsetSize =0
 
static CubCelSet_CubSet_FunctorType CubCelSet_From_CubSet
 
static CubCelSet_CubCelSet_FunctorType CubCelSet_CR_CubCelSet
 
static RFCComplexOverZ_CubSet_FunctorType RFCComplexOverZ_From_CubSet
 
static RFCComplex_CubCelSet_FunctorType RFCComplex_From_CubCelSet
 
static RFCComplexOverZ_CubCelSet_FunctorType RFCComplexOverZ_From_CubCelSet
 
static FreeChainComplex_CubCelSet_FunctorType FreeChainComplex_From_CubCelSet
 

Member Typedef Documentation

template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef P_CubSet::BoolBCI_Ptr CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::BoolBCI_Ptr
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef P_CubSet::BoolBI_Ptr CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::BoolBI_Ptr
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<P_CubCelSet>,CRef<P_CubCelSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubCelSet_CubCelSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<P_CubCelSet>,CRef<P_CubSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubCelSet_CubSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<P_CubSet>,CRef<P_CubSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubSet_CubSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef P_CubSet::CubSetT_CubSetT_Ptr CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubSetT_CubSetT_Ptr
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef P_CubSet::CubSetT_void_Ptr CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubSetT_void_Ptr
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<FreeChainComplexType>,CRef<P_CubCelSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::FreeChainComplex_CubCelSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef P_FreeChainComplex CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::FreeChainComplexType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef FreeChainComplexType::FreeModuleType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::FreeModuleType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef FreeModuleType::GeneratorType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::GeneratorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef HomologySignature<ScalarType, IntType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologySignatureType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef FreeModuleType::IntType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::IntType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef ReducibleFreeChainComplex<FreeModuleType,GeneratorType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ReducibleFreeChainComplexType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<ReducibleFreeChainComplexType>,CRef<P_CubCelSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::RFCComplex_CubCelSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<ReducibleFreeChainComplexType>,CRef<P_CubSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::RFCComplex_CubSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<ZGenRFCComplex>,CRef<P_CubCelSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::RFCComplexOverZ_CubCelSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef capd::auxil::Functor<CRef<ZGenRFCComplex>,CRef<P_CubSet> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::RFCComplexOverZ_CubSet_FunctorType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef FreeModuleType::ScalarType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ScalarType
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef FreeModule<int,capd::vectalg::Matrix<ScalarType,0,0>, IntType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ZGenFreeModule
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
typedef ReducibleFreeChainComplex<ZGenFreeModule,int> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ZGenRFCComplex

Member Function Documentation

template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<P_CubCelSet> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::BCubCelSetFromBCubSet ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<P_CubCelSet> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubCelSetReduce ( CRef< P_CubCelSet >  A_cubCelSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<P_CubCelSet> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubCelSetReduceNonFunct ( CRef< P_CubCelSet >  A_cubCelSetCR,
int  writeReducedSetToFile = 0,
const char *  fileName = 0 
)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<FreeChainComplexType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::FreeChainComplexFromCubCelSet ( CRef< P_CubCelSet >  A_cubCelSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspace ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceHOM ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceHOMShaved ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceLTD3 ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceLTD3 ( CRef< P_CubCelSet >  A_cubCellSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceLTD3Shaved ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceLTD3Shaved ( CRef< P_CubCelSet >  A_cubCellSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceLTD3ShavedOverRing ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceOSSIShaved ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceOverRing ( CRef< P_CubSet >  A_cubSetCR,
int  shaveMultiplicity = 1 
)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSI ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSI ( CRef< P_CubCelSet >  A_cubCellSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSI_1C ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSI_1C ( CRef< P_CubCelSet >  A_cubCellSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSIR ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSIRShaved ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSIShaved ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceSIShaved ( CRef< P_CubCelSet >  A_cubCellSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAcyclicSubspaceUniversal ( CRef< P_CubSet >  A_cubSetCR,
OptionMapType &  options 
)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAlgebraicReductions ( CRef< P_CubSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAlgebraicReductionsLocallySorted ( CRef< P_CubSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAlgebraicReductionsRandom ( CRef< P_CubSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaAlgebraicReductionsSorted ( CRef< P_CubSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<QuotientGradedModule<FreeModuleType> > CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomologyViaRepSetReductions ( CRef< P_CubCelSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomSignViaRepSetReductions ( CRef< P_CubSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomSignViaRepSetReductions ( CRef< P_CubCelSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomSignViaRepSetReductionsFull ( CRef< P_CubCelSet >  A_cubCellSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomSignViaRepSetReductionsNew ( CRef< P_CubSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::HomSignViaRepSetReductionsOverRing ( CRef< P_CubCelSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<ReducibleFreeChainComplexType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ReducibleFreeChainComplexFromCubCelSet ( CRef< P_CubCelSet >  A_cubCelSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<ReducibleFreeChainComplexType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ReducibleFreeChainComplexOverRingFromCubCelSet ( CRef< P_CubCelSet >  A_cubCelSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<ZGenRFCComplex> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ReducibleFreeChainComplexOverZFromCubCelSet ( CRef< P_CubCelSet >  A_cubCelSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ZGenHomSignViaRepSetReductionsOverRing ( CRef< P_CubCelSet >  A_setCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<HomologySignatureType> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ZGenHomSignViaRepSetReductionsOverRingNonFunct ( CRef< P_CubCelSet >  A_setCR,
int  writeReducedSetToFile = 0,
const char *  fileName = 0 
)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<ZGenRFCComplex> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ZGenReducibleFreeChainComplexOverRingFromCubCelSet ( CRef< P_CubCelSet >  A_cubCelSetCR)
inlinestatic
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
static CRef<ZGenRFCComplex> CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::ZRFCComplexFromCubSet ( CRef< P_CubSet >  A_cubSetCR)
inlinestatic

Member Data Documentation

template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
CubSetT_CubSetT_Ptr CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::acyclicSubspace
static
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
CubCelSet_CubCelSet_FunctorType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubCelSet_CR_CubCelSet
static
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
CubCelSet_CubSet_FunctorType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::CubCelSet_From_CubSet
static
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
FreeChainComplex_CubCelSet_FunctorType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::FreeChainComplex_From_CubCelSet
static
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
RFCComplex_CubCelSet_FunctorType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::RFCComplex_From_CubCelSet
static
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
RFCComplexOverZ_CubCelSet_FunctorType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::RFCComplexOverZ_From_CubCelSet
static
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
RFCComplexOverZ_CubSet_FunctorType CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::RFCComplexOverZ_From_CubSet
static
template<typename P_CubSet , typename P_CubCelSet , typename P_FreeChainComplex = BasicElementaryCellFreeChainComplexType>
CubSetT_void_Ptr CubSetFunctors< P_CubSet, P_CubCelSet, P_FreeChainComplex >::shave
static