kalmar
/
Groups.jl
mirror of https://github.com/kalmarek/Groups.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

fix: DirectProductGroup constructor throws MethodError

This commit is contained in:
kalmarek 2018-09-16 19:09:56 +02:00
parent e6d67ca3f7
commit d2fd78a2b6
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

@ -30,7 +30,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 size(h) == (2,) @test size(h) == (2,)
@ -108,9 +108,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