From 90fb7241f812abe644ab8320b975472c99f66b63 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Sun, 19 Jan 2020 17:31:20 +0100
Subject: [PATCH] decrease verbosity

---
 src/FPGroups_GAP.jl | 12 ++++++------
 src/utils.jl        |  2 --
 2 files changed, 6 insertions(+), 8 deletions(-)

diff --git a/src/FPGroups_GAP.jl b/src/FPGroups_GAP.jl
index 79f5f77..dc5b81e 100644
--- a/src/FPGroups_GAP.jl
+++ b/src/FPGroups_GAP.jl
@@ -74,7 +74,7 @@ end;;
 """
 
 function product_matrix_GAP_code(reduction::Type{<:WordReduction},
-    G::FPGroup, dir, halfradius; maxeqns=100_000, infolevel=2)
+    G::FPGroup, dir, halfradius; maxeqns=100_000, infolevel=1)
     code = """
 LogTo("$(dir)/GAP.log");
 RequirePackage("kbmag");
@@ -83,13 +83,13 @@ SetInfoLevel(InfoRWS, $infolevel);
 $PRODUCT_MATRIX_FUNCTIONS
 $(GAP_code(G))
 
-# G:= SimplifiedFpGroup(G);
+# G:= SimplifiedFpGroup(G);;
 rws := KBMAGRewritingSystem(G);
-# ResetRewritingSystem(rws);
+# ResetRewritingSystem(rws);;
 O:=OptionsRecordOfKBMAGRewritingSystem(rws);;
-O.maxeqns := $maxeqns;
-O.maxstates := 1000*$maxeqns;
-#O.maxstoredlen := [100,100];
+O.maxeqns := $maxeqns;;
+O.maxstates := 1000*$maxeqns;;
+#O.maxstoredlen := [100,100];;
 
 before := Runtimes();;
 $reduction(rws);
diff --git a/src/utils.jl b/src/utils.jl
index cb8ce0a..22ed006 100644
--- a/src/utils.jl
+++ b/src/utils.jl
@@ -43,8 +43,6 @@ function check_propertyT(sett::PropertyT.Settings)
     λ, P = PropertyT.approximate_by_SOS(sett, ELT, Δ,
         solverlog=PropertyT.filename(sett, :solverlog))
 
-    λ < 0 && @warn "Solver did not produce a valid solution!"
-
     P .= (P.+P')./2
 
     Q = real(sqrt(P))