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

Merge branch 'master' into enh/julia-v0.7

Browse Source
This commit is contained in:
kalmarek 2018-09-21 19:22:50 +02:00
commit fdab6278d5
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/DirectProd-tests.jl
View File

@ -32,7 +32,7 @@
@test GG(g, g^2) isa GroupElem @test GG(g, g^2) isa GroupElem
@test GG(g, g^2) isa Groups.DirectProductGroupElem @test GG(g, g^2) isa Groups.DirectProductGroupElem
@test_throws DomainError GG(g,g,g) @test_throws MethodError GG(g,g,g)
@test GG(g,g^2) == h @test GG(g,g^2) == h
@test h[1] == g @test h[1] == g
@ -109,9 +109,9 @@
@test FF([a,1]) isa GroupElem @test FF([a,1]) isa GroupElem
@test FF([a,1]) isa DirectProductGroupElem @test FF([a,1]) isa DirectProductGroupElem
@test FF([a,1]) isa DirectProductGroupElem{MltGrpElem{elem_type(F)}} @test FF([a,1]) isa DirectProductGroupElem{MltGrpElem{elem_type(F)}}
@test_throws DomainError FF(1,0) @test_throws MethodError FF(1,0)
@test_throws DomainError FF([0,1]) @test_throws MethodError FF([0,1])
@test_throws DomainError FF([1,0]) @test_throws MethodError FF([1,0])
@test MltGrp(F) isa AbstractAlgebra.Group @test MltGrp(F) isa AbstractAlgebra.Group
@test MltGrp(F) isa MultiplicativeGroup @test MltGrp(F) isa MultiplicativeGroup