kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-05 12:40:28 +01:00
Code Issues Releases Wiki Activity

parametrize WreathProduct over Integers

Browse Source
This commit is contained in:
kalmarek 2018-04-10 13:09:50 +02:00
parent 777684db28
commit df554480ea
2 changed files with 17 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
src/WreathProducts.jl
View File

@ -19,27 +19,27 @@ doc"""
* `::Group` : the single factor of group $N$ * `::Group` : the single factor of group $N$
* `::Generic.PermGroup` : full `PermutationGroup` * `::Generic.PermGroup` : full `PermutationGroup`
""" """
struct WreathProduct{T<:Group} <: Group struct WreathProduct{T<:Group, I<:Integer} <: Group
N::DirectProductGroup{T} N::DirectProductGroup{T}
P::Generic.PermGroup P::Generic.PermGroup{I}
function WreathProduct{T}(G::T, P::Generic.PermGroup) where {T} function WreathProduct{T, I}(Gr::T, P::Generic.PermGroup{I}) where {T, I}
N = DirectProductGroup(G, P.n) N = DirectProductGroup(Gr, Int(P.n))
return new(N, P) return new(N, P)
end end
end end
struct WreathProductElem{T<:GroupElem} <: GroupElem struct WreathProductElem{T<:GroupElem, I<:Integer} <: GroupElem
n::DirectProductGroupElem{T} n::DirectProductGroupElem{T}
p::Generic.perm p::Generic.perm{I}
# parent::WreathProduct # parent::WreathProduct
function WreathProductElem{T}(n::DirectProductGroupElem{T}, p::Generic.perm, function WreathProductElem{T, I}(n::DirectProductGroupElem{T}, p::Generic.perm{I},
check::Bool=true) where {T} check::Bool=true) where {T, I}
if check if check
length(n.elts) == parent(p).n || throw("Can't form WreathProductElem: lengths differ") length(n.elts) == parent(p).n || throw("Can't form WreathProductElem: lengths differ")
end end
return new{T}(n, p) return new(n, p)
end end
end end
@ -49,10 +49,10 @@ end
# #
############################################################################### ###############################################################################
elem_type(::WreathProduct{T}) where {T} = WreathProductElem{elem_type(T)} elem_type(::WreathProduct{T, I}) where {T, I} = WreathProductElem{elem_type(T), I}
parent_type(::Type{WreathProductElem{T}}) where {T} = parent_type(::Type{WreathProductElem{T, I}}) where {T, I} =
WreathProduct{parent_type(T)} WreathProduct{parent_type(T), I}
parent(g::WreathProductElem) = WreathProduct(parent(g.n[1]), parent(g.p)) parent(g::WreathProductElem) = WreathProduct(parent(g.n[1]), parent(g.p))
@ -62,9 +62,9 @@ parent(g::WreathProductElem) = WreathProduct(parent(g.n[1]), parent(g.p))
# #
############################################################################### ###############################################################################
WreathProduct(G::Gr, P::Generic.PermGroup) where {Gr} = WreathProduct{Gr}(G, P) WreathProduct(G::T, P::Generic.PermGroup{I}) where {T, I} = WreathProduct{T, I}(G, P)
WreathProductElem(n::DirectProductGroupElem{T}, p, check=true) where {T} = WreathProductElem{T}(n, p, check) WreathProductElem(n::DirectProductGroupElem{T}, p::Generic.perm{I}, check=true) where {T, I} = WreathProductElem{T, I}(n, p, check)
############################################################################### ###############################################################################
# #

6
test/WreathProd-tests.jl
View File

@ -42,9 +42,9 @@
@testset "Types" begin @testset "Types" begin
B3 = Groups.WreathProduct(F, S_3) B3 = Groups.WreathProduct(F, S_3)
@test elem_type(B3) == Groups.WreathProductElem{elem_type(F)} @test elem_type(B3) == Groups.WreathProductElem{elem_type(F), Int}
@test parent_type(typeof(B3())) == Groups.WreathProduct{parent_type(typeof(B3.N.group()))} @test parent_type(typeof(B3())) == Groups.WreathProduct{parent_type(typeof(B3.N.group())), Int}
@test parent(B3()) == Groups.WreathProduct(F,S_3) @test parent(B3()) == Groups.WreathProduct(F,S_3)
@test parent(B3()) == B3 @test parent(B3()) == B3
@ -73,7 +73,7 @@
Wr = WreathProduct(PermutationGroup(2),S_3) Wr = WreathProduct(PermutationGroup(2),S_3)
@test isa([elements(Wr)...], Vector{Groups.WreathProductElem{Generic.perm{Int64}}}) @test isa([elements(Wr)...], Vector{Groups.WreathProductElem{Generic.perm{Int}, Int}})
elts = [elements(Wr)...] elts = [elements(Wr)...]