From 51f3ad6cdb31f7d28ca18ae5cf0281a8f17f35ba Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 20 Apr 2020 02:44:28 +0200 Subject: [PATCH] test for abelianize of Identity --- test/AutGroup-tests.jl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/AutGroup-tests.jl b/test/AutGroup-tests.jl index 54cc0f0..50621e2 100644 --- a/test/AutGroup-tests.jl +++ b/test/AutGroup-tests.jl @@ -266,6 +266,8 @@ @test Groups.abelianize(σ^3) == Matrix{Int}(I, N, N) @test Groups.abelianize(σ)^3 == Matrix{Int}(I, N, N) + @test Groups.abelianize(G(Groups.id_autsymbol())) == Matrix{Int}(I, N, N) + function test_homomorphism(S, r) for elts in Iterators.product([[g for g in S] for _ in 1:r]...) prod(Groups.abelianize.(elts)) == Groups.abelianize(prod(elts)) || error("linear representaton test failed at $elts")