From a180025dc029a33d575f18a778e79da616aad93c Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 31 Mar 2017 15:21:45 +0200
Subject: [PATCH] log time of projecting A onto augmentation ideal

---
 src/checksolution.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/checksolution.jl b/src/checksolution.jl
index d56b53f..7cdd41e 100644
--- a/src/checksolution.jl
+++ b/src/checksolution.jl
@@ -129,7 +129,8 @@ function check_distance_to_positive_cone(Δ::GroupAlgebraElement, κ, A;
     info(logger, "Projecting columns of rationalized A_sqrt to the augmentation ideal...")
     δ = eps(κ)
     A_sqrt_ℚ = ℚ(A_sqrt, δ)
-    A_sqrt_ℚ_aug = correct_to_augmentation_ideal(A_sqrt_ℚ)
+    t = @timed A_sqrt_ℚ_aug = correct_to_augmentation_ideal(A_sqrt_ℚ)
+    info(logger, timed_msg(t))
     κ_ℚ = ℚ(κ, δ)
     Δ_ℚ = ℚ(Δ, δ)