increase O.maxstates to 1000*$maxeqns

This commit is contained in:
kalmarek 2018-03-22 11:41:35 +01:00
parent ed12d87b7a
commit 6acdff2b70

View File

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