From b9fe32823da68d9d6d83fc3ae16e05e1886767bc Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 6 Mar 2017 11:57:10 +0100
Subject: [PATCH] =?UTF-8?q?check=5Fsolution=20assumes=20that=20g=E2=89=A0g?=
 =?UTF-8?q?^-1=20for=20all=20g=20in=20S?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 property(T).jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/property(T).jl b/property(T).jl
index 5396c2e..2f0648e 100644
--- a/property(T).jl
+++ b/property(T).jl
@@ -145,7 +145,7 @@ function check_solution{T<:Number}(κ::T, sqrt_matrix::Array{T,2}, Δ::GroupAlge
         println("‖Δ² - κΔ - ∑ξᵢ*ξᵢ‖₁ ≈ $L₁_dist")
     end
 
-    distance_to_cone = κ - 2^3*eoi_SOS_L₁_dist
+    distance_to_cone = κ - 2^2*eoi_SOS_L₁_dist
     return distance_to_cone
 end