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

create mcg_twists from Aut(F_n) directly

Browse Source
This commit is contained in:
Marek Kaluba 2021-07-07 10:32:13 +02:00
parent 15a737bfa5
commit 79a4450ef9
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/groups/symplectic_twists.jl
View File

@ -76,10 +76,13 @@ function Te(λ::ΡΛ, ϱ::ΡΛ, i, j)
end
end
function mcg_twists(genus::Integer)
function mcg_twists(G::AutomorphismGroup{<:FreeGroup})
@assert iseven(ngens(object(G)))
genus = ngens(object(G)) ÷ 2
genus < 3 && throw("Not Implemented: genus = $genus < 3")
G = SpecialAutomorphismGroup(FreeGroup(2genus), maxrules = 1000)
A = KnuthBendix.alphabet(G)
λ = ΡΛ(:λ, A, 2genus)