kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-07-12 01:35:29 +02:00
Code Issues Releases Wiki Activity

distance_to_cone does not accept keyword args anymore

Browse Source
This commit is contained in:
kalmar 2017-03-15 17:55:41 +01:00
parent 3d534ac489
commit 120def0ef2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/checksolution.jl
View File

@ -145,7 +145,7 @@ function check_distance_to_positive_cone(Δ::GroupAlgebraElement, κ, A;
return Interval_dist_to_Σ².lo return Interval_dist_to_Σ².lo
else else
info(logger, "Checking Projected SOS decomposition in exact rational arithmetic...") info(logger, "Checking Projected SOS decomposition in exact rational arithmetic...")
@time ℚ_dist_to_Σ² = distance_to_cone(κ_ℚ, A_sqrt_ℚ_aug, Δ_ℚ, augmented=true) @time ℚ_dist_to_Σ² = distance_to_cone(κ_ℚ, A_sqrt_ℚ_aug, Δ_ℚ)
@assert isa(ℚ_dist_to_Σ², Rational) @assert isa(ℚ_dist_to_Σ², Rational)
info(logger, "Augmentation-projected rational distance (to positive cone)\n ≥ $(Float64(trunc(ℚ_dist_to_Σ²,8)))") info(logger, "Augmentation-projected rational distance (to positive cone)\n ≥ $(Float64(trunc(ℚ_dist_to_Σ²,8)))")
info(logger, "-------------------------------------------------------------") info(logger, "-------------------------------------------------------------")