Olivier Hénot

`convert` can fail to return a valid interval

3

The following conversion fails to return a valid interval: ```Julia julia> x = Float64(π) 3.141592653589793 julia> convert(Interval{BigFloat}, x).lo ≤ x ≤ convert(Interval{BigFloat}, x).hi false ``` The problem seems to stem...

Extra allocations from multiplication (redefining functions in the REPL alleviates allocations)

18

This is a follow-up of [this](https://discourse.julialang.org/t/redefining-functions-in-the-repl-alleviates-large-allocations-mwe-with-intervalarithmetic-jl/53515) discussion in discourse. Multiplication of intervals in functions defined inside a module leads to 6 extra allocations per `*`. Interestingly, redefining the function in...

Performance discrepancy between powers of `Real` and `Complex` numbers

5

While using `abs` the other day, I found out the following difference (Julia v1.7.0, IntervalArithmetic v0.20.2): ```Julia julia> using IntervalArithmetic, BenchmarkTools julia> x = @interval(π + im*π) [3.14159, 3.1416] +...

As pointed out here https://github.com/JuliaIntervals/IntervalArithmetic.jl/pull/621#discussion_r1469320240, the function `_quadrant` used internally for trigonometric functions may yield wrong results. See https://github.com/JuliaIntervals/IntervalArithmetic.jl/pull/621#discussion_r1469423662 for a proposal to fix the issue (at least partially). Also,...

Replacing CRlibm with CORE-MATH

7

In a recent triage call, we discussed replacing CRlibm with [CORE-MATH](https://gitlab.inria.fr/core-math/core-math/), which provides a more complete set of correctly rounded functions. On particular appeal is that they give a correctly...

This PR simply adds the boolean keyword `ng_flag` to the `setdisplay` function. When set to false, the flag "NG" is not displayed. Before merging this PR, can anyone think of...