kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-11 14:02:33 +01:00
Code Issues Releases Wiki Activity

amend tests for Aut(F_4)

Browse Source
This commit is contained in:
kalmar 2017-01-24 13:17:33 +01:00
parent e96ee72758
commit 0d36b96c49
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test/runtests.jl
View File

@ -80,6 +80,7 @@ end
@test (t*s*t^-1)^10 == t*s^10*t^-1
@test (t*s*t^-1)^-10 == t*s^-10*t^-1
end
end
@testset "Automorphisms" begin
@testset "AutSymbol" begin
@test_throws MethodError AutSymbol("a")
@ -140,9 +141,9 @@ end
@test isa(S₁, Vector{AutWord})
p = prod(S₁)
@test length(p) == 75
@test Group.simplify_perms!(p) == false
@test Groups.simplify_perms!(p) == false
@test length(p) == 53
@test Group.join_free_symbols!(p) == true
@test Groups.join_free_symbols!(p) == true
end