Package evaluation to test KnuthBendix on Julia 1.14.0-DEV.3106 (9d314127b9*) started at 2026-09-03T15:35:32.443


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...
  Activating project at `~/.julia/environments/v1.14`

Set-up completed after 16.55s


################################################################################
# Installation
#

Installing KnuthBendix...
   Resolving package versions...
   Installed Reexport ──────────────────── v1.2.2
   Installed IteratorInterfaceExtensions ─ v1.0.0
   Installed MacroTools ────────────────── v0.5.16
   Installed Preferences ───────────────── v1.5.2
   Installed DataAPI ───────────────────── v1.16.0
   Installed PrecompileTools ───────────── v1.3.4
   Installed StringManipulation ────────── v0.4.7
   Installed LaTeXStrings ──────────────── v1.4.1
   Installed TableTraits ───────────────── v1.0.1
   Installed GroupsCore ────────────────── v0.5.2
   Installed DataValueInterfaces ───────── v1.0.0
   Installed ProgressMeter ─────────────── v1.11.0
   Installed KnuthBendix ───────────────── v0.5.0
   Installed PrettyTables ──────────────── v2.4.0
   Installed Crayons ───────────────────── v4.2.0
   Installed Tables ────────────────────── v1.14.0
   Installed OrderedCollections ────────── v2.0.1
    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.16s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
Precompiling project...
   4.7 s  ✓ TestEnv
  1 dependency successfully precompiled in 5 seconds. 27 already precompiled.

Precompiling package dependencies...
Precompiling project...
   3.6 s  ✓ MacroTools
   0.7 s  ✓ ANSIColoredPrinters
   0.5 s  ✓ Reexport
   1.2 s  ✓ DataAPI
   0.5 s  ✓ DataValueInterfaces
   0.8 s  ✓ LazilyInitializedFields
   1.1 s  ✓ OrderedCollections
   0.9 s  ✓ DocStringExtensions
   0.9 s  ✓ AbstractTrees
   0.6 s  ✓ GroupsCore
   0.9 s  ✓ TranscodingStreams
   0.5 s  ✓ IteratorInterfaceExtensions
   0.6 s  ✓ LaTeXStrings
   2.2 s  ✓ Crayons
   0.5 s  ✓ IOCapture
   2.4 s  ✓ ProgressMeter
   1.8 s  ✓ StructUtils
   1.5 s  ✓ Preferences
   5.0 s  ✓ RegistryInstances
   1.6 s  ✓ MarkdownAST
   0.7 s  ✓ CodecZlib
   0.5 s  ✓ TableTraits
   1.6 s  ✓ JLLWrappers
   1.0 s  ✓ PrecompileTools
   2.0 s  ✓ Tables
   1.6 s  ✓ Libiconv_jll
   1.3 s  ✓ Git_LFS_jll
   1.3 s  ✓ OpenSSH_jll
   1.2 s  ✓ Expat_jll
   6.1 s  ✓ StringManipulation
  11.0 s  ✓ Parsers
   1.0 s  ✓ StructUtils → StructUtilsTablesExt
   1.6 s  ✓ Git_jll
  27.4 s  ✓ PrettyTables
   9.6 s  ✓ JSON
   1.1 s  ✓ Git
  15.7 s  ✓ KnuthBendix
  54.5 s  ✓ Documenter
  38 dependencies successfully precompiled in 167 seconds. 33 already precompiled.

Precompilation completed after 194.57s


