diff --git a/src/AutGroup.jl b/src/AutGroup.jl index 4723084..af8e5b0 100644 --- a/src/AutGroup.jl +++ b/src/AutGroup.jl @@ -356,7 +356,7 @@ function reduce!(W::Automorphism) else reduced = false while !reduced - reduced = simplifyperms!(W) && free_reduce!(W) + reduced = simplifyperms!(W) && freereduce!(W) end end diff --git a/src/FPGroups.jl b/src/FPGroups.jl index 4b930e2..a8762df 100644 --- a/src/FPGroups.jl +++ b/src/FPGroups.jl @@ -150,7 +150,7 @@ function reduce!(W::FPGroupElem) else reduced = false while !reduced - reduced = free_reduce!(W) || replace_all!(W, parent(W).rels) + reduced = freereduce!(W) || replace_all!(W, parent(W).rels) end end diff --git a/src/Groups.jl b/src/Groups.jl index 1cae351..119a843 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -115,7 +115,7 @@ function deleteids!(W::GWord) deleteat!(W.symbols, to_delete) end -function free_reduce!(W::GWord) +function freereduce!(W::GWord) reduced = true for i in 1:length(W.symbols) - 1 if W.symbols[i].pow == 0 @@ -139,7 +139,7 @@ function reduce!(W::GWord) else reduced = false while !reduced - reduced = free_reduce!(W) + reduced = freereduce!(W) end end