From 81b580a92b379e67981c693797c75e32fe8785b1 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Thu, 22 Mar 2018 17:28:07 +0100 Subject: [PATCH] =?UTF-8?q?Not=20so=20simple=20arithmetic:=20=CF=B1?= =?UTF-8?q?=E2=82=81=E2=82=82*=CF=B1=E2=82=82=E2=82=81=E2=81=BB=C2=B9*?= =?UTF-8?q?=CE=BB=E2=82=81=E2=82=82*=CE=B5=E2=82=82=20=3D=3D=20=CF=83?= =?UTF-8?q?=E2=82=82=E2=82=81=E2=82=83=E2=82=84?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- test/AutGroup-tests.jl | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/test/AutGroup-tests.jl b/test/AutGroup-tests.jl index 6749893..c8fbcb0 100644 --- a/test/AutGroup-tests.jl +++ b/test/AutGroup-tests.jl @@ -159,6 +159,24 @@ @test a.savedhash == b.savedhash @test length(unique([a,b])) == 1 @test length(unique([g*h, h*g])) == 1 + + # Not so simple arithmetic: applying starting on the left: + # ϱ₁₂*ϱ₂₁⁻¹*λ₁₂*ε₂ == σ₂₁₃₄ + + g = A(Groups.rmul_autsymbol(1,2)) + x1, x2, x3, x4 = Groups.domain(A) + @test g(Groups.domain(A)) == (x1*x2, x2, x3, x4) + g = g*inv(A(Groups.rmul_autsymbol(2,1))) + @test g(Groups.domain(A)) == (x1*x2, x1^-1, x3, x4) + g = g*A(Groups.lmul_autsymbol(1,2)) + @test g(Groups.domain(A)) == (x2, x1^-1, x3, x4) + g = g*A(Groups.flip_autsymbol(2)) + @test g(Groups.domain(A)) == (x2, x1, x3, x4) + + @test g(Groups.domain(A)) == A(Groups.perm_autsymbol([2,1,3,4]))(Groups.domain(A)) + + @test g == A(Groups.perm_autsymbol([2,1,3,4])) + end @testset "specific Aut(F4) tests" begin