1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 14:35:28 +01:00

define GG, FF globally for inner testsets

This commit is contained in:
kalmar 2017-07-23 17:03:28 +02:00
parent 166c4c217b
commit 93d380094e

View File

@ -37,10 +37,10 @@
@test h == GG(g, G()) @test h == GG(g, G())
end end
@testset "Types" begin
GG = Groups.DirectProductGroup(G,2) GG = Groups.DirectProductGroup(G,2)
FF = Groups.DirectProductGroup(F,2) FF = Groups.DirectProductGroup(F,2)
@testset "Types" begin
@test elem_type(GG) == Groups.DirectProductGroupElem{elem_type(G)} @test elem_type(GG) == Groups.DirectProductGroupElem{elem_type(G)}
@test elem_type(FF) == Groups.DirectProductGroupElem{elem_type(F)} @test elem_type(FF) == Groups.DirectProductGroupElem{elem_type(F)}
@test parent_type(typeof(GG(g,g^2))) == Groups.DirectProductGroup{typeof(G)} @test parent_type(typeof(GG(g,g^2))) == Groups.DirectProductGroup{typeof(G)}
@ -52,7 +52,7 @@
@test_throws MethodError FF(1,0) @test_throws MethodError FF(1,0)
end end
@testset "Basis arithmetic" begin @testset "Group arithmetic" begin
g = G([2,3,1]) g = G([2,3,1])
h = GG([g,g^2]) h = GG([g,g^2])
@ -73,7 +73,6 @@
@test order(GG) == 36 @test order(GG) == 36
@test order(FF) == 64 @test order(FF) == 64
@test isa([elements(GG)...], Vector{Groups.DirectProductGroupElem{elem_type(G)}}) @test isa([elements(GG)...], Vector{Groups.DirectProductGroupElem{elem_type(G)}})
elts = [elements(GG)...] elts = [elements(GG)...]