From 0924d24c0317a21aca6561e794fc59d18ee2d8dd Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 15 Mar 2017 08:23:42 +0100 Subject: [PATCH] finish changes of names --- src/checksolution.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/checksolution.jl b/src/checksolution.jl index 08fb873..0f47fc5 100644 --- a/src/checksolution.jl +++ b/src/checksolution.jl @@ -64,7 +64,7 @@ end function distance_to_cone{T<:Rational}(κ::T, sqrt_matrix::Array{T,2}, Δ::GroupAlgebraElement{T}; verbose=true, augmented=false) SOS = compute_SOS(sqrt_matrix, Δ) if augmented - epsilon = GroupAlgebras.ɛ(result) + epsilon = GroupAlgebras.ɛ(SOS) @show epsilon end @@ -150,7 +150,7 @@ function check_distance_to_positive_cone(Δ::GroupAlgebraElement, κ, A; return Interval_dist_to_Σ².lo else println("Checking Projected SOS decomposition in exact rational arithmetic...") - @time ℚ_dist_to_Σ² = check_solution(κ_ℚ, A_sqrt_ℚ_aug, Δ_ℚ, verbose=verbose, augmented=true) + @time ℚ_dist_to_Σ² = distance_to_cone(κ_ℚ, A_sqrt_ℚ_aug, Δ_ℚ, verbose=verbose, augmented=true) @assert isa(ℚ_dist_to_Σ², Rational) println("Augmentation-projected rational distance (to positive cone)\n ≥ $(Float64(trunc(ℚ_dist_to_Σ²,8)))") println("-------------------------------------------------------------")