match 100% coverage on FPMonoids

kalmarek · Nov 20, 2024 · 470e7ef · 470e7ef
1 parent b837f31
commit 470e7ef
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/fpmonoids.jl b/test/fpmonoids.jl
@@ -5,7 +5,12 @@ include(joinpath(pathof(GroupsCore), "..", "..", "test", "conformance_test.jl"))
 
 @testset "FPMonoids" begin
     M = Monoids.FreeMonoid(4)
+    str = sprint(show, MIME"text/plain"(), M)
+    @test occursin("free monoid", str)
     test_GroupsCore_interface(M)
+
+    M² = M / [a^2 for a in gens(M)]
+    test_GroupsCore_interface(M²)
     @testset "Monoid of commuting projections (quantum stuff)" begin
         function example_monoid(n::Integer)
             A = KB.Alphabet(