kalmar/SmallHyperbolic
1
0
Fork 0
mirror of https://github.com/kalmarek/SmallHyperbolic synced 2024-11-23 23:40:28 +01:00
Code Issues Releases Wiki Activity

decrease verbosity

Browse Source
This commit is contained in:
kalmarek 2020-01-19 17:31:20 +01:00
parent 9139e145b8
commit 90fb7241f8
2 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/FPGroups_GAP.jl
View File

@ -74,7 +74,7 @@ end;;
""" """
function product_matrix_GAP_code(reduction::Type{<:WordReduction}, 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 = """ code = """
LogTo("$(dir)/GAP.log"); LogTo("$(dir)/GAP.log");
RequirePackage("kbmag"); RequirePackage("kbmag");
@ -83,13 +83,13 @@ SetInfoLevel(InfoRWS, $infolevel);
$PRODUCT_MATRIX_FUNCTIONS $PRODUCT_MATRIX_FUNCTIONS
$(GAP_code(G)) $(GAP_code(G))
# G:= SimplifiedFpGroup(G); # G:= SimplifiedFpGroup(G);;
rws := KBMAGRewritingSystem(G); rws := KBMAGRewritingSystem(G);
# ResetRewritingSystem(rws); # ResetRewritingSystem(rws);;
O:=OptionsRecordOfKBMAGRewritingSystem(rws);; O:=OptionsRecordOfKBMAGRewritingSystem(rws);;
O.maxeqns := $maxeqns; O.maxeqns := $maxeqns;;
O.maxstates := 1000*$maxeqns; O.maxstates := 1000*$maxeqns;;
#O.maxstoredlen := [100,100]; #O.maxstoredlen := [100,100];;
before := Runtimes();; before := Runtimes();;
$reduction(rws); $reduction(rws);

2
src/utils.jl
View File

@ -43,8 +43,6 @@ function check_propertyT(sett::PropertyT.Settings)
λ, P = PropertyT.approximate_by_SOS(sett, ELT, Δ, λ, P = PropertyT.approximate_by_SOS(sett, ELT, Δ,
solverlog=PropertyT.filename(sett, :solverlog)) solverlog=PropertyT.filename(sett, :solverlog))
λ < 0 && @warn "Solver did not produce a valid solution!"
P .= (P.+P')./2 P .= (P.+P')./2
Q = real(sqrt(P)) Q = real(sqrt(P))