From 8688d422503051c90fe93f9e6979642f77963c17 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 24 Mar 2020 23:56:30 +0100 Subject: [PATCH] reduce defaults to freereduce now --- src/Groups.jl | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Groups.jl b/src/Groups.jl index c0af92a..363c0d4 100644 --- a/src/Groups.jl +++ b/src/Groups.jl @@ -165,16 +165,16 @@ function freereduce!(w::GWord) return w end +reduce!(w::GWord) = freereduce!(w) + @doc doc""" - reduce(W::GWord) + reduce(w::GWord) > performs reduction/simplification of a group element (word in generators). -> The default reduction is the free group reduction, i.e. consists of -> multiplying adjacent symbols with the same `id` identifier and deleting the -> identity elements from `W.symbols`. +> The default reduction is the free group reduction > More specific procedures should be dispatched on `GWord`s type parameter. """ -reduce(W::GWord) = reduce!(deepcopy(W)) +reduce(w::GWord) = reduce!(deepcopy(w)) @doc doc""" gens(G::AbstractFPGroups)