Identify.hpp

Go to the documentation of this file.

#pragma once
#include "Homology/Homology.hpp"
#include "Mackey_Functors/MackeyFunctor.hpp"
 
 
 
namespace mackey {
 
    template<typename rank_t>
    class IDGenerators {
    public:
        typedef Eigen::Matrix<typename rank_t::Scalar, -1, -1> matrix_t;
        AbelianGroup<rank_t> group; 
        AbelianGroup<rank_t> group_lower; 
        matrix_t tr; 
        matrix_t res; 
 
        IDGenerators()=default;
 
        MackeyFunctor<rank_t> getMackey() const;
 
        bool operator==(const IDGenerators<rank_t>&) const;
    };
 
    template<typename rank_t>
    std::vector<rank_t> id_candidates(const rank_t&, const IDGenerators<rank_t>&, const IDGenerators<rank_t>&);
 
 
    template<typename rank_t>
    bool distinguish(const std::vector<rank_t>&, const IDGenerators<rank_t>&);
 
 
    namespace internal {
        template<typename group_t>
        class IDGeneratorCompute {
            typedef typename group_t::rank_t rank_t;
            typedef typename group_t::diff_t diff_t;
        public:
            IDGenerators<rank_t> ID; 
            IDGeneratorCompute(int, const Junction<rank_t, diff_t>&, bool=0); 
        private:
            rank_t rank_level;
            Homology<rank_t, diff_t> H_level;
            IDGeneratorCompute() = default;
 
            //Identifies the generators in case of non cyclic homology.
            void id(const Junction<rank_t, diff_t>&);
 
            template<typename>
            friend class IDGenerators;
 
            template<typename, typename>
            friend class TableInput;
 
            template<typename>
            friend class GreenCompute;
 
            template<typename>
            friend class MasseyCompute;
 
        };
    }
}
#include "impl/Identify.ipp"