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 skipped tests

Browse Source
This commit is contained in:
kalmar 2017-07-11 16:26:26 +02:00
parent 2b59b5c89f
commit 4492c4451e
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
test/FreeGroup-tests.jl
View File

@ -38,12 +38,14 @@ end
end
@testset "eltary functions" begin
@test_skip (s*s).symbols == (s^2).symbols
@test_skip Vector{Groups.GWord{Groups.FreeSymbol}}([s,t]) ==
Vector{FreeGroupElem}([s,t])
@test_skip Vector{Groups.GWord}([s,t]) ==
[Groups.GWord(s), Groups.GWord(t)]
@test_skip hash([t^1,s^1]) == hash([t^2*inv(t),s*inv(s)*s])
G = FreeGroup(["s", "t"])
s = G(s)
t = G(t)
@test Vector{Groups.GWord}([s,t]) == [Groups.GWord(s), Groups.GWord(t)]
@test (s*s).symbols == (s^2).symbols
@test hash([t^1,s^1]) == hash([t^2*inv(t),s*inv(s)*s])
end
end
@ -55,8 +57,6 @@ end
@test isa(G(), FreeGroupElem)
@test eltype(G.gens) == Groups.FreeSymbol
@test length(G.gens) == 2
@test_skip eltype(G.rels) == FreeGroupElem
@test_skip length(G.rels) == 0
@test eltype(Nemo.gens(G)) == FreeGroupElem
@test length(Nemo.gens(G)) == 2
end