mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-26 10:25:30 +01:00
add_gen! was never used
This commit is contained in:
parent
1e8c9468de
commit
48a80760fd
@ -70,11 +70,6 @@ function show(io::IO, G::FPGroup)
|
|||||||
print(io, "rels:\t", join([rel for rel in G.rels], ","),"\n")
|
print(io, "rels:\t", join([rel for rel in G.rels], ","),"\n")
|
||||||
end
|
end
|
||||||
|
|
||||||
function add_gen!{T<:GSymbol}(G::FPGroup, g::T)
|
|
||||||
if !(g in G.gens)
|
|
||||||
push!(G.gens, g)
|
|
||||||
end
|
|
||||||
return G
|
|
||||||
end
|
end
|
||||||
|
|
||||||
function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
|
function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
|
||||||
|
Loading…
Reference in New Issue
Block a user