MackeyFunctor.hpp

Go to the documentation of this file.

#pragma once
#include <string>
#include <iostream>
#include <numeric>
#include "Homology/Abelian.hpp"
 
 
namespace mackey
{
    template<typename rank_t>
    using iso_t = std::vector<dense_t<rank_t>>;
 
    template<typename rank_t>
    class MackeyFunctor {
    public:
 
        std::vector<AbelianGroup<rank_t>> levels;
 
 
        std::vector<dense_t<rank_t>> tr;
 
        std::vector<dense_t<rank_t>> res;
        std::vector<dense_t<rank_t>> act;
 
        std::string name; 
 
        std::string print() const;
 
        void resize(int);
 
        MackeyFunctor() = default;
 
        MackeyFunctor(const rank_t&, int);
 
        bool operator==(const MackeyFunctor<rank_t>&) const;
 
        MackeyFunctor<rank_t> apply(const iso_t<rank_t>&, const iso_t<rank_t>&) const;
 
        std::pair<std::vector<iso_t<rank_t>>, std::vector<iso_t<rank_t>>> automorphisms() const;
 
        std::vector<MackeyFunctor<rank_t>> isomorphism_class() const;
 
        bool isomorphic(const std::vector<MackeyFunctor<rank_t>>& isoclass) const;
 
        bool isomorphic(const MackeyFunctor<rank_t>&);
 
 
        void notation();
    };
 
    template<typename rank_t>
    std::ostream& operator<<(std::ostream&, const MackeyFunctor<rank_t>&);
}
#include "impl/MackeyFunctor.ipp"