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

fix tests

Browse Source
This commit is contained in:
kalmarek 2017-10-27 16:20:06 +02:00
parent 04d1591c7d
commit d3d5633ab9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/AutGroup-tests.jl
View File

@ -5,7 +5,7 @@
@testset "AutSymbol" begin @testset "AutSymbol" begin
@test_throws MethodError Groups.AutSymbol("a") @test_throws MethodError Groups.AutSymbol("a")
@test_throws MethodError Groups.AutSymbol("a", 1) @test_throws MethodError Groups.AutSymbol("a", 1)
f = Groups.AutSymbol("a", 1, :(a())) f = Groups.AutSymbol("a", 1, Groups.FlipAut(2))
@test isa(f, Groups.GSymbol) @test isa(f, Groups.GSymbol)
@test isa(f, Groups.AutSymbol) @test isa(f, Groups.AutSymbol)
@test isa(Groups.perm_autsymbol(G([1,2,3,4])), Groups.AutSymbol) @test isa(Groups.perm_autsymbol(G([1,2,3,4])), Groups.AutSymbol)
@ -83,7 +83,7 @@
end end
@testset "AutGroup/AutGroupElem constructors" begin @testset "AutGroup/AutGroupElem constructors" begin
f = Groups.AutSymbol("a", 1, :(a())) f = Groups.AutSymbol("a", 1, Groups.FlipAut(1))
@test isa(AutGroupElem(f), Groups.GWord) @test isa(AutGroupElem(f), Groups.GWord)
@test isa(AutGroupElem(f), AutGroupElem) @test isa(AutGroupElem(f), AutGroupElem)
@test isa(AutGroup(FreeGroup(3)), Nemo.Group) @test isa(AutGroup(FreeGroup(3)), Nemo.Group)