kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-25 00:40:28 +01:00
Code Issues Releases Wiki Activity

back to IntervalArithmetic-0.20 to keep julia-1.6

Browse Source
This commit is contained in:
Marek Kaluba 2024-02-16 12:09:11 +01:00
parent 83fdd313c6
commit cd90e072c4
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Project.toml
View File

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

6
src/certify.jl
View File

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