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

Compare commits

base: kalmar:e10cc936a03c6b2d66a0a9d8beac80d724f8efd5
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:e1d6cdb5774a6a382a31550a69bb8d0334a40e8b
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

1 Commits
e10cc936a0 ... e1d6cdb577

Author SHA1 Message Date
Marek Kaluba
e1d6cdb577
Merge 83fdd313c6 into f4936dd50a 2024-02-15 22:52:26 +01:00
2 changed files with 5 additions and 3 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.20" IntervalArithmetic = "0.21"
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,8 +123,10 @@ function certify_solution(
return false, λ_flpoint return false, λ_flpoint
end end
λ_int = IntervalArithmetic.interval(λ) λ_int = IntervalArithmetic.interval(Float64, λ)
Q_int = IntervalMatrices.IntervalMatrix(IntervalArithmetic.interval.(Q)) Q_int = IntervalMatrices.IntervalMatrix([
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...")