From d1a58d38905e604dcffe3eb303798e7796d1d79f Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Mon, 22 May 2023 22:39:20 +0200 Subject: [PATCH] remove unnecessary @time from certify It's all blazing fast now --- src/certify.jl | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/certify.jl b/src/certify.jl index b93c843..db9e50d 100644 --- a/src/certify.jl +++ b/src/certify.jl @@ -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..."