diff --git a/src/FPGroups.jl b/src/FPGroups.jl index 6995b5d..9e0a080 100644 --- a/src/FPGroups.jl +++ b/src/FPGroups.jl @@ -94,6 +94,9 @@ end (<=)(s::FPSymbol, t::FPSymbol) = s == t || s < t + +inv(s::FPSymbol) = change_pow(s, -s.pow) + function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T}) if !(w in G.rels) push!(G.rels, w)