From 0d36b96c49a8cb30218f183c6ed87cb9ef9e5b28 Mon Sep 17 00:00:00 2001 From: kalmar Date: Tue, 24 Jan 2017 13:17:33 +0100 Subject: [PATCH] amend tests for Aut(F_4) --- test/runtests.jl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/test/runtests.jl b/test/runtests.jl index e87b1a5..12aa844 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -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