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

Compare commits

base: kalmar:e1d6cdb5774a6a382a31550a69bb8d0334a40e8b
Branches Tags
kalmar:master
kalmar:mk/pra_group
kalmar:mk/update_PermutationGroups_etal
kalmar:mk/orbit_basis
kalmar:mk/tests_chevalley
kalmar:enh/G₂_here_we_come
kalmar:enh/update_deps
kalmar:1712.07167
kalmar:1703.09680v1
...
compare: kalmar:e10cc936a03c6b2d66a0a9d8beac80d724f8efd5
Branches Tags
kalmar:mk/pra_group
kalmar:master
kalmar:mk/update_PermutationGroups_etal
kalmar:mk/orbit_basis
kalmar:mk/tests_chevalley
kalmar:enh/G₂_here_we_come
kalmar:enh/update_deps
kalmar:1712.07167
kalmar:1703.09680v1

2 Commits
e1d6cdb577 ... e10cc936a0

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
2 changed files with 3 additions and 5 deletions
Show Stats 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...")