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

add tests for hash

Browse Source
This commit is contained in:
kalmar 2017-01-25 15:57:42 +01:00
parent 45e6eb47ea
commit 2bbe1a6b61
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test/runtests.jl
View File

@ -47,6 +47,8 @@ end
@test isa(s*s, FGWord) @test isa(s*s, FGWord)
@test s*s == s^2 @test s*s == s^2
@test t*s ≠ s*t @test t*s ≠ s*t
@test Vector{GWord}([s,t]) == [s^2*s^-1, t]
@test hash([t^1,s^1]) == hash([t^2*inv(t),s*inv(s)*s])
end end
@testset "eltary functions" begin @testset "eltary functions" begin
@test length(FGWord(s)) == 1 @test length(FGWord(s)) == 1
@ -60,6 +62,7 @@ end
@test isa(one(w), FGWord) @test isa(one(w), FGWord)
@test inv(s*t) == t^-1*s^-1 @test inv(s*t) == t^-1*s^-1
@test inv(w) == s*t^-1*s^-1 @test inv(w) == s*t^-1*s^-1
end end
@testset "reductions" begin @testset "reductions" begin