MultivariateTerm.h

Go to the documentation of this file.

/*
 * GiNaCRA - GiNaC Real Algebra package
 * Copyright (C) 2010-2012  Ulrich Loup, Joachim Redies, Sebastian Junges
 *
 * This file is part of GiNaCRA.
 *
 * GiNaCRA 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.
 *
 * GiNaCRA 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 GiNaCRA.  If not, see <http://www.gnu.org/licenses/>.
 *
 */


#ifndef GINACRA_MULTIVARIATETERM_H
#define GINACRA_MULTIVARIATETERM_H

#include "MultivariatePolynomial.h"

namespace GiNaCRA
{
    template<class monomialOrdering>
    class MultivariateTerm:
        public MultivariatePolynomial<monomialOrdering>
    {
        public:

            // Con- and destructors //

            MultivariateTerm();

            MultivariateTerm( const MultivariatePolynomial<monomialOrdering>& p );

            MultivariateTerm( const ex& p, const vector<symbol>& l ) throw ( invalid_argument );

            // Operators //

            // assignment operators
            const MultivariateTerm<monomialOrdering>& operator = ( const MultivariateTerm<monomialOrdering>& );
            const MultivariateTerm<monomialOrdering>& operator = ( const ex& );

            // Operations //

            int tdegree() const;

            // Arithmetic Operations //

            const MultivariateTerm<monomialOrdering> mul( const MultivariateTerm<monomialOrdering>& o ) const throw ( invalid_argument );

            // Methods from ex //

            void print( const print_context& c, unsigned level = 0 ) const;

            // Static Methods //

        protected:

            // Relational Operations //

            // also possible by comparing the intervals isolating the real roots:
            // inline const bool isLess(const MultivariateTerm& o) const; 
            // inline const bool isGreater(const MultivariateTerm& o) const;

            // Methods from basic //

            // unsigned calchash() const;

        private:

            // Attributes //

            // Auxiliary methods//

    };    // class MultivariateTerm

    // IMPLEMENTATION (in header file because of template parameter) //

#include "MultivariateTerm.tpp"

}    // namespace GiNaC

#endif