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

fix for tests

Browse Source
This commit is contained in:
kalmar 2017-07-06 09:13:36 +02:00
parent 8e9b9d5603
commit 5baa5935c3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/AutGroup-tests.jl
View File

@ -87,7 +87,7 @@
@test isa(AutGroupElem(f), Groups.GWord)
@test isa(AutGroupElem(f), AutGroupElem)
@test isa(AutGroup(FreeGroup(3)), Nemo.Group)
@test isa(AutGroup(FreeGroup(1)), Groups.FPGroup)
@test isa(AutGroup(FreeGroup(1)), Groups.AbstractFPGroup)
A = AutGroup(FreeGroup(1))
@test isa(Nemo.gens(A), Vector{AutGroupElem})
@test length(Nemo.gens(A)) == 1