Package evaluation to test KnuthBendix on Julia 1.14.0-DEV.3106 (9d314127b9*) started at 2026-09-06T15:21:57.258 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 17.06s ################################################################################ # Installation # Installing KnuthBendix... Resolving package versions... Installed IteratorInterfaceExtensions ─ v1.0.0 Installed Reexport ──────────────────── v1.2.2 Installed MacroTools ────────────────── v0.5.16 Installed StringManipulation ────────── v0.4.7 Installed DataAPI ───────────────────── v1.16.0 Installed Preferences ───────────────── v1.5.2 Installed PrecompileTools ───────────── v1.3.4 Installed LaTeXStrings ──────────────── v1.4.1 Installed PrettyTables ──────────────── v2.4.0 Installed Tables ────────────────────── v1.14.0 Installed OrderedCollections ────────── v2.0.1 Installed GroupsCore ────────────────── v0.5.2 Installed ProgressMeter ─────────────── v1.11.0 Installed Crayons ───────────────────── v4.2.0 Installed TableTraits ───────────────── v1.0.1 Installed DataValueInterfaces ───────── v1.0.0 Installed KnuthBendix ───────────────── v0.5.0 Updating `~/.julia/environments/v1.14/Project.toml` [c2604015] + KnuthBendix v0.5.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [a8cc5b0e] + Crayons v4.2.0 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [d5909c97] + GroupsCore v0.5.2 [82899510] + IteratorInterfaceExtensions v1.0.0 [c2604015] + KnuthBendix v0.5.0 [b964fa9f] + LaTeXStrings v1.4.1 [1914dd2f] + MacroTools v0.5.16 [bac558e1] + OrderedCollections v2.0.1 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 ⌅ [08abe8d2] + PrettyTables v2.4.0 [92933f4c] + ProgressMeter v1.11.0 [189a3867] + Reexport v1.2.2 ⌅ [892a3eda] + StringManipulation v0.4.7 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.14.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.12.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.44s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 5.3 s ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 3.5 s ✓ MacroTools 0.8 s ✓ ANSIColoredPrinters 0.5 s ✓ Reexport 0.6 s ✓ DataAPI 0.5 s ✓ DataValueInterfaces 0.6 s ✓ LazilyInitializedFields 1.0 s ✓ OrderedCollections 0.9 s ✓ DocStringExtensions 0.9 s ✓ AbstractTrees 0.7 s ✓ GroupsCore 0.9 s ✓ TranscodingStreams 0.5 s ✓ IteratorInterfaceExtensions 0.6 s ✓ LaTeXStrings 2.2 s ✓ Crayons 0.6 s ✓ IOCapture 2.5 s ✓ ProgressMeter 2.1 s ✓ StructUtils 1.5 s ✓ Preferences 5.2 s ✓ RegistryInstances 1.7 s ✓ MarkdownAST 0.8 s ✓ CodecZlib 0.6 s ✓ TableTraits 1.6 s ✓ JLLWrappers 1.1 s ✓ PrecompileTools 2.1 s ✓ Tables 1.7 s ✓ Libiconv_jll 1.2 s ✓ Git_LFS_jll 1.3 s ✓ OpenSSH_jll 1.2 s ✓ Expat_jll 6.3 s ✓ StringManipulation 30.5 s ✓ Parsers 1.0 s ✓ StructUtils → StructUtilsTablesExt 1.6 s ✓ Git_jll 26.8 s ✓ PrettyTables 15.1 s ✓ JSON 1.1 s ✓ Git 15.5 s ✓ KnuthBendix 57.1 s ✓ Documenter 38 dependencies successfully precompiled in 194 seconds. 33 already precompiled. Precompilation completed after 221.85s ################################################################################ # Testing # Testing KnuthBendix Status `/tmp/jl_0uvgm1/Project.toml` [e30172f5] Documenter v1.19.0 [d5909c97] GroupsCore v0.5.2 [c2604015] KnuthBendix v0.5.0 [1914dd2f] MacroTools v0.5.16 [aea7be01] PrecompileTools v1.3.4 ⌅ [08abe8d2] PrettyTables v2.4.0 [92933f4c] ProgressMeter v1.11.0 [bd369af6] Tables v1.14.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_0uvgm1/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [1520ce14] AbstractTrees v0.4.5 [944b1d66] CodecZlib v0.7.9 [a8cc5b0e] Crayons v4.2.0 [9a962f9c] DataAPI v1.16.0 [e2d170a0] DataValueInterfaces v1.0.0 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.19.0 [d7ba0133] Git v1.5.0 [d5909c97] GroupsCore v0.5.2 [b5f81e59] IOCapture v1.0.0 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.8.0 [c2604015] KnuthBendix v0.5.0 [b964fa9f] LaTeXStrings v1.4.1 [0e77f7df] LazilyInitializedFields v1.3.0 [1914dd2f] MacroTools v0.5.16 [d0879d2d] MarkdownAST v0.1.3 [bac558e1] OrderedCollections v2.0.1 [69de0a69] Parsers v3.0.0 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 ⌅ [08abe8d2] PrettyTables v2.4.0 [92933f4c] ProgressMeter v1.11.0 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 ⌅ [892a3eda] StringManipulation v0.4.7 [ec057cc2] StructUtils v2.8.5 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.14.0 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.8.3+0 [020c3dae] Git_LFS_jll v3.7.1+0 [f8c6e375] Git_jll v2.55.0+0 [94ce4f54] Libiconv_jll v1.18.0+0 [9bd350c2] OpenSSH_jll v10.5.1+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.12.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.7+0 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [14a3606d] MozillaCACerts_jll v2026.8.13 [458c3c95] OpenSSL_jll v3.5.8+0 [efcefdf7] PCRE2_jll v10.48.0+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850ede] nghttp2_jll v1.70.0+0 [3f19e933] p7zip_jll v17.8.2+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Warning: a already has an inverse: A; overriding └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/alphabets.jl:157 ┌ Warning: b already has an inverse: a; overriding └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/alphabets.jl:157 ┌ Warning: c already has an inverse: b; overriding └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/alphabets.jl:157 ┌ Warning: KBPlain is a simplistic completion algorithm for educational purposes only. └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix1.jl:138 [ Info: considering (1, 1) for critical pairs [ Info: considering (2, 1) for critical pairs [ Info: considering (1, 2) for critical pairs [ Info: considering (2, 2) for critical pairs [ Info: considering (3, 1) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (3·1 ⇒ (id), 1·3 ⇒ (id)) │ (a, b, c) = (3, 1, 3) └ pair = (3, 3) [ Info: pair does not fail local confluence, both sides rewrite to 3 [ Info: considering (1, 3) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (1·3 ⇒ (id), 3·1 ⇒ (id)) │ (a, b, c) = (1, 3, 1) └ pair = (1, 1) [ Info: pair does not fail local confluence, both sides rewrite to 1 [ Info: considering (3, 2) for critical pairs [ Info: considering (2, 3) for critical pairs [ Info: considering (3, 3) for critical pairs [ Info: considering (4, 1) for critical pairs [ Info: considering (1, 4) for critical pairs [ Info: considering (4, 2) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·2 ⇒ (id), 2·4 ⇒ (id)) │ (a, b, c) = (4, 2, 4) └ pair = (4, 4) [ Info: pair does not fail local confluence, both sides rewrite to 4 [ Info: considering (2, 4) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·4 ⇒ (id), 4·2 ⇒ (id)) │ (a, b, c) = (2, 4, 2) └ pair = (2, 2) [ Info: pair does not fail local confluence, both sides rewrite to 2 [ Info: considering (4, 3) for critical pairs [ Info: considering (3, 4) for critical pairs [ Info: considering (4, 4) for critical pairs [ Info: considering (5, 1) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·1 ⇒ 1·2, 1·3 ⇒ (id)) │ (a, b, c) = (2, 1, 3) └ pair = (1·2·3, 2) [ Info: pair fails local confluence, rewrites to 1·2·3 ≠ 2 [ Info: adding rule [ 6. a*b*A → b ] to rws [ Info: considering (1, 5) for critical pairs [ Info: considering (5, 2) for critical pairs [ Info: considering (2, 5) for critical pairs [ Info: considering (5, 3) for critical pairs [ Info: considering (3, 5) for critical pairs [ Info: considering (5, 4) for critical pairs [ Info: considering (4, 5) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·2 ⇒ (id), 2·1 ⇒ 1·2) │ (a, b, c) = (4, 2, 1) └ pair = (1, 4·1·2) [ Info: pair fails local confluence, rewrites to 1 ≠ 4·1·2 [ Info: adding rule [ 7. B*a*b → a ] to rws [ Info: considering (5, 5) for critical pairs [ Info: considering (6, 1) for critical pairs [ Info: considering (1, 6) for critical pairs [ Info: considering (6, 2) for critical pairs [ Info: considering (2, 6) for critical pairs [ Info: considering (6, 3) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (1·2·3 ⇒ 2, 3·1 ⇒ (id)) │ (a, b, c) = (1·2, 3, 1) └ pair = (2·1, 1·2) [ Info: pair does not fail local confluence, both sides rewrite to 1·2 [ Info: considering (3, 6) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (3·1 ⇒ (id), 1·2·3 ⇒ 2) │ (a, b, c) = (3, 1, 2·3) └ pair = (2·3, 3·2) [ Info: pair fails local confluence, rewrites to 2·3 ≠ 3·2 [ Info: adding rule [ 8. b*A → A*b ] to rws [ Info: considering (6, 4) for critical pairs [ Info: considering (4, 6) for critical pairs [ Info: considering (6, 5) for critical pairs [ Info: considering (5, 6) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·1 ⇒ 1·2, 1·2·3 ⇒ 2) │ (a, b, c) = (2, 1, 2·3) └ pair = (1·2·2·3, 2·2) [ Info: pair does not fail local confluence, both sides rewrite to 2·2 [ Info: considering (6, 6) for critical pairs [ Info: considering (7, 1) for critical pairs [ Info: considering (1, 7) for critical pairs [ Info: considering (7, 2) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1·2 ⇒ 1, 2·4 ⇒ (id)) │ (a, b, c) = (4·1, 2, 4) └ pair = (1·4, 4·1) [ Info: pair fails local confluence, rewrites to 1·4 ≠ 4·1 [ Info: adding rule [ 9. B*a → a*B ] to rws [ Info: considering (2, 7) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·4 ⇒ (id), 4·1·2 ⇒ 1) │ (a, b, c) = (2, 4, 1·2) └ pair = (1·2, 2·1) [ Info: pair does not fail local confluence, both sides rewrite to 1·2 [ Info: considering (7, 3) for critical pairs [ Info: considering (3, 7) for critical pairs [ Info: considering (7, 4) for critical pairs [ Info: considering (4, 7) for critical pairs [ Info: considering (7, 5) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1·2 ⇒ 1, 2·1 ⇒ 1·2) │ (a, b, c) = (4·1, 2, 1) └ pair = (1·1, 4·1·1·2) [ Info: pair does not fail local confluence, both sides rewrite to 1·1 [ Info: considering (5, 7) for critical pairs [ Info: considering (7, 6) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1·2 ⇒ 1, 1·2·3 ⇒ 2) │ (a, b, c) = (4, 1·2, 3) └ pair = (1·3, 4·2) [ Info: pair does not fail local confluence, both sides rewrite to (id) [ Info: considering (6, 7) for critical pairs [ Info: considering (7, 7) for critical pairs [ Info: considering (8, 1) for critical pairs [ Info: considering (1, 8) for critical pairs [ Info: considering (8, 2) for critical pairs [ Info: considering (2, 8) for critical pairs [ Info: considering (8, 3) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·3 ⇒ 3·2, 3·1 ⇒ (id)) │ (a, b, c) = (2, 3, 1) └ pair = (3·2·1, 2) [ Info: pair does not fail local confluence, both sides rewrite to 2 [ Info: considering (3, 8) for critical pairs [ Info: considering (8, 4) for critical pairs [ Info: considering (4, 8) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·2 ⇒ (id), 2·3 ⇒ 3·2) │ (a, b, c) = (4, 2, 3) └ pair = (3, 4·3·2) [ Info: pair fails local confluence, rewrites to 3 ≠ 4·3·2 [ Info: adding rule [ 10. B*A*b → A ] to rws [ Info: considering (8, 5) for critical pairs [ Info: considering (5, 8) for critical pairs [ Info: considering (8, 6) for critical pairs [ Info: considering (6, 8) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (1·2·3 ⇒ 2, 2·3 ⇒ 3·2) │ (a, b, c) = (1, 2·3, (id)) └ pair = (2, 1·3·2) [ Info: pair does not fail local confluence, both sides rewrite to 2 [ Info: considering (8, 7) for critical pairs [ Info: considering (7, 8) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1·2 ⇒ 1, 2·3 ⇒ 3·2) │ (a, b, c) = (4·1, 2, 3) └ pair = (1·3, 4·1·3·2) [ Info: pair does not fail local confluence, both sides rewrite to (id) [ Info: considering (8, 8) for critical pairs [ Info: considering (9, 1) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1 ⇒ 1·4, 1·3 ⇒ (id)) │ (a, b, c) = (4, 1, 3) └ pair = (1·4·3, 4) [ Info: pair fails local confluence, rewrites to 1·4·3 ≠ 4 [ Info: adding rule [ 11. a*B*A → B ] to rws [ Info: considering (1, 9) for critical pairs [ Info: considering (9, 2) for critical pairs [ Info: considering (2, 9) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·4 ⇒ (id), 4·1 ⇒ 1·4) │ (a, b, c) = (2, 4, 1) └ pair = (1, 2·1·4) [ Info: pair does not fail local confluence, both sides rewrite to 1 [ Info: considering (9, 3) for critical pairs [ Info: considering (3, 9) for critical pairs [ Info: considering (9, 4) for critical pairs [ Info: considering (4, 9) for critical pairs [ Info: considering (9, 5) for critical pairs [ Info: considering (5, 9) for critical pairs [ Info: considering (9, 6) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1 ⇒ 1·4, 1·2·3 ⇒ 2) │ (a, b, c) = (4, 1, 2·3) └ pair = (1·4·2·3, 4·2) [ Info: pair does not fail local confluence, both sides rewrite to (id) [ Info: considering (6, 9) for critical pairs [ Info: considering (9, 7) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1 ⇒ 1·4, 4·1·2 ⇒ 1) │ (a, b, c) = ((id), 4·1, 2) └ pair = (1·4·2, 1) [ Info: pair does not fail local confluence, both sides rewrite to 1 [ Info: considering (7, 9) for critical pairs ┌ Info: lhs₂ is a subword of lhs₁ │ rules = (4·1·2 ⇒ 1, 4·1 ⇒ 1·4) │ (a, b, c) = ((id), 4·1, 2) └ pair = (1, 1·4·2) [ Info: pair does not fail local confluence, both sides rewrite to 1 [ Info: considering (9, 8) for critical pairs [ Info: considering (8, 9) for critical pairs [ Info: considering (9, 9) for critical pairs [ Info: considering (10, 1) for critical pairs [ Info: considering (1, 10) for critical pairs [ Info: considering (10, 2) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·3·2 ⇒ 3, 2·4 ⇒ (id)) │ (a, b, c) = (4·3, 2, 4) └ pair = (3·4, 4·3) [ Info: pair fails local confluence, rewrites to 3·4 ≠ 4·3 [ Info: adding rule [ 12. B*A → A*B ] to rws [ Info: considering (2, 10) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·4 ⇒ (id), 4·3·2 ⇒ 3) │ (a, b, c) = (2, 4, 3·2) └ pair = (3·2, 2·3) [ Info: pair does not fail local confluence, both sides rewrite to 3·2 [ Info: considering (10, 3) for critical pairs [ Info: considering (3, 10) for critical pairs [ Info: considering (10, 4) for critical pairs [ Info: considering (4, 10) for critical pairs [ Info: considering (10, 5) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·3·2 ⇒ 3, 2·1 ⇒ 1·2) │ (a, b, c) = (4·3, 2, 1) └ pair = (3·1, 4·3·1·2) [ Info: pair does not fail local confluence, both sides rewrite to (id) [ Info: considering (5, 10) for critical pairs [ Info: considering (10, 6) for critical pairs [ Info: considering (6, 10) for critical pairs [ Info: considering (10, 7) for critical pairs [ Info: considering (7, 10) for critical pairs [ Info: considering (10, 8) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·3·2 ⇒ 3, 2·3 ⇒ 3·2) │ (a, b, c) = (4·3, 2, 3) └ pair = (3·3, 4·3·3·2) [ Info: pair does not fail local confluence, both sides rewrite to 3·3 [ Info: considering (8, 10) for critical pairs [ Info: considering (10, 9) for critical pairs [ Info: considering (9, 10) for critical pairs [ Info: considering (10, 10) for critical pairs [ Info: considering (11, 1) for critical pairs [ Info: considering (1, 11) for critical pairs [ Info: considering (11, 2) for critical pairs [ Info: considering (2, 11) for critical pairs [ Info: considering (11, 3) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (1·4·3 ⇒ 4, 3·1 ⇒ (id)) │ (a, b, c) = (1·4, 3, 1) └ pair = (4·1, 1·4) [ Info: pair does not fail local confluence, both sides rewrite to 1·4 [ Info: considering (3, 11) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (3·1 ⇒ (id), 1·4·3 ⇒ 4) │ (a, b, c) = (3, 1, 4·3) └ pair = (4·3, 3·4) [ Info: pair does not fail local confluence, both sides rewrite to 3·4 [ Info: considering (11, 4) for critical pairs [ Info: considering (4, 11) for critical pairs [ Info: considering (11, 5) for critical pairs [ Info: considering (5, 11) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·1 ⇒ 1·2, 1·4·3 ⇒ 4) │ (a, b, c) = (2, 1, 4·3) └ pair = (1·2·4·3, 2·4) [ Info: pair does not fail local confluence, both sides rewrite to (id) [ Info: considering (11, 6) for critical pairs [ Info: considering (6, 11) for critical pairs [ Info: considering (11, 7) for critical pairs [ Info: considering (7, 11) for critical pairs [ Info: considering (11, 8) for critical pairs [ Info: considering (8, 11) for critical pairs [ Info: considering (11, 9) for critical pairs [ Info: considering (9, 11) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·1 ⇒ 1·4, 1·4·3 ⇒ 4) │ (a, b, c) = (4, 1, 4·3) └ pair = (1·4·4·3, 4·4) [ Info: pair does not fail local confluence, both sides rewrite to 4·4 [ Info: considering (11, 10) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (1·4·3 ⇒ 4, 4·3·2 ⇒ 3) │ (a, b, c) = (1, 4·3, 2) └ pair = (4·2, 1·3) [ Info: pair does not fail local confluence, both sides rewrite to (id) [ Info: considering (10, 11) for critical pairs [ Info: considering (11, 11) for critical pairs [ Info: considering (12, 1) for critical pairs [ Info: considering (1, 12) for critical pairs [ Info: considering (12, 2) for critical pairs [ Info: considering (2, 12) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (2·4 ⇒ (id), 4·3 ⇒ 3·4) │ (a, b, c) = (2, 4, 3) └ pair = (3, 2·3·4) [ Info: pair does not fail local confluence, both sides rewrite to 3 [ Info: considering (12, 3) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·3 ⇒ 3·4, 3·1 ⇒ (id)) │ (a, b, c) = (4, 3, 1) └ pair = (3·4·1, 4) [ Info: pair does not fail local confluence, both sides rewrite to 4 [ Info: considering (3, 12) for critical pairs [ Info: considering (12, 4) for critical pairs [ Info: considering (4, 12) for critical pairs [ Info: considering (12, 5) for critical pairs [ Info: considering (5, 12) for critical pairs [ Info: considering (12, 6) for critical pairs [ Info: considering (6, 12) for critical pairs [ Info: considering (12, 7) for critical pairs [ Info: considering (7, 12) for critical pairs [ Info: considering (12, 8) for critical pairs [ Info: considering (8, 12) for critical pairs [ Info: considering (12, 9) for critical pairs [ Info: considering (9, 12) for critical pairs [ Info: considering (12, 10) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (4·3 ⇒ 3·4, 4·3·2 ⇒ 3) │ (a, b, c) = ((id), 4·3, 2) └ pair = (3·4·2, 3) [ Info: pair does not fail local confluence, both sides rewrite to 3 [ Info: considering (10, 12) for critical pairs ┌ Info: lhs₂ is a subword of lhs₁ │ rules = (4·3·2 ⇒ 3, 4·3 ⇒ 3·4) │ (a, b, c) = ((id), 4·3, 2) └ pair = (3, 3·4·2) [ Info: pair does not fail local confluence, both sides rewrite to 3 [ Info: considering (12, 11) for critical pairs [ Info: considering (11, 12) for critical pairs ┌ Info: lhs₁ suffix-prefix lhs₂: │ rules = (1·4·3 ⇒ 4, 4·3 ⇒ 3·4) │ (a, b, c) = (1, 4·3, (id)) └ pair = (4, 1·3·4) [ Info: pair does not fail local confluence, both sides rewrite to 4 [ Info: considering (12, 12) for critical pairs Knuth-Bendix completion (KnuthBendix.KBStack()) 33% ETA: 0:00:01 ( 0.29 s/it) processing rules (done/total): 2/6   Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (67.85 ms/it) processing rules (done/total): 14/14  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (64.20 ms/it) processing rules (done/total): 15/15  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (60.20 ms/it) processing rules (done/total): 16/16  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (56.66 ms/it) processing rules (done/total): 17/17  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (53.52 ms/it) processing rules (done/total): 18/18  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (50.71 ms/it) processing rules (done/total): 19/19  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (48.18 ms/it) processing rules (done/total): 20/20  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (45.89 ms/it) processing rules (done/total): 21/21  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (43.81 ms/it) processing rules (done/total): 22/22  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (41.91 ms/it) processing rules (done/total): 23/23  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (40.17 ms/it) processing rules (done/total): 24/24  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (38.57 ms/it) processing rules (done/total): 25/25  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (37.10 ms/it) processing rules (done/total): 26/26  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (35.73 ms/it) processing rules (done/total): 27/27  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (34.46 ms/it) processing rules (done/total): 28/28  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (33.28 ms/it) processing rules (done/total): 29/29  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (32.18 ms/it) processing rules (done/total): 30/30  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (31.15 ms/it) processing rules (done/total): 31/31  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (30.19 ms/it) processing rules (done/total): 32/32  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (29.29 ms/it) processing rules (done/total): 33/33  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (28.44 ms/it) processing rules (done/total): 34/34  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (27.64 ms/it) processing rules (done/total): 35/35  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (26.88 ms/it) processing rules (done/total): 36/36  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (26.17 ms/it) processing rules (done/total): 37/37  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (25.50 ms/it) processing rules (done/total): 38/38  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (24.86 ms/it) processing rules (done/total): 39/39  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (24.26 ms/it) processing rules (done/total): 40/40  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (23.68 ms/it) processing rules (done/total): 41/41  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (23.14 ms/it) processing rules (done/total): 42/42  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (22.62 ms/it) processing rules (done/total): 43/43  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (22.13 ms/it) processing rules (done/total): 44/44  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.65 ms/it) processing rules (done/total): 45/45  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.21 ms/it) processing rules (done/total): 46/46  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.78 ms/it) processing rules (done/total): 47/47  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.37 ms/it) processing rules (done/total): 48/48  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.98 ms/it) processing rules (done/total): 49/49  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.61 ms/it) processing rules (done/total): 50/50  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.25 ms/it) processing rules (done/total): 51/51  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.91 ms/it) processing rules (done/total): 52/52  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.59 ms/it) processing rules (done/total): 53/53  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.28 ms/it) processing rules (done/total): 54/54  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.98 ms/it) processing rules (done/total): 55/55  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.69 ms/it) processing rules (done/total): 56/56  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.42 ms/it) processing rules (done/total): 57/57  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.16 ms/it) processing rules (done/total): 58/58  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.90 ms/it) processing rules (done/total): 59/59  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (16.66 ms/it) processing rules (done/total): 60/60  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (16.43 ms/it) processing rules (done/total): 61/61  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (16.21 ms/it) processing rules (done/total): 62/62  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.99 ms/it) processing rules (done/total): 63/63  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.79 ms/it) processing rules (done/total): 64/64  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.60 ms/it) processing rules (done/total): 65/65  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.42 ms/it) processing rules (done/total): 66/66  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.24 ms/it) processing rules (done/total): 67/67  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.07 ms/it) processing rules (done/total): 68/68  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.90 ms/it) processing rules (done/total): 69/69  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.75 ms/it) processing rules (done/total): 70/70  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.60 ms/it) processing rules (done/total): 71/71  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.46 ms/it) processing rules (done/total): 72/72  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.32 ms/it) processing rules (done/total): 73/73  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.19 ms/it) processing rules (done/total): 74/74  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.07 ms/it) processing rules (done/total): 75/75  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.96 ms/it) processing rules (done/total): 76/76  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.85 ms/it) processing rules (done/total): 77/77  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.75 ms/it) processing rules (done/total): 78/78  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.66 ms/it) processing rules (done/total): 79/79  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.56 ms/it) processing rules (done/total): 80/80  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.47 ms/it) processing rules (done/total): 81/81  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.39 ms/it) processing rules (done/total): 82/82  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.30 ms/it) processing rules (done/total): 83/83  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.23 ms/it) processing rules (done/total): 84/84  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.16 ms/it) processing rules (done/total): 85/85  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.10 ms/it) processing rules (done/total): 86/86  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.04 ms/it) processing rules (done/total): 87/87  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.99 ms/it) processing rules (done/total): 88/88  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.95 ms/it) processing rules (done/total): 89/89  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.91 ms/it) processing rules (done/total): 90/90  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.89 ms/it) processing rules (done/total): 91/91  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.86 ms/it) processing rules (done/total): 92/92  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.83 ms/it) processing rules (done/total): 93/93  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.81 ms/it) processing rules (done/total): 94/94  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.80 ms/it) processing rules (done/total): 95/95  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.80 ms/it) processing rules (done/total): 96/96  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.78 ms/it) processing rules (done/total): 97/97  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.78 ms/it) processing rules (done/total): 98/98  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.78 ms/it) processing rules (done/total): 99/99  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.78 ms/it) processing rules (done/total): 100/100  Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.78 ms/it) processing rules (done/total): 101/101 ┌ Warning: Maximum number of rules (100) reached. │ You may retry `knuthbendix` with a larger `max_rules` kwarg. └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4 ┌ Warning: The returned rws is not confluent └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56 ┌ Warning: Maximum number of rules (100) reached. │ You may retry `knuthbendix` with a larger `max_rules` kwarg. └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4 ┌ Warning: The returned rws is not confluent └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56 ┌ Warning: Maximum number of rules (100) reached. │ You may retry `knuthbendix` with a larger `max_rules` kwarg. └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4 ┌ Warning: The returned rws is not confluent └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56 ┌ Warning: Maximum number of rules (100) reached. │ You may retry `knuthbendix` with a larger `max_rules` kwarg. └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:4 ┌ Warning: The returned rws is not confluent └ @ KnuthBendix ~/.julia/packages/KnuthBendix/ziQjH/src/knuthbendix_base.jl:56 ┌ Warning: non-accepting state in the middle of the direct path found: │ rule = 3·11·5·1·12·6·3 ⇒ 1 │ σl = │ State: 3·11 │ data: 0 │ transitions: │ 1 → State: 3·11 (data=0) │ 2 → State: 3·11 (data=0) │ 3 → State: 3·11 (data=0) │ 4 → State: 3·11 (data=0) │ 5 → State: 3·11 (data=0) │ 6 → State: 3·11 (data=0) │ 7 → State: 3·11 (data=0) │ 8 → State: 3·11 (data=0) │ 9 → State: 3·11 (data=0) │ 10 → State: 3·11 (data=0) │ 11 → State: 3·11 (data=0) │ 12 → State: 3·11 (data=0) │ 13 → State: 3·11 (data=0) │ 14 → State: 3·11 (data=0) │ 15 → State: 3·11 (data=0) │ 16 → State: 3·11 (data=0) │ └ @ KnuthBendix.Automata ~/.julia/packages/KnuthBendix/ziQjH/src/Automata/rebuilding_idxA.jl:50 0.330372 seconds (117.08 k allocations: 8.981 MiB, 70.38% compilation time) 0.084218 seconds (42.73 k allocations: 5.908 MiB) Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 Expression: deepcopy(g) == g Evaluated: a2*a3*a2^2*a3^2*a1*a3 == a2*a3*a2^2*a3^2*a1*a3 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 Expression: parent(k) === parent(g) Evaluated: KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4]) === KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4]) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 Expression: hash(g) == hash(k) Evaluated: 0x122e4455be5d94f6 == 0x9a02d84324419dcb Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) == (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) == (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) == (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) == (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4]), KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4])): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) == (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4]), KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4])): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) == (a2*a3*a2^2*a3^2*a1*a3, a3*a4*a2*a1^2*a2*a1^2*a3*a2^2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 Test threw exception Expression: mul!(g, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4]), KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4])): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 Expression: h == old_h Evaluated: a3*a4*a2*a1^2*a2*a1^2*a3*a2^2 == a3*a4*a2*a1^2*a2*a1^2*a3*a2^2 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 Test threw exception Expression: mul!(h, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4]), KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4])): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 Expression: g == old_g Evaluated: a2*a3*a2^2*a3^2*a1*a3 == a2*a3*a2^2*a3^2*a1*a3 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 Expression: mul!(g, g, g) == old_g * old_g Evaluated: a2*a3*a2^2*a3^2*a1*a3*a2*a3*a2^2*a3^2*a1*a3 == a2*a3*a2^2*a3^2*a1*a3*a2*a3*a2^2*a3^2*a1*a3 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FreeMonoid{UInt16, Alphabet{Symbol}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 ┌ Error: monoid is infinite └ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 Expression: deepcopy(g) == g Evaluated: a2*a3*a1*a3 == a2*a3*a1*a3 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 Expression: parent(k) === parent(g) Evaluated: KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true) === KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 Expression: hash(g) == hash(k) Evaluated: 0xea9daa84a90b2052 == 0x9a22326ce7d70372 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a1*a3, a3*a4*a3) == (a2*a3*a1*a3, a3*a4*a3) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a1*a3, a3*a4*a3) == (a2*a3*a1*a3, a3*a4*a3) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a1*a3, a3*a4*a3) == (a2*a3*a1*a3, a3*a4*a3) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a1*a3, a3*a4*a3) == (a2*a3*a1*a3, a3*a4*a3) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a1*a3, a3*a4*a3) == (a2*a3*a1*a3, a3*a4*a3) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 Expression: (g, h) == (old_g, old_h) Evaluated: (a2*a3*a1*a3, a3*a4*a3) == (a2*a3*a1*a3, a3*a4*a3) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 Test threw exception Expression: mul!(g, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 Expression: h == old_h Evaluated: a3*a4*a3 == a3*a4*a3 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 Test threw exception Expression: mul!(h, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id))], index automaton over LenLex{Symbol} with 4 letters • 9 states • 4 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 Expression: g == old_g Evaluated: a2*a3*a1*a3 == a2*a3*a1*a3 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 Expression: mul!(g, g, g) == old_g * old_g Evaluated: a2*a3*a1*a3*a2*a3*a1*a3 == a2*a3*a1*a3*a2*a3*a1*a3 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 ┌ Error: monoid is infinite └ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 Expression: deepcopy(g) == g Evaluated: a5*a4*a5*a1*b1*b2*b1*b2 == a5*a4*a5*a1*b1*b2*b1*b2 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 Expression: parent(k) === parent(g) Evaluated: KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)) … (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true) === KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)) … (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 Expression: hash(g) == hash(k) Evaluated: 0x984f9dc0e6d89b0b == 0x7debbf00abd90f9b Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 Expression: (g, h) == (old_g, old_h) Evaluated: (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) == (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 Expression: (g, h) == (old_g, old_h) Evaluated: (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) == (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 Expression: (g, h) == (old_g, old_h) Evaluated: (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) == (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 Expression: (g, h) == (old_g, old_h) Evaluated: (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) == (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 Expression: (g, h) == (old_g, old_h) Evaluated: (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) == (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 Expression: (g, h) == (old_g, old_h) Evaluated: (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) == (a5*a4*a5*a1*b1*b2*b1*b2, a2*a5*b1*b5*b2) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 Test threw exception Expression: mul!(g, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 Expression: h == old_h Evaluated: a2*a5*b1*b5*b2 == a2*a5*b1*b5*b2 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 Test threw exception Expression: mul!(h, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)), (1·6, 6·1), (1·7, 7·1), (1·8, 8·1), (1·9, 9·1), (1·10, 10·1), (2·6, 6·2), (2·7, 7·2), (2·8, 8·2), (2·9, 9·2), (2·10, 10·2), (3·6, 6·3), (3·7, 7·3), (3·8, 8·3), (3·9, 9·3), (3·10, 10·3), (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 Expression: g == old_g Evaluated: a5*a4*a5*a1*b1*b2*b1*b2 == a5*a4*a5*a1*b1*b2*b1*b2 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 Expression: mul!(g, g, g) == old_g * old_g Evaluated: a5*a4*a5*a1*a5*a4*a5*a1*b1*b2*b1*b2*b1*b2*b1*b2 == a5*a4*a5*a1*a5*a4*a5*a1*b1*b2*b1*b2*b1*b2*b1*b2 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Monoid of commuting projections (quantum stuff): Test Failed at /home/pkgeval/.julia/packages/KnuthBendix/ziQjH/test/fpmonoids.jl:50 Expression: parent(biw_dc) == parent(biw) Evaluated: KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)) … (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true) == KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a1, :a2, :a3, :a4, :a5, :b1, :b2, :b3, :b4, :b5], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2, (id)), (3·3, (id)), (4·4, (id)), (5·5, (id)), (6·6, (id)), (7·7, (id)), (8·8, (id)), (9·9, (id)), (10·10, (id)) … (4·6, 6·4), (4·7, 7·4), (4·8, 8·4), (4·9, 9·4), (4·10, 10·4), (5·6, 6·5), (5·7, 7·5), (5·8, 8·5), (5·9, 9·5), (5·10, 10·5)], index automaton over LenLex{Symbol} with 10 letters • 46 states • 35 non-accepting states (rw rules), true) Stacktrace: [1] top-level scope @ ~/.julia/packages/KnuthBendix/ziQjH/test/fpmonoids.jl:7 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [3] macro expansion @ ~/.julia/packages/KnuthBendix/ziQjH/test/fpmonoids.jl:15 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [5] macro expansion @ ~/.julia/packages/KnuthBendix/ziQjH/test/fpmonoids.jl:50 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] ┌ Error: monoid is infinite └ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217 ┌ Error: monoid appears to be infinite (but the underlying rewriting system is not confluent) └ @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:217 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 Expression: deepcopy(g) == g Evaluated: a*b*a*b*a*B*a*b*a*B*a*b*a == a*b*a*b*a*B*a*b*a*B*a*b*a Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:119 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 Expression: parent(k) === parent(g) Evaluated: KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true) === KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:121 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Parent methods & deepcopy: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 Expression: hash(g) == hash(k) Evaluated: 0x482b9e1d15fe4c79 == 0x082d28417522d043 Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:123 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:100 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 Expression: (g, h) == (old_g, old_h) Evaluated: (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) == (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:135 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 Expression: (g, h) == (old_g, old_h) Evaluated: (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) == (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:138 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 Expression: (g, h) == (old_g, old_h) Evaluated: (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) == (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:144 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 Group/Monoid operations: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 Expression: (g, h) == (old_g, old_h) Evaluated: (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) == (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:147 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:131 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 Expression: (g, h) == (old_g, old_h) Evaluated: (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) == (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:232 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 Test threw exception Expression: mul!(out, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:234 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 Expression: (g, h) == (old_g, old_h) Evaluated: (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) == (a*b*a*b*a*B*a*b*a*B*a*b*a, b*a*B*a*B*a*b*a*B*a*B*a) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:235 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 Test threw exception Expression: mul!(g, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:237 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 Expression: h == old_h Evaluated: b*a*B*a*B*a*b*a*B*a*B*a == b*a*B*a*B*a*b*a*B*a*B*a Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:238 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Error During Test at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 Test threw exception Expression: mul!(h, g, h) == old_g * old_h DomainError with (KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true), KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}(Alphabet{Symbol}: [:a, :b, :B], Tuple{Word{UInt16}, Word{UInt16}}[(1·1, (id)), (2·2·2, (id)), (1·2·1·2·1·2·1·2·1·2·1·2·1·2, (id)), (1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2·1·2·1·2·2, (id))], index automaton over LenLex{Symbol} with 3 letters • 702 states • 119 non-accepting states (rw rules), true)): cannot multiply elements from different monoids Stacktrace: [1] *(m::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, ms::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ KnuthBendix.FPMonoids ~/.julia/packages/KnuthBendix/ziQjH/src/FPMonoids.jl:134 [2] mul!(out::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ GroupsCore ~/.julia/packages/GroupsCore/MfzH0/src/elements.jl:162 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:241 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [10] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 Expression: g == old_g Evaluated: a*b*a*b*a*B*a*b*a*B*a*b*a == a*b*a*b*a*B*a*b*a*B*a*b*a Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:242 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 mul!: Test Failed at /home/pkgeval/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 Expression: mul!(g, g, g) == old_g * old_g Evaluated: B*a*B*a*B*a*b*a*B*a*b*a*b*a*B*a*b == B*a*B*a*B*a*b*a*B*a*b*a*b*a*B*a*b Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:245 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [4] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:231 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] macro expansion @ ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:217 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [8] test_GroupsCore_interface(g::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}, h::KnuthBendix.FPMonoids.FPMonoidElement{UInt16, KnuthBendix.FPMonoids.FPMonoid{UInt16, Alphabet{Symbol}, KnuthBendix.Automata.IndexAutomaton{KnuthBendix.Automata.State{KnuthBendix.Words.SubWord{UInt16, SubArray{UInt16, 1, Vector{UInt16}, Tuple{UnitRange{Int64}}, true}}, UInt32, KnuthBendix.Rule{Word{UInt16}}}, LenLex{Symbol}}}}) @ Main ~/.julia/packages/GroupsCore/MfzH0/test/conformance_test.jl:99 [ Info: 237 0.000939 seconds (814 allocations: 46.852 KiB) 0.000866 seconds (1.38 k allocations: 73.414 KiB) [ Info: 237_8 2.489019 seconds (185.68 k allocations: 15.584 MiB) 1.412909 seconds (130.19 k allocations: 15.570 MiB) [ Info: 3a6 0.049525 seconds (14.06 k allocations: 1.060 MiB) 0.032054 seconds (10.55 k allocations: 836.547 KiB) [ Info: a4 0.000235 seconds (420 allocations: 20.375 KiB) 0.000265 seconds (691 allocations: 32.297 KiB) [ Info: a4monoid 0.000149 seconds (298 allocations: 16.562 KiB) 0.000178 seconds (470 allocations: 24.188 KiB) [ Info: ab1 0.000094 seconds (199 allocations: 8.828 KiB) 0.000133 seconds (304 allocations: 13.156 KiB) [ Info: ab2 0.000171 seconds (359 allocations: 17.156 KiB) 0.000494 seconds (623 allocations: 28.938 KiB) [ Info: c2 0.000126 seconds (194 allocations: 9.469 KiB) 0.000132 seconds (282 allocations: 13.031 KiB) [ Info: cosets 0.000666 seconds (758 allocations: 42.109 KiB) 0.000717 seconds (1.27 k allocations: 66.641 KiB) [ Info: d22 0.002233 seconds (1.96 k allocations: 119.219 KiB) 0.001327 seconds (2.76 k allocations: 148.273 KiB) [ Info: degen1 0.000111 seconds (165 allocations: 7.656 KiB) 0.000135 seconds (254 allocations: 11.250 KiB) [ Info: degen2 0.000101 seconds (219 allocations: 10.203 KiB) 0.000134 seconds (304 allocations: 13.672 KiB) [ Info: degen3 0.000194 seconds (347 allocations: 17.070 KiB) 0.000159 seconds (428 allocations: 20.289 KiB) [ Info: degen4a 0.004355 seconds (3.56 k allocations: 166.602 KiB) 0.018926 seconds (18.25 k allocations: 1.043 MiB) [ Info: degen4b 0.282100 seconds (314.43 k allocations: 21.358 MiB) 0.282143 seconds (124.89 k allocations: 7.613 MiB) [ Info: e8 1.407931 seconds (65.79 k allocations: 8.802 MiB) 1.054291 seconds (71.62 k allocations: 10.068 MiB) [ Info: f2 0.000109 seconds (271 allocations: 12.672 KiB) 0.000171 seconds (413 allocations: 19.047 KiB) [ Info: f25 0.002640 seconds (2.30 k allocations: 132.625 KiB) 0.002546 seconds (3.85 k allocations: 199.297 KiB) [ Info: f25monoid 0.001419 seconds (1.02 k allocations: 61.109 KiB) 0.000806 seconds (1.58 k allocations: 76.906 KiB) [ Info: f27 20.877396 seconds (348.00 k allocations: 39.408 MiB) 8.089975 seconds (417.19 k allocations: 43.117 MiB) [ Info: f27_2gen 0.848414 seconds (197.34 k allocations: 12.583 MiB) 2.202798 seconds (365.47 k allocations: 28.470 MiB) [ Info: f27monoid 2.627316 seconds (177.79 k allocations: 28.867 MiB) 15.550284 seconds (849.43 k allocations: 143.997 MiB) [ Info: freenilpc3 0.003629 seconds (2.15 k allocations: 146.648 KiB) 0.002954 seconds (6.02 k allocations: 346.812 KiB) [ Info: funny3 0.863855 seconds (200.52 k allocations: 11.556 MiB) 3.526107 seconds (546.92 k allocations: 42.465 MiB) [ Info: heinnilp 0.129550 seconds (74.32 k allocations: 6.376 MiB) 0.973531 seconds (466.42 k allocations: 44.071 MiB) [ Info: l32ext 2.841925 seconds (192.28 k allocations: 16.061 MiB) 1.795562 seconds (133.52 k allocations: 18.255 MiB) [ Info: m11 1.875452 seconds (406.56 k allocations: 27.325 MiB) 5.197728 seconds (401.33 k allocations: 44.667 MiB) [ Info: nilp2 0.000790 seconds (639 allocations: 37.688 KiB) 0.000704 seconds (1.29 k allocations: 68.594 KiB) [ Info: nonhopf 0.000513 seconds (488 allocations: 29.945 KiB) 0.000689 seconds (1.38 k allocations: 79.531 KiB) [ Info: s16 0.039013 seconds (9.79 k allocations: 991.273 KiB) 0.025172 seconds (7.55 k allocations: 682.344 KiB) [ Info: s3 0.000112 seconds (248 allocations: 12.125 KiB) 0.000151 seconds (365 allocations: 16.703 KiB) [ Info: s4 0.000410 seconds (469 allocations: 26.680 KiB) 0.000266 seconds (783 allocations: 40.586 KiB) [ Info: s9 0.002258 seconds (1.67 k allocations: 116.883 KiB) 0.002080 seconds (2.38 k allocations: 155.961 KiB) [ Info: torus 0.000389 seconds (668 allocations: 36.648 KiB) 0.000479 seconds (1.14 k allocations: 62.367 KiB) [ Info: verifynilp 0.139980 seconds (47.50 k allocations: 35.572 MiB) 0.093995 seconds (71.98 k allocations: 5.764 MiB) Test Summary: | Pass Fail Error Total Time KnuthBendix.jl | 1570 49 16 1635 6m04.1s PackedVector | 15 15 2.6s Words | 49 49 1.8s SubWords | 11 11 0.7s Words.AbstractWord conformance test: Word | 117 117 3.4s Words.BufferWord internals | 20 20 0.7s Words.BufferWord push/append | 16 16 0.1s Words.AbstractWord conformance test: KnuthBendix.Words.BufferWord | 117 117 4.5s Alphabets | 56 56 4.8s Orderings | 127 127 16.7s Rewriting | 35 35 6.3s States | 31 31 0.6s Construction & modification of PrefixAutomaton | 45 45 3.3s Automata rewriting | 7 7 4.2s backtrack | 21 21 19.7s KBPlain | 5 5 7.2s KBStack | 10 10 10.6s Automaton rewriting | 10 10 1.2s Knuth-Bendix completion examples | 353 353 1m08.6s GAPDoc Examples | 48 48 3.8s FPMonoids | 179 49 16 244 56.2s Monoid interface | 34 12 4 50 27.6s Iteration protocol | 1 1 0.0s Monoid generators | 6 6 0.0s order, rand | 5 5 0.9s MonoidElement interface | 22 12 4 38 19.9s Parent methods & deepcopy | 10 3 13 14.9s Group/Monoid operations | 5 4 9 0.2s Misc Element methods | 6 6 0.0s In-place operations | 1 5 4 10 4.8s mul! | 5 4 9 4.8s Monoid interface | 35 12 4 51 9.8s Iteration protocol | 2 2 0.0s Monoid generators | 6 6 0.0s order, rand | 5 5 0.7s MonoidElement interface | 22 12 4 38 2.0s Parent methods & deepcopy | 10 3 13 1.3s Group/Monoid operations | 5 4 9 0.2s Misc Element methods | 6 6 0.0s In-place operations | 1 5 4 10 0.6s mul! | 5 4 9 0.6s Monoid of commuting projections (quantum stuff) | 59 13 4 76 7.7s Monoid interface | 35 12 4 51 2.2s Iteration protocol | 2 2 0.0s Monoid generators | 6 6 0.0s order, rand | 5 5 0.0s MonoidElement interface | 22 12 4 38 2.2s Parent methods & deepcopy | 10 3 13 0.0s Group/Monoid operations | 5 4 9 0.0s Misc Element methods | 6 6 0.0s In-place operations | 1 5 4 10 2.1s mul! | 5 4 9 2.1s 237-triangle monoid | 50 12 4 66 0.8s Monoid interface | 44 12 4 60 0.5s Iteration protocol | 9 9 0.0s Monoid generators | 6 6 0.0s order, rand | 7 7 0.0s MonoidElement interface | 22 12 4 38 0.5s Parent methods & deepcopy | 10 3 13 0.1s Group/Monoid operations | 5 4 9 0.1s Misc Element methods | 6 6 0.0s In-place operations | 1 5 4 10 0.3s mul! | 5 4 9 0.3s kbmag | 298 298 1m37.8s RNG of the outermost testset: Random.Xoshiro(0xce45b4befa5dfaca, 0x7bfa427e3073bb6d, 0x2325c008f3dbf71a, 0xa8e4ba86e871a860, 0x90325616aa209b33) ERROR: LoadError: Some tests did not pass: 1570 passed, 49 failed, 16 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/KnuthBendix/ziQjH/test/runtests.jl:9 Testing failed after 386.2s ERROR: LoadError: Package KnuthBendix errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3298 [3] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 672.7s: package tests unexpectedly errored