operators.h

Go to the documentation of this file.

#ifndef GINACRA_OPERATORS_H
#define GINACRA_OPERATORS_H

#pragma once
#include <ginac/operators.h>
#include <tr1/memory>

namespace GiNaCRA
{

// Common //

const GiNaC::numeric abs( const GiNaC::ex& x );

// OpenInterval //

class OpenInterval;

// binary arithmetic operators of OpenInterval
const OpenInterval operator+( const OpenInterval&, const OpenInterval& );
const OpenInterval operator-( const OpenInterval&, const OpenInterval& );
const OpenInterval operator*( const OpenInterval&, const OpenInterval& );
// unary arithmetic operators of OpenInterval
const OpenInterval operator-( const OpenInterval& );
// relational operators of OpenInterval
const bool operator==( const OpenInterval&, const OpenInterval& );
const bool operator!=( const OpenInterval&, const OpenInterval& );
const bool operator<=( const OpenInterval&, const OpenInterval& );
const bool operator>=( const OpenInterval&, const OpenInterval& );

// mixed arithmetic operators
const OpenInterval operator+( const OpenInterval&, const GiNaC::numeric& );
const OpenInterval operator+( const GiNaC::numeric&, const OpenInterval& );
const OpenInterval operator-( const OpenInterval&, const GiNaC::numeric& );
const OpenInterval operator-( const GiNaC::numeric&, const OpenInterval& );
const OpenInterval operator*( const OpenInterval&, const GiNaC::numeric& );
const OpenInterval operator*( const GiNaC::numeric&, const OpenInterval& );
const OpenInterval operator/(const GiNaC::numeric&, const OpenInterval&) throw (std::overflow_error );
const OpenInterval operator/(const OpenInterval&, const GiNaC::numeric&) throw (std::overflow_error );

// UnivariatePolynomial //

class UnivariatePolynomial;
class RationalUnivariatePolynomial;

// binary arithmetic operators
const UnivariatePolynomial operator+( const UnivariatePolynomial&, const UnivariatePolynomial& );
const UnivariatePolynomial operator-( const UnivariatePolynomial&, const UnivariatePolynomial& );
const UnivariatePolynomial operator*( const UnivariatePolynomial&, const UnivariatePolynomial& );
const UnivariatePolynomial operator/( const UnivariatePolynomial&, const UnivariatePolynomial& );
//const UnivariatePolynomial operator%( const UnivariatePolynomial&, const UnivariatePolynomial& );
const RationalUnivariatePolynomial operator+( const RationalUnivariatePolynomial&, const RationalUnivariatePolynomial& );
const RationalUnivariatePolynomial operator-( const RationalUnivariatePolynomial&, const RationalUnivariatePolynomial& );
const RationalUnivariatePolynomial operator*( const RationalUnivariatePolynomial&, const RationalUnivariatePolynomial& );
const RationalUnivariatePolynomial operator/( const RationalUnivariatePolynomial&, const RationalUnivariatePolynomial& );
const RationalUnivariatePolynomial operator%( const RationalUnivariatePolynomial&, const RationalUnivariatePolynomial& );
// unary arithmetic operators
const UnivariatePolynomial operator-( const UnivariatePolynomial& );
const RationalUnivariatePolynomial operator-( const RationalUnivariatePolynomial& );
// relational operators
const bool operator==( const UnivariatePolynomial&, const UnivariatePolynomial& );
const bool operator!=( const UnivariatePolynomial&, const UnivariatePolynomial& );

// UnivariatePolynomialSet //

class UnivariatePolynomialSet;

std::ostream& operator<<( std::ostream& os, const UnivariatePolynomialSet& );

// RealAlgebraicNumberIR //

class RealAlgebraicNumberIR;

// binary arithmetic operators
RealAlgebraicNumberIR& operator+( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator-( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator*( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator/( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator^( RealAlgebraicNumberIR&, int );
// unary arithmetic operators
RealAlgebraicNumberIR& operator-( RealAlgebraicNumberIR& );
// relational operators
const bool operator==( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
const bool operator==( const RealAlgebraicNumberIR&, const RealAlgebraicNumberIR& );
const bool operator!=( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
const bool operator<( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
const bool operator>( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
const bool operator<=( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );
const bool operator>=( RealAlgebraicNumberIR&, RealAlgebraicNumberIR& );

// mixed arithmetic operators
RealAlgebraicNumberIR& operator+( const GiNaC::numeric&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator+( RealAlgebraicNumberIR&, const GiNaC::numeric& );
RealAlgebraicNumberIR& operator-( const GiNaC::numeric&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator-( RealAlgebraicNumberIR&, const GiNaC::numeric& );
RealAlgebraicNumberIR& operator*( const GiNaC::numeric&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator*( RealAlgebraicNumberIR&, const GiNaC::numeric& );
RealAlgebraicNumberIR& operator/( const GiNaC::numeric&, RealAlgebraicNumberIR& );
RealAlgebraicNumberIR& operator/( RealAlgebraicNumberIR&, const GiNaC::numeric& );

// RealAlgebraicNumber //

class RealAlgebraicNumber;
class RealAlgebraicNumberNR;

typedef std::tr1::shared_ptr<RealAlgebraicNumber> RealAlgebraicNumberPtr;

// basic binary operator
RealAlgebraicNumberPtr binaryOperator( const RealAlgebraicNumberPtr& lh, const RealAlgebraicNumberPtr& rh, RealAlgebraicNumberIR&( *opIRIR )(RealAlgebraicNumberIR&, RealAlgebraicNumberIR&), RealAlgebraicNumberIR&( *opIRNR )(RealAlgebraicNumberIR&, const GiNaC::numeric&), const GiNaC::numeric( *opNRNR )(const GiNaC::numeric&, const GiNaC::numeric&) );
// binary arithmetic operators
RealAlgebraicNumberPtr operator+(const RealAlgebraicNumberPtr&, const RealAlgebraicNumberPtr& );
RealAlgebraicNumberPtr operator-(const RealAlgebraicNumberPtr&, const RealAlgebraicNumberPtr& );
RealAlgebraicNumberPtr operator*(const RealAlgebraicNumberPtr&, const RealAlgebraicNumberPtr& );
RealAlgebraicNumberPtr operator/(const RealAlgebraicNumberPtr&, const RealAlgebraicNumberPtr& );
RealAlgebraicNumberPtr operator^( const RealAlgebraicNumberPtr&, int );
// unary arithmetic operators
RealAlgebraicNumberPtr operator-( const RealAlgebraicNumberPtr& );
// relational operators
const bool operator==( const RealAlgebraicNumberPtr&, const RealAlgebraicNumberPtr& );
const bool operator!=( const RealAlgebraicNumberPtr&, const RealAlgebraicNumberPtr& );
const bool operator<( const RealAlgebraicNumberPtr&, const RealAlgebraicNumberPtr& );

// streaming operators
std::ostream& operator<<( std::ostream& os, const RealAlgebraicNumberPtr& );
void print( const RealAlgebraicNumberPtr&, std::ostream& os = std::cout );

// RealAlgebraicPoint //

class RealAlgebraicPoint;

// streaming operators
std::ostream& operator<<( std::ostream& os, const RealAlgebraicPoint& );

// Constraint //

class Constraint;

// relational operators
const bool operator==( const Constraint&, const Constraint& );

// streaming operators
std::ostream& operator<<( std::ostream& os, const Constraint& );

// DIRECT IMPLEMENTATIONS of classes with template parameters //

//
//template<typename monomialOrdering>
//class MultivariatePolynomial;
//
//template<class monomialOrdering>
//std::ostream& operator<<( std::ostream & os, MultivariatePolynomial<monomialOrdering> p );
//
//
//template<class monomialOrdering>
//const MultivariatePolynomial<monomialOrdering> operator+( const MultivariatePolynomial<monomialOrdering>& a, const MultivariatePolynomial<monomialOrdering>& b );
//
//template<class monomialOrdering>
//const MultivariatePolynomial<monomialOrdering> operator-( const MultivariatePolynomial<monomialOrdering>& a, const MultivariatePolynomial<monomialOrdering>& b );
//
//template<class monomialOrdering>
//const MultivariatePolynomial<monomialOrdering> operator*( const MultivariatePolynomial<monomialOrdering>& a, const MultivariatePolynomial<monomialOrdering>& b );
//
//template<class monomialOrdering>
//const MultivariatePolynomial<monomialOrdering> operator^( const MultivariatePolynomial<monomialOrdering>& a, const unsigned e );
//
//
//template<class monomialOrdering>
//const MultivariatePolynomial<monomialOrdering> operator-( const MultivariatePolynomial<monomialOrdering>& a );
//
//
//template<typename monomialOrdering>
//class MultivariateTerm;
//
//template<class monomialOrdering>
//std::ostream& operator<<( std::ostream & os, MultivariateTerm<monomialOrdering> p );
//
//template<class monomialOrdering>
//const MultivariateTerm<monomialOrdering> operator*( const MultivariateTerm<monomialOrdering>& a, const MultivariateTerm<monomialOrdering>& b );
//
//
//template<typename monomialOrdering>
//class MultivariateCoefficient;
//template<class monomialOrdering>
//std::ostream& operator<<( std::ostream & os, MultivariateCoefficient<monomialOrdering> p );
//
//
//template<typename monomialOrdering>
//class MultivariateMonomial;
//
//template<class monomialOrdering>
//std::ostream& operator<<( std::ostream & os, MultivariateMonomial<monomialOrdering> p );
//
//
//template<class monomialOrdering>
//const MultivariateMonomial<monomialOrdering> operator*( const MultivariateMonomial<monomialOrdering>& a, const MultivariateMonomial<monomialOrdering>& b );
//
//
//template<typename monomialOrdering>
//class SpecialQuotientRingMultiplicationTable;
//
//template<class monomialOrdering>
//std::ostream& operator<<( std::ostream & os, SpecialQuotientRingMultiplicationTable<monomialOrdering> t );

} // namespace GiNaC

#endif // GINACRA_OPERATORS_H