From 6acdff2b70924fec896a433bd23a1bbe2ec6bb0c Mon Sep 17 00:00:00 2001 From: kalmarek Date: Thu, 22 Mar 2018 11:41:35 +0100 Subject: [PATCH] increase O.maxstates to 1000*$maxeqns --- FPGroups_GAP.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/FPGroups_GAP.jl b/FPGroups_GAP.jl index 14e5def..8cf99ab 100644 --- a/FPGroups_GAP.jl +++ b/FPGroups_GAP.jl @@ -60,6 +60,7 @@ RWS := KBMAGRewritingSystem(G); # ResetRewritingSystem(RWS); O:=OptionsRecordOfKBMAGRewritingSystem(RWS);; O.maxeqns := $maxeqns; +O.maxstates := 1000*$maxeqns; #O.maxstoredlen := [100,100]; before := Runtimes();;