Merge 83fdd313c6 into f4936dd50a

Project.toml

@@ -21,7 +21,7 @@ SymbolicWedderburn = "858aa9a9-4c7c-4c62-b466-2421203962a2"
 COSMO = "0.8"
 Groups = "0.8"
 GroupsCore = "0.5"
-IntervalArithmetic = "0.20"
+IntervalArithmetic = "0.21"
 IntervalMatrices = "0.10"
 JuMP = ">=1.3"
 PermutationGroups = "0.6.2"

src/certify.jl

@@ -123,8 +123,10 @@ function certify_solution(
         return false, λ_flpoint
     end
 
-    λ_int = IntervalArithmetic.interval(λ)
-    Q_int = IntervalMatrices.IntervalMatrix(IntervalArithmetic.interval.(Q))
+    λ_int = IntervalArithmetic.interval(Float64, λ)
+    Q_int = IntervalMatrices.IntervalMatrix([
+        IntervalArithmetic.interval(Float64, q) for q in Q
+    ])
 
     check, sos_int = @time if should_we_augment
         @info("Projecting columns of Q to the augmentation ideal...")