From ac5a9fba95cd4ff62bfdca947ac02180be4d1f40 Mon Sep 17 00:00:00 2001
From: Lars Kastner <lars.kastner@posteo.de>
Date: Wed, 18 Oct 2023 14:32:01 +0200
Subject: [PATCH] Add tests for switch tables

---
 test/groups.jl   | 23 +++++++++++++++++++++++
 test/runtests.jl |  1 +
 2 files changed, 24 insertions(+)
 create mode 100644 test/groups.jl

diff --git a/test/groups.jl b/test/groups.jl
new file mode 100644
index 00000000..525a07d7
--- /dev/null
+++ b/test/groups.jl
@@ -0,0 +1,23 @@
+@testset verbose=true "Polymake.Group" begin
+    @testset verbose=true "Polymake.SwitchTable" begin
+        ggens = [[1,2,0,4,5,3], [2,1,0,5,4,3]]
+        gp = Polymake.group.PermutationAction(GENERATORS=ggens)
+        sw = Polymake.SwitchTable(gp.ALL_GROUP_ELEMENTS)
+        
+        v1 = convert(Polymake.PolymakeType, [64,64,64,0,0,0])
+        min1 = Polymake.lex_minimize_vector(sw, v1)
+        max1 = Polymake.lex_maximize_vector(sw, v1)
+        @test min1 == max1
+        @test first(min1) == v1
+        @test first(max1) == v1
+        @test first(min1) == Polymake.group.action_inv(last(min1), v1)
+        @test first(max1) == Polymake.group.action_inv(last(max1), v1)
+        
+        v2 = convert(Polymake.PolymakeType, [32,36,44,48,32,0])
+        min2 = Polymake.lex_minimize_vector(sw, v2)
+        max2 = Polymake.lex_maximize_vector(sw, v2)
+        @test first(min2) == v2
+        @test first(min2) == Polymake.group.action_inv(last(min2), v2)
+        @test first(max2) == Polymake.group.action_inv(last(max2), v2)
+    end
+end
diff --git a/test/runtests.jl b/test/runtests.jl
index 5414418d..5df68437 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -46,6 +46,7 @@ include("lists.jl")
 include("map.jl")
 include("graphs.jl")
 include("homologygroup.jl")
+include("groups.jl")
 if get(ENV, "POLYDB_TEST_URI", "") != ""
    include("polydb.jl")
 end