Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error, Could not open output of external Knuth-Bendix program #34

Open
Tiasa opened this issue Jun 2, 2024 · 0 comments
Open

Error, Could not open output of external Knuth-Bendix program #34

Tiasa opened this issue Jun 2, 2024 · 0 comments

Comments

@Tiasa
Copy link

Tiasa commented Jun 2, 2024

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant