add test for group acting on itself

kalmarek · Apr 18, 2024 · 6dae795 · 6dae795
1 parent f5bf988
commit 6dae795
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/perm_groups.jl b/test/perm_groups.jl
@@ -134,4 +134,12 @@
             end
         end
     end
+
+    @testset "group acting on itself" begin
+        G = PermGroup(perm"(1,2,3,4)", perm"(3,4)")
+        S = gens(G)
+        t = Transversal(one(G), S, *)
+        st = SchreierTransversal(one(G), S, *)
+        @test all(t[g] == st[g] for g in G)
+    end
 end