kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

remove unnecessary @time from certify 

It's all blazing fast now
This commit is contained in:
Marek Kaluba 2023-05-22 22:39:20 +02:00
parent cd7901b455
commit d1a58d3890
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/certify.jl
View File

@ -112,7 +112,7 @@ function certify_solution(
!augmented && StarAlgebras.aug(elt) == StarAlgebras.aug(orderunit) == 0
Q = should_we_augment ? augment_columns!(Q) : Q
@time sos = compute_sos(parent(elt), Q; augmented = augmented)
sos = compute_sos(parent(elt), Q; augmented = augmented)
@info "Checking in $(eltype(sos)) arithmetic with" λ
@ -123,11 +123,9 @@ function certify_solution(
end
λ_int = IntervalArithmetic.@interval(λ)
Q_int = IntervalMatrices.IntervalMatrix([
IntervalArithmetic.@interval(q) for q in Q
])
Q_int = IntervalMatrices.IntervalMatrix(IntervalArithmetic.Interval.(Q))
check, sos_int = @time if should_we_augment
check, sos_int = if should_we_augment
@info("Projecting columns of Q to the augmentation ideal...")
Q_int = augment_columns!(Q_int)
@info "Checking that sum of every column contains 0.0..."