representation.h

Go to the documentation of this file.

// This file is part of MARTY.
// 
// MARTY is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
// 
// MARTY is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
// 
// You should have received a copy of the GNU General Public License
// along with MARTY. If not, see <https://www.gnu.org/licenses/>.

#ifndef REPRESENTATION_H_INCLUDED
#define REPRESENTATION_H_INCLUDED

#include "semiSimpleAlgebra.h"

// Forward declaration of SumIrrep class
namespace mty {
class SumIrrep;
}

namespace mty {

class Irrep{

    public:

    Irrep();

    Irrep(const SemiSimpleAlgebra*         t_algebra,
          const std::vector<AlgebraState>& t_rep,
          const std::vector<int>&          multiplicities);

    ~Irrep(){}

    size_t size() const;

    bool empty() const;

    std::vector<AlgebraState>::iterator begin();

    std::vector<AlgebraState>::const_iterator begin() const;

    std::vector<AlgebraState>::iterator end();

    std::vector<AlgebraState>::const_iterator end() const;

    const SemiSimpleAlgebra* getAlgebra() const;

    int getDim() const;

    csl::Expr getCharge() const;

    AlgebraState getHighestWeight() const;

    std::vector<AlgebraState> getRep() const;

    std::vector<int> getMult() const;

    Irrep getConjugatedRep() const;

    AlgebraState& operator[](int i);

    AlgebraState operator[](int i) const;

    bool operator<(const Irrep& other) const;

    bool operator>(const Irrep& other) const;

    bool operator>=(const Irrep& other) const;

    bool operator<=(const Irrep& other) const;

    bool operator==(const Irrep& other) const;

    bool operator!=(const Irrep& other) const;

    SumIrrep operator+(const Irrep& other) const;

    SumIrrep operator+(const SumIrrep& other) const;

    SumIrrep operator*(const Irrep& other) const;

    SumIrrep operator*(const SumIrrep& other) const;
    
    friend
    std::ostream& operator<<(std::ostream& fout, 
                             const Irrep&  irrep);

    protected:

    int dim;

    const SemiSimpleAlgebra* algebra;

    AlgebraState highestWeight;

    std::vector<AlgebraState> rep;

    std::vector<int> mult;
};

class SumIrrep: public std::vector<Irrep>{
    
    public:

    SumIrrep();

    explicit
    SumIrrep(const std::vector<Irrep>& t_irrep);

    explicit
    SumIrrep(const Irrep& other);

    ~SumIrrep(){};

    int getDim() const;

    const SemiSimpleAlgebra* getAlgebra() const;

    void insertSort(const Irrep& other);

    SumIrrep operator+(const Irrep& other) const;

    SumIrrep operator+(const SumIrrep& other) const;

    SumIrrep operator*(const Irrep& other) const;

    SumIrrep operator*(const SumIrrep& other) const;

    friend
    std::ostream& operator<<(std::ostream&   fout,
                             const SumIrrep& s);

    protected:

    const SemiSimpleAlgebra* algebra;
};

} // End of namespace mty

#endif