################################################################################
# Testing
#

     Testing KnuthBendix
      Status `/tmp/jl_caSXgz/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_caSXgz/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.7.1
  [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 v2.8.7
  [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.28  s/it)
   processing rules (done/total): 2/6



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (67.02 ms/it)
   processing rules (done/total): 14/14



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (63.43 ms/it)
   processing rules (done/total): 15/15



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (59.50 ms/it)
   processing rules (done/total): 16/16



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (56.03 ms/it)
   processing rules (done/total): 17/17



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (52.92 ms/it)
   processing rules (done/total): 18/18



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (50.14 ms/it)
   processing rules (done/total): 19/19



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (47.64 ms/it)
   processing rules (done/total): 20/20



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (45.39 ms/it)
   processing rules (done/total): 21/21



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (43.33 ms/it)
   processing rules (done/total): 22/22



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (41.46 ms/it)
   processing rules (done/total): 23/23



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (39.74 ms/it)
   processing rules (done/total): 24/24



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (38.15 ms/it)
   processing rules (done/total): 25/25



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (36.69 ms/it)
   processing rules (done/total): 26/26



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (35.34 ms/it)
   processing rules (done/total): 27/27



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (34.09 ms/it)
   processing rules (done/total): 28/28



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (32.92 ms/it)
   processing rules (done/total): 29/29



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (31.83 ms/it)
   processing rules (done/total): 30/30



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (30.81 ms/it)
   processing rules (done/total): 31/31



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (29.86 ms/it)
   processing rules (done/total): 32/32



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (28.97 ms/it)
   processing rules (done/total): 33/33



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (28.13 ms/it)
   processing rules (done/total): 34/34



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (27.34 ms/it)
   processing rules (done/total): 35/35



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (26.60 ms/it)
   processing rules (done/total): 36/36



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (25.91 ms/it)
   processing rules (done/total): 37/37



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (25.26 ms/it)
   processing rules (done/total): 38/38



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (24.64 ms/it)
   processing rules (done/total): 39/39



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (24.05 ms/it)
   processing rules (done/total): 40/40



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (23.49 ms/it)
   processing rules (done/total): 41/41



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (22.96 ms/it)
   processing rules (done/total): 42/42



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (22.44 ms/it)
   processing rules (done/total): 43/43



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (22.07 ms/it)
   processing rules (done/total): 44/44



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.63 ms/it)
   processing rules (done/total): 45/45



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (21.18 ms/it)
   processing rules (done/total): 46/46



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.83 ms/it)
   processing rules (done/total): 47/47



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.45 ms/it)
   processing rules (done/total): 48/48



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (20.06 ms/it)
   processing rules (done/total): 49/49



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.70 ms/it)
   processing rules (done/total): 50/50



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.35 ms/it)
   processing rules (done/total): 51/51



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (19.01 ms/it)
   processing rules (done/total): 52/52



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.68 ms/it)
   processing rules (done/total): 53/53



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.38 ms/it)
   processing rules (done/total): 54/54



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (18.08 ms/it)
   processing rules (done/total): 55/55



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.79 ms/it)
   processing rules (done/total): 56/56



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:00 (17.51 ms/it)
   processing rules (done/total): 57/57



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (17.25 ms/it)
   processing rules (done/total): 58/58



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (16.99 ms/it)
   processing rules (done/total): 59/59



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (16.75 ms/it)
   processing rules (done/total): 60/60



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (16.52 ms/it)
   processing rules (done/total): 61/61



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (16.29 ms/it)
   processing rules (done/total): 62/62



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (16.08 ms/it)
   processing rules (done/total): 63/63



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.87 ms/it)
   processing rules (done/total): 64/64



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.68 ms/it)
   processing rules (done/total): 65/65



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.49 ms/it)
   processing rules (done/total): 66/66



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.32 ms/it)
   processing rules (done/total): 67/67



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (15.15 ms/it)
   processing rules (done/total): 68/68



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.99 ms/it)
   processing rules (done/total): 69/69



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.84 ms/it)
   processing rules (done/total): 70/70



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.69 ms/it)
   processing rules (done/total): 71/71



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.54 ms/it)
   processing rules (done/total): 72/72



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.41 ms/it)
   processing rules (done/total): 73/73



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.28 ms/it)
   processing rules (done/total): 74/74



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.16 ms/it)
   processing rules (done/total): 75/75



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (14.05 ms/it)
   processing rules (done/total): 76/76



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.95 ms/it)
   processing rules (done/total): 77/77



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.85 ms/it)
   processing rules (done/total): 78/78



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.75 ms/it)
   processing rules (done/total): 79/79



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.66 ms/it)
   processing rules (done/total): 80/80



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.57 ms/it)
   processing rules (done/total): 81/81



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.50 ms/it)
   processing rules (done/total): 82/82



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.44 ms/it)
   processing rules (done/total): 83/83



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.38 ms/it)
   processing rules (done/total): 84/84



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.31 ms/it)
   processing rules (done/total): 85/85



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.25 ms/it)
   processing rules (done/total): 86/86



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.19 ms/it)
   processing rules (done/total): 87/87



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.13 ms/it)
   processing rules (done/total): 88/88



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.08 ms/it)
   processing rules (done/total): 89/89



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (13.03 ms/it)
   processing rules (done/total): 90/90



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.99 ms/it)
   processing rules (done/total): 91/91



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.95 ms/it)
   processing rules (done/total): 92/92



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.92 ms/it)
   processing rules (done/total): 93/93



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.90 ms/it)
   processing rules (done/total): 94/94



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.87 ms/it)
   processing rules (done/total): 95/95



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.85 ms/it)
   processing rules (done/total): 96/96



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.84 ms/it)
   processing rules (done/total): 97/97



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.83 ms/it)
   processing rules (done/total): 98/98



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.82 ms/it)
   processing rules (done/total): 99/99



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.82 ms/it)
   processing rules (done/total): 100/100



Knuth-Bendix completion (KnuthBendix.KBStack()) 100% Time: 0:00:01 (12.83 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.335298 seconds (117.09 k allocations: 8.982 MiB, 70.48% compilation time)
  0.118210 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: a1*a2*a4^4*a2 == a1*a2*a4^4*a2
  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: 0xdc68c02b6d5dbd11 == 0x5283648b0f6e5134
  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: (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1) == (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1)
  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: (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1) == (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1)
  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: (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1) == (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1)
  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: (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1) == (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1)
  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: (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1) == (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1)
  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: (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1) == (a1*a2*a4^4*a2, a1^2*a4*a3^2*a4*a3^2*a2*a1)
  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: a1^2*a4*a3^2*a4*a3^2*a2*a1 == a1^2*a4*a3^2*a4*a3^2*a2*a1
  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: a1*a2*a4^4*a2 == a1*a2*a4^4*a2
  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: a1*a2*a4^4*a2*a1*a2*a4^4*a2 == a1*a2*a4^4*a2*a1*a2*a4^4*a2
  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: a1 == a1
  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: 0x55c390340a579db7 == 0x64f70fd3e2864660
  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: (a1, a2*a1) == (a1, a2*a1)
  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: (a1, a2*a1) == (a1, a2*a1)
  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: (a1, a2*a1) == (a1, a2*a1)
  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: (a1, a2*a1) == (a1, a2*a1)
  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: (a1, a2*a1) == (a1, a2*a1)
  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: (a1, a2*a1) == (a1, a2*a1)
  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: a2*a1 == a2*a1
  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: a1 == a1
  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: (id) == (id)
  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: a1*b4*b5 == a1*b4*b5
  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: 0x77395dad02ba8c7b == 0x3d65bc842cb08508
  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: (a1*b4*b5, a3*a2*b3*b1*b2*b5) == (a1*b4*b5, a3*a2*b3*b1*b2*b5)
  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: (a1*b4*b5, a3*a2*b3*b1*b2*b5) == (a1*b4*b5, a3*a2*b3*b1*b2*b5)
  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: (a1*b4*b5, a3*a2*b3*b1*b2*b5) == (a1*b4*b5, a3*a2*b3*b1*b2*b5)
  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: (a1*b4*b5, a3*a2*b3*b1*b2*b5) == (a1*b4*b5, a3*a2*b3*b1*b2*b5)
  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: (a1*b4*b5, a3*a2*b3*b1*b2*b5) == (a1*b4*b5, a3*a2*b3*b1*b2*b5)
  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: (a1*b4*b5, a3*a2*b3*b1*b2*b5) == (a1*b4*b5, a3*a2*b3*b1*b2*b5)
  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: a3*a2*b3*b1*b2*b5 == a3*a2*b3*b1*b2*b5
  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: a1*b4*b5 == a1*b4*b5
  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: b4*b5*b4*b5 == b4*b5*b4*b5
  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*b*a*B*a*B == a*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: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: 0x884339d0ee7c4539 == 0x60c5327930b19ec2
  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*B*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*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: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*B*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*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: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*B*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*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: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*B*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*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: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*B*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*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: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*B*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*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: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: a*b*a*b*a*B*a*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: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*b*a*B*a*B == a*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: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: 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*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.001129 seconds (816 allocations: 50.891 KiB)
  0.000822 seconds (1.38 k allocations: 77.453 KiB)
[ Info: 237_8
  2.411390 seconds (185.68 k allocations: 15.584 MiB)
  1.477068 seconds (130.19 k allocations: 15.570 MiB)
[ Info: 3a6
  0.046511 seconds (14.06 k allocations: 1.060 MiB)
  0.032094 seconds (10.55 k allocations: 836.578 KiB)
[ Info: a4
  0.000267 seconds (422 allocations: 22.414 KiB)
  0.000358 seconds (693 allocations: 34.336 KiB)
[ Info: a4monoid
  0.000158 seconds (298 allocations: 16.562 KiB)
  0.000204 seconds (470 allocations: 24.188 KiB)
[ Info: ab1
  0.000103 seconds (200 allocations: 9.891 KiB)
  0.000155 seconds (305 allocations: 14.219 KiB)
[ Info: ab2
  0.000168 seconds (359 allocations: 17.156 KiB)
  0.000239 seconds (623 allocations: 28.938 KiB)
[ Info: c2
  0.000098 seconds (194 allocations: 9.469 KiB)
  0.000141 seconds (282 allocations: 13.031 KiB)
[ Info: cosets
  0.000688 seconds (758 allocations: 42.109 KiB)
  0.000714 seconds (1.27 k allocations: 66.641 KiB)
[ Info: d22
  0.002020 seconds (1.96 k allocations: 119.219 KiB)
  0.001382 seconds (2.76 k allocations: 148.273 KiB)
[ Info: degen1
  0.000087 seconds (165 allocations: 7.656 KiB)
  0.000141 seconds (254 allocations: 11.250 KiB)
[ Info: degen2
  0.000114 seconds (219 allocations: 10.203 KiB)
  0.000237 seconds (304 allocations: 13.672 KiB)
[ Info: degen3
  0.000176 seconds (347 allocations: 17.070 KiB)
  0.000180 seconds (428 allocations: 20.289 KiB)
[ Info: degen4a
  0.004251 seconds (3.56 k allocations: 162.562 KiB)
  0.018783 seconds (18.24 k allocations: 1.039 MiB)
[ Info: degen4b
  0.286170 seconds (314.43 k allocations: 21.354 MiB)
  0.280931 seconds (124.89 k allocations: 7.609 MiB)
[ Info: e8
  1.448795 seconds (65.79 k allocations: 8.802 MiB)
  1.054825 seconds (71.62 k allocations: 10.068 MiB)
[ Info: f2
  0.000108 seconds (271 allocations: 12.672 KiB)
  0.000159 seconds (413 allocations: 19.047 KiB)
[ Info: f25
  0.002744 seconds (2.30 k allocations: 132.625 KiB)
  0.002513 seconds (3.85 k allocations: 199.297 KiB)
[ Info: f25monoid
  0.001411 seconds (1.02 k allocations: 61.109 KiB)
  0.000872 seconds (1.58 k allocations: 76.906 KiB)
[ Info: f27
 21.084539 seconds (348.00 k allocations: 39.408 MiB)
  8.102095 seconds (417.19 k allocations: 43.117 MiB)
[ Info: f27_2gen
  0.720112 seconds (197.34 k allocations: 12.583 MiB)
  1.596950 seconds (365.47 k allocations: 28.470 MiB)
[ Info: f27monoid
  1.992230 seconds (177.79 k allocations: 28.867 MiB)
 18.999551 seconds (849.43 k allocations: 143.988 MiB, 0.24% gc time)
[ Info: freenilpc3
  0.003529 seconds (2.15 k allocations: 146.648 KiB)
  0.003232 seconds (6.02 k allocations: 346.844 KiB)
[ Info: funny3
  0.836857 seconds (200.52 k allocations: 11.556 MiB)
  3.495877 seconds (546.92 k allocations: 42.465 MiB)
[ Info: heinnilp
  0.125731 seconds (74.32 k allocations: 6.376 MiB)
  0.936402 seconds (466.42 k allocations: 44.070 MiB)
[ Info: l32ext
  2.764829 seconds (192.28 k allocations: 16.060 MiB)
  1.771757 seconds (133.52 k allocations: 18.255 MiB)
[ Info: m11
  1.892722 seconds (406.56 k allocations: 27.325 MiB)
  5.287153 seconds (401.33 k allocations: 44.667 MiB)
[ Info: nilp2
  0.000844 seconds (639 allocations: 37.688 KiB)
  0.000651 seconds (1.29 k allocations: 68.594 KiB)
[ Info: nonhopf
  0.000587 seconds (488 allocations: 29.945 KiB)
  0.000684 seconds (1.38 k allocations: 79.531 KiB)
[ Info: s16
  0.037517 seconds (9.79 k allocations: 991.305 KiB)
  0.015688 seconds (7.55 k allocations: 682.375 KiB)
[ Info: s3
  0.000110 seconds (248 allocations: 12.125 KiB)
  0.000145 seconds (365 allocations: 16.703 KiB)
[ Info: s4
  0.000393 seconds (469 allocations: 26.680 KiB)
  0.000363 seconds (783 allocations: 40.586 KiB)
[ Info: s9
  0.002339 seconds (1.67 k allocations: 116.883 KiB)
  0.002077 seconds (2.38 k allocations: 155.961 KiB)
[ Info: torus
  0.000422 seconds (668 allocations: 36.648 KiB)
  0.000482 seconds (1.14 k allocations: 62.367 KiB)
[ Info: verifynilp
  0.148871 seconds (47.50 k allocations: 35.568 MiB)
  0.099181 seconds (71.98 k allocations: 5.764 MiB)
Test Summary:                                                       | Pass  Fail  Error  Total     Time
KnuthBendix.jl                                                      | 1570    49     16   1635  6m06.7s
  PackedVector                                                      |   15                  15     2.5s
  Words                                                             |   49                  49     1.7s
  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.9s
  Alphabets                                                         |   56                  56     4.8s
  Orderings                                                         |  127                 127    18.1s
  Rewriting                                                         |   35                  35     6.4s
  States                                                            |   31                  31     0.6s
  Construction & modification of PrefixAutomaton                    |   45                  45     3.3s
  Automata rewriting                                                |    7                   7     3.5s
  backtrack                                                         |   21                  21    19.4s
  KBPlain                                                           |    5                   5     7.3s
  KBStack                                                           |   10                  10    10.4s
  Automaton rewriting                                               |   10                  10     1.3s
  Knuth-Bendix completion examples                                  |  353                 353  1m08.5s
  GAPDoc Examples                                                   |   48                  48     3.8s
  FPMonoids                                                         |  179    49     16    244    53.9s
    Monoid interface                                                |   34    12      4     50    27.4s
      Iteration protocol                                            |    1                   1     0.0s
      Monoid generators                                             |    6                   6     0.0s
      order, rand                                                   |    5                   5     0.8s
      MonoidElement interface                                       |   22    12      4     38    19.3s
        Parent methods & deepcopy                                   |   10     3            13    14.6s
        Group/Monoid operations                                     |    5     4             9     0.2s
        Misc Element methods                                        |    6                   6     0.0s
        In-place operations                                         |    1     5      4     10     4.6s
          mul!                                                      |          5      4      9     4.6s
    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     1.9s
        Parent methods & deepcopy                                   |   10     3            13     1.1s
        Group/Monoid operations                                     |    5     4             9     0.2s
        Misc Element methods                                        |    6                   6     0.0s
        In-place operations                                         |    1     5      4     10     0.5s
          mul!                                                      |          5      4      9     0.5s
    Monoid of commuting projections (quantum stuff)                 |   59    13      4     76     5.5s
      Monoid interface                                              |   35    12      4     51     0.4s
        Iteration protocol                                          |    2                   2     0.0s
        Monoid generators                                           |    6                   6     0.0s
        order, rand                                                 |    5                   5     0.0s
        MonoidElement interface                                     |   22    12      4     38     0.4s
          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
    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.4s
          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  1m40.2s
RNG of the outermost testset: Random.Xoshiro(0xd63a1968d789c22a, 0xd1560f51729d253d, 0xe12a5b93d31fe766, 0x1535275f6c9cd55f, 0x448424dc474a8c78)
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 392.52s

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 647.83s: package tests unexpectedly errored