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

remove unused

Browse Source
This commit is contained in:
kalmar 2017-05-11 18:27:05 +02:00
parent 0c699894fa
commit 9570b8c84a
1 changed files with 1 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/FPGroups.jl
View File

@ -88,20 +88,13 @@ function (==)(s::FPSymbol, t::FPSymbol)
end end
inv(s::FPSymbol) = change_pow(s, -s.pow)
FreeGroup(n::Int, f::String=f) = FPGroup(["$f$i" for i in 1:n]) 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) 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}) # function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
# if !(w in G.rels) # if !(w in G.rels)
# w = G(w) # w = G(w)