From ffa9cc4cd2e8bee7945bd873b3439d5dc4490ff1 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Thu, 6 Jul 2017 09:10:32 +0200
Subject: [PATCH] add_rel! and quotientgroup are implemented in FPGroups.jl

---
 src/FreeGroup.jl | 25 -------------------------
 1 file changed, 25 deletions(-)

diff --git a/src/FreeGroup.jl b/src/FreeGroup.jl
index 56f9e83..1a73145 100644
--- a/src/FreeGroup.jl
+++ b/src/FreeGroup.jl
@@ -116,28 +116,3 @@ end
 ###############################################################################
 
 inv(s::FreeSymbol) = change_pow(s, -s.pow)
-
-###############################################################################
-#
-#   Misc
-#
-###############################################################################
-
-# function add_rel!{T<:FreeSymbol}(G::FreeGroup, w::GWord{T})
-#    if !(w in G.rels)
-#       w = G(w)
-#       push!(G.rels, w)
-#    end
-#    return G
-# end
-#
-# function quotientgroup(G::FreeGroup, rels::Vector{FreeGroupElem})
-#    for r in rels
-#       parent(r) == G || throw("Can not form quotient group: $r is not an element of $G")
-#    end
-#    H = deepcopy(G)
-#    for rel in rels
-#       add_rel!(H, rel)
-#    end
-#    return H
-# end