diff --git a/src/normalform.jl b/src/normalform.jl index a8213f6..f1d67ff 100644 --- a/src/normalform.jl +++ b/src/normalform.jl @@ -42,8 +42,5 @@ Defaults to the rewriting in the free group. """ @inline function normalform!(res::AbstractWord, g::FPGroupElement) isone(res) && isnormalform(g) && return append!(res, word(g)) - if isnormalform(g) && inv(alphabet(g), last(out)) != first(word(g)) - return append!(res, word(g)) - end return KnuthBendix.rewrite_from_left!(res, word(g), rewriting(parent(g))) end