44 lines
1.3 KiB
Julia
44 lines
1.3 KiB
Julia
@testset "GroupConstructions" begin
|
|
|
|
symmetric_group(n) = PermGroup(perm"(1,2)", Perm([2:n; 1]))
|
|
|
|
@testset "DirectProduct" begin
|
|
GH =
|
|
let G = symmetric_group(3), H = symmetric_group(4)
|
|
|
|
Groups.Constructions.DirectProduct(G, H)
|
|
end
|
|
test_Group_interface(GH)
|
|
test_GroupElement_interface(rand(GH, 2)...)
|
|
|
|
@test collect(GH) isa Array{eltype(GH), 2}
|
|
@test contains(sprint(print, GH), "Direct product")
|
|
@test sprint(print, rand(GH)) isa String
|
|
end
|
|
|
|
@testset "DirectPower" begin
|
|
GGG = Groups.Constructions.DirectPower{3}(
|
|
symmetric_group(3),
|
|
)
|
|
test_Group_interface(GGG)
|
|
test_GroupElement_interface(rand(GGG, 2)...)
|
|
|
|
@test collect(GGG) isa Array{eltype(GGG), 3}
|
|
@test contains(sprint(print, GGG), "Direct 3-rd power")
|
|
@test sprint(print, rand(GGG)) isa String
|
|
end
|
|
@testset "WreathProduct" begin
|
|
W =
|
|
let G = symmetric_group(2), P = symmetric_group(4)
|
|
|
|
Groups.Constructions.WreathProduct(G, P)
|
|
end
|
|
test_Group_interface(W)
|
|
test_GroupElement_interface(rand(W, 2)...)
|
|
|
|
@test collect(W) isa Array{eltype(W), 2}
|
|
@test contains(sprint(print, W), "Wreath product")
|
|
@test sprint(print, rand(W)) isa String
|
|
end
|
|
end
|