kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-01 01:25:27 +01:00
Code Issues Releases Wiki Activity

fix tests (parametrised perms)

Browse Source
This commit is contained in:
kalmarek 2018-03-22 13:25:52 +01:00
parent d96a36cb94
commit b7e7bcb7ef
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/DirectProd-tests.jl
View File

@ -8,7 +8,7 @@
@testset "Constructors" begin @testset "Constructors" begin
@test isa(Groups.DirectProductGroup(G,2), Nemo.Group) @test isa(Groups.DirectProductGroup(G,2), Nemo.Group)
@test isa(G×G, Nemo.Group) @test isa(G×G, Nemo.Group)
@test isa(Groups.DirectProductGroup(G,2), Groups.DirectProductGroup{Nemo.PermGroup}) @test isa(Groups.DirectProductGroup(G,2), Groups.DirectProductGroup{Generic.PermGroup{Int64}})
GG = Groups.DirectProductGroup(G,2) GG = Groups.DirectProductGroup(G,2)
@ -18,7 +18,7 @@
@test GG(G(), G()) == GG() @test GG(G(), G()) == GG()
@test isa(GG([g, g^2]), GroupElem) @test isa(GG([g, g^2]), GroupElem)
@test isa(GG([g, g^2]), Groups.DirectProductGroupElem{Nemo.perm}) @test isa(GG([g, g^2]), Groups.DirectProductGroupElem{Generic.perm{Int64}})
h = GG([g,g^2]) h = GG([g,g^2])

2
test/WreathProd-tests.jl
View File

@ -73,7 +73,7 @@
Wr = WreathProduct(PermutationGroup(2),S_3) Wr = WreathProduct(PermutationGroup(2),S_3)
@test isa([elements(Wr)...], Vector{Groups.WreathProductElem{Nemo.perm}}) @test isa([elements(Wr)...], Vector{Groups.WreathProductElem{Generic.perm{Int64}}})
elts = [elements(Wr)...] elts = [elements(Wr)...]