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

tests for FPGroup and FreeGroup(n::Int)

Browse Source
This commit is contained in:
kalmar 2017-05-12 21:19:57 +02:00
parent 51694c4fbf
commit 2461b42e9c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/runtests.jl
View File

@ -56,6 +56,8 @@ using Base.Test
@testset "FreeGroup" begin @testset "FreeGroup" begin
@test isa(FreeGroup(["s", "t"]), Nemo.Group) @test isa(FreeGroup(["s", "t"]), Nemo.Group)
@test isa(FreeGroup(["s", "t"]), Nemo.FPGroup)
@test isa(FreeGroup(2), Nemo.FPGroup)
G = FreeGroup(["s", "t"]) G = FreeGroup(["s", "t"])
@testset "elements constructors" begin @testset "elements constructors" begin