From 7f810ca65ef87a135d3b8d05ab505182884490a1 Mon Sep 17 00:00:00 2001 From: kalmar Date: Tue, 24 Jan 2017 13:06:21 +0100 Subject: [PATCH] make simplify_perms delete all (id)s --- src/automorphism_groups.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/automorphism_groups.jl b/src/automorphism_groups.jl index 51d2a48..6078840 100644 --- a/src/automorphism_groups.jl +++ b/src/automorphism_groups.jl @@ -100,5 +100,6 @@ function simplify_perms!(W::AutWord) end end end + deleteat!(W.symbols, find(x -> x.pow == 0, W.symbols)) return reduced end