boostorg / boostorg/interval

boost::numeric::interval constructor seems not creating an interval enclosing its arguments

Open
#43 3 comments 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
31
Forks
48
PR merge metrics
No merged PRs in 30d

Description

In the document of boost interval [https://www.boost.org/doc/libs/1_86_0/libs/numeric/interval/doc/interval.htm#interval](url)
If the interval constructor has only one argument, "The constructors create an interval enclosing their arguments."
But in the following code, seems not working like this, it just sets interval's upper and lower bounds as the same value of my input. This is NOT what we expect for interval arithmetic, since the input may not be precisely stored in a computer.
```
#include
#include

using namespace std;

int main() {
cout << setprecision(20);
boost::numeric::interval I = boost::numeric::interval(0.1);
cout << I.upper() << endl; // print: 0.10000000000000000555
cout << I.lower() << endl; // print: 0.10000000000000000555
}
```
another strange thing is when I add a double number, sometimes it gives the desired bound, but sometimes NOT! See below, adding 0.1 to the interval and adding 1.1 to the interval gives different type of the result. adding 1.1 gives the desired result.
```
#include
#include

using namespace std;

int main() {
cout << setprecision(20);
boost::numeric::interval I = boost::numeric::interval(0.1);
I += 0.1 // add 0.1
cout << I.upper() << endl; // print: 0.2000000000000000111
cout << I.lower() << endl; // print: 0.2000000000000000111
}
```
```
#include
#include

using namespace std;

int main() {
cout << setprecision(20);
boost::numeric::interval I = boost::numeric::interval(0.1);
I += 1.1 // add 1.1
cout << I.upper() << endl; // print: 1.2000000000000001776
cout << I.lower() << endl; // print: 1.1999999999999999556
}
```
When compiling I add -frounding-math, and the boost version is v1.85.0.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.