Template Function bats::Hom(const Diagram<DGVectorSpace<TM>, DGLinearMap<TM>>&, bool)

Function Documentation

template<typename TM>
Diagram<ReducedDGVectorSpace<TM>, std::vector<TM>> bats::Hom(const Diagram<DGVectorSpace<TM>, DGLinearMap<TM>> &D, bool topd = false)

Homology functor in all dimensions template over matrix type

when topd is true, a k-dimensional Chain complex will be assumed to be 0 in dimension k+1 and H_k will be computed.

Assumes that all chain complexes have same dimension.

Parameters
  • D – diagram of ChainComplexes and ChainMaps

  • topd – (optional, default: false) if true will compute top dimensional homology.