From b955eed67b682556b75829d50178bb576eaf15fc Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 12 May 2017 20:32:33 +0200 Subject: [PATCH] But so far we only implemented Aut(FreeGroup) --- src/AutGroup.jl | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/AutGroup.jl b/src/AutGroup.jl index 5abae1b..1de31ec 100644 --- a/src/AutGroup.jl +++ b/src/AutGroup.jl @@ -19,7 +19,7 @@ typealias AutGroupElem GWord{AutSymbol} type AutGroup <: FPGroup objectGroup::Group - generators::Vector{AutSymbol} + gens::Vector{AutSymbol} end export AutSymbol, AutGroupElem, AutGroup @@ -107,9 +107,8 @@ end # ############################################################################### -function AutGroup(G::FPGroup; outer=false, special=false) - length(G.rels) == 0 || throw("Don't know how to construct AutGroup of $G.") - n = length(G.generators) +function AutGroup(G::FreeGroup; outer=false, special=false) + n = length(G.gens) indexing = [[i,j] for i in 1:n for j in 1:n if i≠j] rmuls = [rmul_autsymbol(i,j) for (i,j) in indexing] lmuls = [lmul_autsymbol(i,j) for (i,j) in indexing]