From 6dae79534558660b0d445862f1c41495e66b2d84 Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Thu, 18 Apr 2024 15:30:06 +0200 Subject: [PATCH] add test for group acting on itself --- test/perm_groups.jl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/test/perm_groups.jl b/test/perm_groups.jl index deb0160..54ae803 100644 --- 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