Skip to content

Commit

Permalink
reorganize small perm groups
Browse files Browse the repository at this point in the history
  • Loading branch information
kalmarek committed Jul 5, 2024
1 parent 955ac02 commit 6903f4d
Show file tree
Hide file tree
Showing 3 changed files with 1,627 additions and 349 deletions.
3 changes: 2 additions & 1 deletion test/dixon.jl
Original file line number Diff line number Diff line change
Expand Up @@ -226,7 +226,8 @@ end
end

@time @testset "SmallPermGroups" begin
for (ord, groups) in SmallPermGroups
for ord in 2:30
groups = SmallPermGroups[ord]
@testset "SmallGroup($ord, $n)" for (n, G) in enumerate(groups)
@test Characters.irreducible_characters(G) isa
Vector{<:Characters.Character}
Expand Down
27 changes: 27 additions & 0 deletions test/runtests.jl
Original file line number Diff line number Diff line change
Expand Up @@ -47,3 +47,30 @@ if VERSION >= v"1.7.0" && !haskey(ENV, "CI")
end
end

# Small groups generation:
#= GAP code:
H := [];
for i in [1..63] do
Add(H, List(AllSmallGroups(i), G->Image(IsomorphismPermGroup(G))));
od;
PrintTo("/tmp/groups.gap", H);
=#

#=julia code
GAPgroups_str = join(readlines("/tmp/groups.gap"), "");
GAPgroups_str = replace(GAPgroups_str, "Group"=>"\nPermGroup");
GAPgroups_str = replace(GAPgroups_str, r" *"=>"");
perm_regex = r"((\(\d+(,\d+)*\)?)+)";
let fn = joinpath(@__DIR__, "smallgroups.jl")
open(fn, "w") do file
print(file, """
import PermutationGroups: PermGroup, @perm_str
const SmallPermGroups = """)
println(file, replace(GAPgroups_str, perm_regex=> s"perm\"\1\""))
end
read(fn, String)
end
=#

Loading

0 comments on commit 6903f4d

Please sign in to comment.