Olivier Hénot

I am closing this PR since with PR #593 we did not allow mixing `BareInterval` and `Interval` (i.e. `Interval` and `DecoratedInterval` respectively). Especially since we have the `isguaranteed` boolean field...

Is this still a wanted feature?

I still wonder why this is so bad for `mince` to allocate a vector, since this is fairly cheap. Unless of course `mince` is used in a loop. Then perhaps...

@lucaferranti what is the status of this PR? Perhaps rebase and define some `isapprox_interval` function?

I am closing this PR since it seems abandoned. Feel free to re-open it if you want to revive it at some point, or just open a new one.

This is resolved on master.

Solved in PR #593.

This is interesting; it does help performance a bit. One issue is that `Rational` is (on master) a supported bound type for `Interval`, yet there is no `NaN` equivalent for...

Done in PR #593. Let us see if the proposed API holds up to our expectations.

Fixed on master.