Merge pull request #459 from oscar-system/lk/switch_table

Project.toml

@@ -37,6 +37,6 @@ SparseArrays = "^1.6"
 TOPCOM_jll = "~0.17.8"
 julia = "^1.6"
 lib4ti2_jll = "^1.6.10"
-libpolymake_julia_jll = "~0.10.3"
+libpolymake_julia_jll = "~0.10.6"
 polymake_jll = "^400.900.0"
 polymake_oscarnumber_jll = "~0.2.7"

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

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