main.cpp 376 Bytes
Newer Older
Olivier Mullier's avatar
Olivier Mullier committed
1
#include <iostream>
Olivier Mullier's avatar
Olivier Mullier committed
2

Olivier Mullier's avatar
Olivier Mullier committed
3
#include "integralii.h"
Olivier Mullier's avatar
Olivier Mullier committed
4

Olivier Mullier's avatar
Olivier Mullier committed
5
int main(){
Olivier Mullier's avatar
Olivier Mullier committed
6
7
    cout << setprecision(15);
    ibex::Variable x(1);
8
    ibex::Function f(x, ibex::cos(x));
Olivier Mullier's avatar
Olivier Mullier committed
9
    ibex::Interval inf_inter(0, 5);
10
    ibex::Interval sup_inter(7, 15);
Olivier Mullier's avatar
Olivier Mullier committed
11
    
Olivier Mullier's avatar
Olivier Mullier committed
12
13
14
    IntegralII integ_inter(inf_inter, sup_inter, &f);
    cout << "Result: " << endl;
    cout << integ_inter << endl;
Olivier Mullier's avatar
Olivier Mullier committed
15
16
    return EXIT_SUCCESS;
}