From 48a80760fd8a935d9e5aab98e1e952a05955144b Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 11 May 2017 18:21:40 +0200 Subject: [PATCH] add_gen! was never used --- src/FPGroups.jl | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/FPGroups.jl b/src/FPGroups.jl index e8fbb9f..e7f0422 100644 --- a/src/FPGroups.jl +++ b/src/FPGroups.jl @@ -70,11 +70,6 @@ function show(io::IO, G::FPGroup) print(io, "rels:\t", join([rel for rel in G.rels], ","),"\n") end -function add_gen!{T<:GSymbol}(G::FPGroup, g::T) - if !(g in G.gens) - push!(G.gens, g) - end - return G end function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})