From 2d62aa26f26c2e4492dbef0bdcc1c32dbff5b727 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 15 Aug 2018 19:09:01 +0200
Subject: [PATCH] add missing L1_norm

---
 src/CheckSolution.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl
index 4cacd1b..dfe0e9f 100644
--- a/src/CheckSolution.jl
+++ b/src/CheckSolution.jl
@@ -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