IntervalArithmetic.jl
IntervalArithmetic.jl copied to clipboard
Replacing CRlibm with CORE-MATH
In a recent triage call, we discussed replacing CRlibm with CORE-MATH, which provides a more complete set of correctly rounded functions.
On particular appeal is that they give a correctly rounded version of pow
, which should fix long standing performance issues for powers in IntervalArithmetic.jl.
@giordano I noticed that you created the CRlibm_jll binaries with Yggdrasil.jl. I tried to reproduce this on my computer today for core-math, but I am out of my depth here and could not make it work. The repository on GitLab is not a library per se, but it contains all the C functions. Do you think we can compile CORE-MATH into some CoreMath_jll binaries as easily?