kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 10:20:30 +01:00
Code Issues Releases Wiki Activity

add missing L1_norm

Browse Source
This commit is contained in:
kalmarek 2018-08-15 19:09:01 +02:00
parent e4b5c59bd7
commit 2d62aa26f2
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/CheckSolution.jl
View File

@ -86,6 +86,7 @@ function distance_to_cone(Δ::GroupRingElem, λ, Q; wlen::Int=4, logger=getlogge
@logtime logger sos = compute_SOS(parent(Δ), Q)
residue = Δ^2-λ*Δ - sos
info(logger, "ɛ(∑ξᵢ*ξᵢ) ∈ $(aug(residue))")
L1_norm = norm(residue,1)
info(logger, "‖Δ² - λΔ - ∑ξᵢ*ξᵢ‖₁ ∈ $(L1_norm)")
distance = λ - 2^(wlen-1)*L1_norm