JuliaIntervals / IntervalLinearAlgebra.jl

Linear algebra done rigorously
MIT License
36 stars 9 forks source link

use isinterior in verified floating point operations #94

Closed lucaferranti closed 2 years ago

lucaferranti commented 2 years ago

PR description

Use isinterior instead of strict subset in epsilon inflation and verified eigenvalue computation, as it should be.

Related issues

Checklist

Other