mterm.hh

Go to the documentation of this file.

#ifndef __MTERM__
#define __MTERM__

#include <stdio.h>
#include <assert.h>
#include "tlib.hh"
#include "signals.hh"
#include "sigprint.hh"
#include "simplify.hh"
#include "normalize.hh"
#include "sigorderrules.hh"
#include <map>
#include <list>

using namespace std;

class mterm
{

    Tree            fCoef;                      
    map<Tree,int>   fFactors;                   

 public:
    mterm ();                                   
    mterm (int k);                              
    mterm (double k);                           
    mterm (Tree t);                             
    mterm (const mterm& m);                     
    
    void cleanup();                             
    bool isNotZero() const;                     
    bool isNegative() const;                    

    const mterm& operator = (const mterm& m);   

    const mterm& operator *= (Tree m);          
    const mterm& operator /= (Tree m);          

    const mterm& operator += (const mterm& m);  
    const mterm& operator -= (const mterm& m);  
    
    const mterm& operator *= (const mterm& m);  
    const mterm& operator /= (const mterm& m);  

    mterm operator * (const mterm& m) const;    
    mterm operator / (const mterm& m) const;    
    ostream& print(ostream& dst) const;         
    
    int complexity() const;                     
    Tree normalizedTree(bool sign=false, 
                        bool neg=false) const;  
    Tree signatureTree() const;                 

    bool hasDivisor (const mterm& n) const;     
    friend mterm gcd (const mterm& m1, const mterm& m2);    
};

inline ostream& operator << (ostream& s, const mterm& m) { return m.print(s); }


#endif