Merge cd90e072c4 into f4936dd50a

back to IntervalArithmetic-0.20 to keep julia-1.6
2024-11-21 23:55:28 +01:00 · 2024-02-16 11:10:04 +00:00 · 2024-02-16 12:09:11 +01:00
2 changed files with 3 additions and 5 deletions
--- a/Project.toml
+++ b/Project.toml
@ -21,7 +21,7 @@ SymbolicWedderburn = "858aa9a9-4c7c-4c62-b466-2421203962a2"
 COSMO = "0.8"
 Groups = "0.8"
 GroupsCore = "0.5"
-IntervalArithmetic = "0.21"
+IntervalArithmetic = "0.20"
 IntervalMatrices = "0.10"
 JuMP = ">=1.3"
 PermutationGroups = "0.6.2"
--- a/src/certify.jl
+++ b/src/certify.jl
@ -123,10 +123,8 @@ function certify_solution(
        return false, λ_flpoint
    end

-    λ_int = IntervalArithmetic.interval(Float64, λ)
-    Q_int = IntervalMatrices.IntervalMatrix([
-        IntervalArithmetic.interval(Float64, q) for q in Q
-    ])
+    λ_int = IntervalArithmetic.interval(λ)
+    Q_int = IntervalMatrices.IntervalMatrix(IntervalArithmetic.interval.(Q))

    check, sos_int = @time if should_we_augment
        @info("Projecting columns of Q to the augmentation ideal...")
Author	SHA1	Message	Date
Marek Kaluba	e10cc936a0	Merge `cd90e072c4` into `f4936dd50a`	2024-02-16 11:10:04 +00:00
Marek Kaluba	cd90e072c4	back to IntervalArithmetic-0.20 to keep julia-1.6	2024-02-16 12:09:11 +01:00