kalmar
/
Groups.jl
mirror of https://github.com/kalmarek/Groups.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

update FreeGroupsSymbols manipulation

This commit is contained in:
kalmar 2017-07-23 17:06:34 +02:00
parent cac6305852
commit f8dfa91980
1 changed files with 9 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
test/FreeGroup-tests.jl
View File

@ -23,30 +23,19 @@
end end
end end
@testset "FreeGroupElems" begin @testset "FreeGroupSymbols manipulation" begin
s = Groups.FreeSymbol("s") s = Groups.FreeSymbol("s")
t = Groups.FreeSymbol("t", -2) t = Groups.FreeSymbol("t", -2)
@testset "defines" begin
@test isa(Groups.GWord(s), Groups.GWord)
@test isa(Groups.GWord(s), FreeGroupElem)
@test isa(FreeGroupElem(s), Groups.GWord)
@test isa(convert(FreeGroupElem, s), Groups.GWord)
@test isa(convert(FreeGroupElem, s), FreeGroupElem)
@test isa(Vector{FreeGroupElem}([s,t]), Vector{FreeGroupElem})
@test length(FreeGroupElem(s)) == 1
@test length(FreeGroupElem(t)) == 2
end
@testset "eltary functions" begin @test isa(Groups.GWord(s), Groups.GWord)
G = FreeGroup(["s", "t"]) @test isa(Groups.GWord(s), FreeGroupElem)
s = G(s) @test isa(FreeGroupElem(s), Groups.GWord)
t = G(t) @test isa(convert(FreeGroupElem, s), Groups.GWord)
@test Vector{Groups.GWord}([s,t]) == [Groups.GWord(s), Groups.GWord(t)] @test isa(convert(FreeGroupElem, s), FreeGroupElem)
@test isa(Vector{FreeGroupElem}([s,t]), Vector{FreeGroupElem})
@test length(FreeGroupElem(s)) == 1
@test length(FreeGroupElem(t)) == 2
@test (s*s).symbols == (s^2).symbols
@test hash([t^1,s^1]) == hash([t^2*inv(t),s*inv(s)*s])
end
end end
@testset "FreeGroup" begin @testset "FreeGroup" begin