Space.hpp

Go to the documentation of this file.

#pragma once
#include "Point.hpp"
 
 
namespace mackey {
 
    template<typename space_t, typename group_t>
    class Space {
        typedef typename group_t::rank_t rank_t;
        typedef typename group_t::diff_t diff_t;
    public:
 
        const auto& getChains();
 
        const auto& getCoChains();
        auto ROHomology(int level, const std::vector<int>& homologysphere);
 
        auto ROHomology(const std::vector<int>& homologysphere);
 
        auto ROCohomology(int level, const std::vector<int>& cohomologysphere);
 
        auto ROCohomology(const std::vector<int>& cohomologysphere);
 
 
    protected:
        std::vector<rank_t> cells;
 
        struct equivariant_index {
            int index; 
            equivariant_index() = default; 
            equivariant_index(int index);
        };
 
        struct nonequivariant_index {
            int index;  
            nonequivariant_index() = default; 
            nonequivariant_index(int index);
        };
 
        equivariant_index convert(nonequivariant_index n, int dimension) const;
 
        nonequivariant_index  convert(equivariant_index e, int dimension) const;
 
        struct cell_coefficient_pair {
            nonequivariant_index cell;
            scalar_t<diff_t> coefficient;
        };
 
        auto boundary(int dimension_domain, equivariant_index cell);
 
        int64_t estimate_nonzero_entries(int dimension_domain);
 
        nonequivariant_index action(nonequivariant_index n, int dimension) const;
 
    private:
 
        auto getROChains(const std::vector<int>& sphere);
        auto getROCoChains(const std::vector<int>& sphere);
        diff_t getdiff(int domain);
        void setcomplexes();
        Chains<rank_t, diff_t> complex, cocomplex;
 
 
    };
 
}
#include "impl/Space.ipp"