IntervalCoefficientExample.cpp

Go to the documentation of this file.

 
 
#include <carl-arith/core/VariablePool.h>
#include <carl-arith/poly/umvpoly/Term.h>
#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-arith/interval/Interval.h>
 
#ifdef USE_CLN_NUMBERS
#include <cln/cln.h>
typedef cln::cl_RA Rational;
typedef cln::cl_I Integer;
#else
#include <gmpxx.h>
typedef mpq_class Rational;
typedef mpz_class Integer;
#endif
 
using namespace carl;
 
int main(int argc, char** argv) {
    
    Variable a = fresh_real_variable("a");
    Variable b = fresh_real_variable("b");
    Variable c = fresh_real_variable("c");
    Variable d = fresh_real_variable("d");
    
//  MultivariatePolynomial<Rational> e6({(Term<Rational>)1,(Rational)3*b, (Rational)1*createMonomial(c,2),(Rational)-1*createMonomial(d,3)});
//  MultivariatePolynomial<Interval<double>> e6({(Term<Interval<double>>)(Interval<double>)1,(Interval<double>)3*b, (Interval<double>)1*createMonomial(c,2),(Interval<double>)-1*createMonomial(d,3)});
//  MultivariatePolynomial<Interval<double>> e7({(Interval<double>)1});
}