From 5f90c0c7b1b9f6d7e40d4ffb19fb3d00b40fe5ff Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Thu, 11 May 2017 18:24:05 +0200
Subject: [PATCH] add_rel! and quotientgroup for the future

---
 src/FPGroups.jl | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/src/FPGroups.jl b/src/FPGroups.jl
index 9e0a080..a6c9b93 100644
--- a/src/FPGroups.jl
+++ b/src/FPGroups.jl
@@ -105,3 +105,21 @@ function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
 end
 
 end #of module FinitelyPresentedGroups
+# function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
+#    if !(w in G.rels)
+#       w = G(w)
+#       push!(G.rels, w)
+#    end
+#    return G
+# end
+#
+# function quotientgroup(G::FPGroup, rels::Vector{FPGroupElem})
+#    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