kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 18:15:29 +01:00
Code Issues Releases Wiki Activity

fix test of the centrality of hyperelliptic τ

Browse Source
This commit is contained in:
Marek Kaluba 2021-07-20 10:16:59 +02:00
parent ef4470833a
commit 3235b00959
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
test/AutSigma_41.jl
View File

@ -99,6 +99,11 @@ using Groups.KnuthBendix
@test a0 * a4 * a0 == a4 * a0 * a4 # here, a0 and a4 are as before @test a0 * a4 * a0 == a4 * a0 * a4 # here, a0 and a4 are as before
end 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 "Lantern relation" begin
@testset "b2 definition" begin @testset "b2 definition" begin
@ -268,6 +273,14 @@ using Groups.KnuthBendix
# here we check its centrality # here we check its centrality
τᵍ = τ^genus τᵍ = τ^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
end end