You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The following GAP snippet is terminating prematurely with the above error (see details below):
`LoadPackage("kbmag");
verbose := false;
SetInfoLevel(InfoRWS,2);
conf_kb_order := "recursive";
KB_max := 2000;
O := OptionsRecordOfKBMAGRewritingSystem(K36_RWS);
O.maxeqns:=3000;
MakeConfluent(K36_RWS);`
After running :
Error, Could not open output of external Knuth-Bendix program. at path-to/gap-4.12.2/pkg/kbmag/gap/rws4.g:614 called from
UpdateRWS( rws, _KBTmpFileName, true
); at path-to/gap-4.12.2/pkg/kbmag/gap/rws4.g:1534 called from
KBRWS( rws
) at path-to/gap-4.12.2/pkg/kbmag/gap/kbsmg2.gi:466
More info: I have the latest version of the kbmag package.
The text was updated successfully, but these errors were encountered:
The following GAP snippet is terminating prematurely with the above error (see details below):
`LoadPackage("kbmag");
verbose := false;
SetInfoLevel(InfoRWS,2);
conf_kb_order := "recursive";
KB_max := 2000;
F := FreeGroup("x0", "x1", "x2", "x3", "x4", "x5", "x6", "x7", "x8", "x9", "x10", "x11", "x12", "x13", "x14", "x15", "x16", "x17");
AssignGeneratorVariables(F);
K36_relations := [x0x1x0^-1x1^-1, x0x2x0^-1x2^-1, x0x3x0^-1x3^-1, x0x4x0^-1x4^-1, x0x5x0^-1x5^-1, x1x0x1^-1x0^-1, x1x2x1^-1x2^-1, x1x3x1^-1x3^-1, x1x4x1^-1x4^-1, x1x5x1^-1x5^-1, x2x0x2^-1x0^-1, x2x1x2^-1x1^-1, x2x3x2^-1x3^-1, x2x4x2^-1x4^-1, x2x5x2^-1x5^-1, x3x0x3^-1x0^-1, x3x1x3^-1x1^-1, x3x2x3^-1x2^-1, x3x4x3^-1x4^-1, x3x5x3^-1x5^-1, x4x0x4^-1x0^-1, x4x1x4^-1x1^-1, x4x2x4^-1x2^-1, x4x3x4^-1x3^-1, x4x5x4^-1x5^-1, x5x0x5^-1x0^-1, x5x1x5^-1x1^-1, x5x2x5^-1x2^-1, x5x3x5^-1x3^-1, x5x4x5^-1x4^-1, x6x7x6^-1x7^-1, x6x8x6^-1x8^-1, x6x9x6^-1x9^-1, x6x10x6^-1x10^-1, x6x11x6^-1x11^-1, x7x6x7^-1x6^-1, x7x8x7^-1x8^-1, x7x9x7^-1x9^-1, x7x10x7^-1x10^-1, x7x11x7^-1x11^-1, x8x6x8^-1x6^-1, x8x7x8^-1x7^-1, x8x9x8^-1x9^-1, x8x10x8^-1x10^-1, x8x11x8^-1x11^-1, x9x6x9^-1x6^-1, x9x7x9^-1x7^-1, x9x8x9^-1x8^-1, x9x10x9^-1x10^-1, x9x11x9^-1x11^-1, x10x6x10^-1x6^-1, x10x7x10^-1x7^-1, x10x8x10^-1x8^-1, x10x9x10^-1x9^-1, x10x11x10^-1x11^-1, x11x6x11^-1x6^-1, x11x7x11^-1x7^-1, x11x8x11^-1x8^-1, x11x9x11^-1x9^-1, x11x10x11^-1x10^-1, x12x13x12^-1x13^-1, x12x14x12^-1x14^-1, x12x15x12^-1x15^-1, x12x16x12^-1x16^-1, x12x17x12^-1x17^-1, x13x12x13^-1x12^-1, x13x14x13^-1x14^-1, x13x15x13^-1x15^-1, x13x16x13^-1x16^-1, x13x17x13^-1x17^-1, x14x12x14^-1x12^-1, x14x13x14^-1x13^-1, x14x15x14^-1x15^-1, x14x16x14^-1x16^-1, x14x17x14^-1x17^-1, x15x12x15^-1x12^-1, x15x13x15^-1x13^-1, x15x14x15^-1x14^-1, x15x16x15^-1x16^-1, x15x17x15^-1x17^-1, x16x12x16^-1x12^-1, x16x13x16^-1x13^-1, x16x14x16^-1x14^-1, x16x15x16^-1x15^-1, x16x17x16^-1x17^-1, x17x12x17^-1x12^-1, x17x13x17^-1x13^-1, x17x14x17^-1x14^-1, x17x15x17^-1x15^-1, x17x16x17^-1x16^-1, x0x6x0^-1x6^-1, x0x12x0^-1x12^-1, x6x0x6^-1x0^-1, x6x12x6^-1x12^-1, x12x0x12^-1x0^-1, x12x6x12^-1x6^-1, x1x7x1^-1x7^-1, x1x13x1^-1x13^-1, x7x1x7^-1x1^-1, x7x13x7^-1x13^-1, x13x1x13^-1x1^-1, x13x7x13^-1x7^-1, x2x8x2^-1x8^-1, x2x14x2^-1x14^-1, x8x2x8^-1x2^-1, x8x14x8^-1x14^-1, x14x2x14^-1x2^-1, x14x8x14^-1x8^-1, x3x9x3^-1x9^-1, x3x15x3^-1x15^-1, x9x3x9^-1x3^-1, x9x15x9^-1x15^-1, x15x3x15^-1x3^-1, x15x9x15^-1x9^-1, x4x10x4^-1x10^-1, x4x16x4^-1x16^-1, x10x4x10^-1x4^-1, x10x16x10^-1x16^-1, x16x4x16^-1x4^-1, x16x10x16^-1x10^-1, x5x11x5^-1x11^-1, x5x17x5^-1x17^-1, x11x5x11^-1x5^-1, x11x17x11^-1x17^-1, x17x5x17^-1x5^-1, x17x11x17^-1x11^-1, x0^2, x1^2, x2^2, x3^2, x4^2, x5^2, x6^2, x7^2, x8^2, x9^2, x10^2, x11^2, x12^2, x13^2, x14^2, x15^2, x16^2, x17^2, x0x1x2x3x4x5, x6x7x8x9x10x11, x12x13x14x15x16x17, x0x6x12, x1x7x13, x2x8x14, x3x9x15, x4x10x16, x5x11*x17];
K36_group := F/K36_relations;
K36_RWS := KBMAGRewritingSystem(K36_group);
shf_order := [ 12, 4, 11, 17, 13, 5, 1, 14, 6, 18, 2, 15, 9, 7, 3, 16, 10, 8 ];
SetOrderingOfKBMAGRewritingSystem(K36_RWS,"wreathprod", shf_order);
O := OptionsRecordOfKBMAGRewritingSystem(K36_RWS);
O.maxeqns:=3000;
MakeConfluent(K36_RWS);`
After running :
Error, Could not open output of external Knuth-Bendix program. at path-to/gap-4.12.2/pkg/kbmag/gap/rws4.g:614 called from
UpdateRWS( rws, _KBTmpFileName, true
); at path-to/gap-4.12.2/pkg/kbmag/gap/rws4.g:1534 called from
KBRWS( rws
) at path-to/gap-4.12.2/pkg/kbmag/gap/kbsmg2.gi:466
More info: I have the latest version of the kbmag package.
The text was updated successfully, but these errors were encountered: