Mult_Graph.hpp

Go to the documentation of this file.

#pragma once
#include "Mult_Table.hpp"
#include "Graph/Graph_Policies.hpp"
 
 
 
namespace mackey {
 
    namespace implementation_details {
        struct compareElements;
    }
 
 
    template<typename group_t>
    class MultGraph : public MultTable<group_t> {
        typedef typename group_t::rank_t rank_t;
        typedef typename group_t::diff_t diff_t;
 
    public:
        int number_of_generators;
 
        std::vector<int> getdegree(int i) const;
 
        Eigen::Matrix<int, 1, -1> getelement(int i) const;
 
        int getelementindex(const std::vector<int>& deg, const rank_t& elmnt) const;
 
        typedef Graph<Neighborhood<size_t, bicolored_edge_with_id, std::vector>> graph_t;
        graph_t graph;
 
        template<typename ...Args>
        MultGraph(Args&&...);
 
    protected:
 
        struct Product_Element_Irreducible {
            int deg;            
            rank_t basis;           
            Green<group_t> G;       
        };
 
        Product_Element_Irreducible product_element_irreducible(int i, int j);
 
        Product_Element_Irreducible product_element_irreducible(int i, int j1, int j2);
 
        std::vector<rank_t> product_candidates(const Product_Element_Irreducible&);
 
        std::vector<rank_t> element; 
        std::vector<int> tracker; 
 
        std::map<std::pair<int, rank_t>, int, implementation_details::compareElements> antielement;
 
        int isMultiple(int i, int j) const;
 
    private:
        void make();
        std::set<std::pair<int, int>> unidentified; 
        std::vector<std::vector<int>> zeroproduct; 
 
        void initialize();
 
        void add_edges(int);
        void pass_multiples();
 
        int find_and_add_element(int, const rank_t&);
 
        auto determine_connection(int, int, const Product_Element_Irreducible&);
 
        void connect(const rank_t&, int, int, int);
 
        std::vector<int> other_elements(int) const;
 
        bool injection(int, int) const;
 
        int order(int i) const;
 
        template<typename>
        friend class MultIdentify;
 
        template<typename>
        friend class MultConnectivity;
    };
}
#include "impl/Mult_Graph.ipp"