1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 18:15:29 +01:00

add_rel! and quotientgroup are implemented in FPGroups.jl

This commit is contained in:
kalmar 2017-07-06 09:10:32 +02:00
parent f395af242b
commit ffa9cc4cd2

View File

@ -116,28 +116,3 @@ end
############################################################################### ###############################################################################
inv(s::FreeSymbol) = change_pow(s, -s.pow) 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