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();;