From 9570b8c84a0ba5dededbde11848e27831523dc61 Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 11 May 2017 18:27:05 +0200 Subject: [PATCH] remove unused --- src/FPGroups.jl | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/src/FPGroups.jl b/src/FPGroups.jl index 641789b..d63e219 100644 --- a/src/FPGroups.jl +++ b/src/FPGroups.jl @@ -88,20 +88,13 @@ function (==)(s::FPSymbol, t::FPSymbol) end +inv(s::FPSymbol) = change_pow(s, -s.pow) FreeGroup(n::Int, f::String=f) = FPGroup(["$f$i" for i in 1:n]) -inv(s::FPSymbol) = change_pow(s, -s.pow) FreeGroup(a::Vector{String}) = FPGroup(a) -function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T}) - if !(w in G.rels) - push!(G.rels, w) - end - return G -end -end #of module FinitelyPresentedGroups # function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T}) # if !(w in G.rels) # w = G(w)