E_op.h

#ifndef EOP_H
#define EOP_H
#include<vector>
#include<utility>
#include "gNg.h"
#include "../Fper/Fminp.h"


namespace etvo
{
class E_op
{
public:
    static E_op E();
    static E_op Mu(unsigned m);
    static E_op Beta(unsigned b);
    static E_op Nabla(unsigned m,unsigned b);
    static E_op Nabla(unsigned mb);

    static E_op MuVar(const std::vector<unsigned> & weights);
    static E_op BetaVar(const std::vector<unsigned> & weights);
    static E_op Gamma(int n);

    public:
        E_op();
        E_op(const gNg & term);

        void add(const gNg & term);
        void add(const E_op & op);

        std::pair<unsigned,unsigned> getPeriodicity() const; 
     
        std::vector<gNg> getTerms() const;

        unsigned getM() const;
        unsigned getB() const;
        E_op extendBy(unsigned mul) const;

        void reduce();

        std::string toString() const;
        std::string toStringAsMuVar() const;

        int Fw(int ki) const;
        Fminp getFw() const;
        void setFromFw(const Fminp &);

        E_op operator+(const E_op & f) const;
        E_op oplus(const E_op & f) const;   

        E_op operator*(const E_op & f) const;
        E_op otimes(const E_op & f) const;
        E_op inf(const E_op & f) const;

        E_op osum(const E_op & f) const;

        E_op lfrac(const E_op & f) const;
        E_op rfrac(const E_op & f) const;

        bool operator==(const E_op & w) const;
        bool operator!=(const E_op & w) const;
        bool operator<=(const E_op & w) const;
        bool operator>=(const E_op & w) const;
        bool operator>(const E_op & w) const;
        bool operator<(const E_op & w) const;

    protected:
        Fminp _fper;      
};
   
   std::ostream & operator<<(std::ostream & f, const E_op & m);
}
#endif // EOP_H