main.cpp 412 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);
Olivier Mullier's avatar
Olivier Mullier committed
8
9
10
    ibex::Function f(x, ibex::sin(x));
    ibex::Interval inf_inter(0, 5);
    ibex::Interval sup_inter(9, 10);
Olivier Mullier's avatar
Olivier Mullier committed
11
    
Olivier Mullier's avatar
Olivier Mullier committed
12
13
14
15
    IntegralII integ_inter(inf_inter, sup_inter, &f);
    integ_inter.compute_integral();
    cout << "Result: " << endl;
    cout << integ_inter << endl;
Olivier Mullier's avatar
Olivier Mullier committed
16
17
    return EXIT_SUCCESS;
}