From 3235b009598f4c41d5a47bb3d0f1db3332b9bc4a Mon Sep 17 00:00:00 2001
From: Marek Kaluba <kalmar@amu.edu.pl>
Date: Tue, 20 Jul 2021 10:16:59 +0200
Subject: [PATCH] =?UTF-8?q?fix=20test=20of=20the=20centrality=20of=20hyper?=
 =?UTF-8?q?elliptic=20=CF=84?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 test/AutSigma_41.jl | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/test/AutSigma_41.jl b/test/AutSigma_41.jl
index bf54b43..13ad464 100644
--- a/test/AutSigma_41.jl
+++ b/test/AutSigma_41.jl
@@ -99,6 +99,11 @@ using Groups.KnuthBendix
         @test a0 * a4 * a0 == a4 * a0 * a4 # here, a0 and a4 are as before
     end
 
+    @testset "3-chain relation" begin
+        x = a4*a3*a2*a1*a1*a2*a3*a4 # auxillary; does not have a name in the Primer
+        @test b0 == x*a0*x^-1
+    end
+
     @testset "Lantern relation" begin
 
         @testset "b2 definition" begin
@@ -268,6 +273,14 @@ using Groups.KnuthBendix
         # here we check its centrality
 
         τᵍ = τ^genus
-        @test_broken all(a * τᵍ == τᵍ * a for a in Groups.gens(G))
+
+        symplectic_gens = let genus = genus, G = G
+            π₁Σ = Groups.SurfaceGroup(genus, 0)
+            autπ₁Σ = AutomorphismGroup(π₁Σ)
+            letters = alphabet(autπ₁Σ).letters
+            G.(word(l.autFn_word) for l in letters)
+        end
+
+        @test all(sg * τᵍ == τᵍ * sg for sg in symplectic_gens)
     end
 end