kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-07-12 01:35:30 +02:00
Code Issues Releases Wiki Activity

fix tests for AutSymbol and flip_autsymbol

Browse Source
This commit is contained in:
kalmar 2017-05-12 21:21:39 +02:00
parent 2461b42e9c
commit b491d2c572
1 changed files with 19 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
test/runtests.jl
View File

@ -145,30 +145,32 @@ using Base.Test
@testset "Automorphisms" begin
using Nemo
@testset "AutSymbol" begin
@test_throws MethodError AutSymbol("a")
@test_throws MethodError AutSymbol("a", 1)
f = AutSymbol("a", 1, :(a()), v -> v)
@test isa(f, Groups.GSymbol)
@test isa(f, Groups.AutSymbol)
@test isa(symmetric_AutSymbol([1,2,3,4]), AutSymbol)
@test isa(rmul_AutSymbol(1,2), AutSymbol)
@test isa(lmul_AutSymbol(3,4), AutSymbol)
@test isa(flip_AutSymbol(3), AutSymbol)
@test isa(Groups.perm_autsymbol(
PermutationGroup(4)([1,2,3,4])), AutSymbol)
@test isa(Groups.rmul_autsymbol(1,2), AutSymbol)
@test isa(Groups.lmul_autsymbol(3,4), AutSymbol)
@test isa(Groups.flip_autsymbol(3), AutSymbol)
end
@testset "flip_autsymbol correctness" begin
a,b,c,d = generators(FreeGroup(4))
domain = [a,b,c,d]
@test Groups.flip_autsymbol(1)(domain) == [a^-1, b,c,d]
@test Groups.flip_autsymbol(2)(domain) == [a, b^-1,c,d]
@test Groups.flip_autsymbol(3)(domain) == [a, b,c^-1,d]
@test Groups.flip_autsymbol(4)(domain) == [a, b,c,d^-1]
@test inv(Groups.flip_autsymbol(1))(domain) == [a^-1, b,c,d]
@test inv(Groups.flip_autsymbol(2))(domain) == [a, b^-1,c,d]
@test inv(Groups.flip_autsymbol(3))(domain) == [a, b,c^-1,d]
@test inv(Groups.flip_autsymbol(4))(domain) == [a, b,c,d^-1]
end
# @testset "flip_AutSymbol correctness" begin
# a,b,c,d = [FreeGroupElem(Groups.FreeSymbol(i)) for i in ["a", "b", "c", "d"]]
# domain = [a,b,c,d]
# @test flip_AutSymbol(1)(domain) == [a^-1, b,c,d]
# @test flip_AutSymbol(2)(domain) == [a, b^-1,c,d]
# @test flip_AutSymbol(3)(domain) == [a, b,c^-1,d]
# @test flip_AutSymbol(4)(domain) == [a, b,c,d^-1]
# @test inv(flip_AutSymbol(1))(domain) == [a^-1, b,c,d]
# @test inv(flip_AutSymbol(2))(domain) == [a, b^-1,c,d]
# @test inv(flip_AutSymbol(3))(domain) == [a, b,c^-1,d]
# @test inv(flip_AutSymbol(4))(domain) == [a, b,c,d^-1]
# end
#
# @testset "symmetric_AutSymbol correctness" begin
# a,b,c,d = [FreeGroupElem(Groups.FreeSymbol(i)) for i in ["a", "b", "c", "d"]]