kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-26 18:30:29 +01:00
Code Issues Releases Wiki Activity

add_rel! and quotientgroup for the future

Browse Source
This commit is contained in:
kalmar 2017-05-11 18:24:05 +02:00
parent 1c638e296c
commit 5f90c0c7b1
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/FPGroups.jl
View File

@ -105,3 +105,21 @@ function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
end end
end #of module FinitelyPresentedGroups 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