From 1c971cb3b1fdc2690765da195b85574fcb611fae Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Mon, 24 May 2021 01:07:59 +0200 Subject: [PATCH] slightly more efficient equality_data --- src/new_autgroups.jl | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/new_autgroups.jl b/src/new_autgroups.jl index c43adc3..905080e 100644 --- a/src/new_autgroups.jl +++ b/src/new_autgroups.jl @@ -32,7 +32,17 @@ function relations(G::AutomorphismGroup) return last(gersten_relations(n, commutative = false)) end -equality_data(f::FPGroupElement{<:AutomorphismGroup}) = normalform!.(evaluate(f)) +function equality_data(f::FPGroupElement{<:AutomorphismGroup}) + imf = evaluate(f) + # return normalform!.(imf) + + tmp = one(first(imf)) + for g in imf + normalform!(tmp, g) + copyto!(g, tmp) + end + return imf +end function Base.:(==)(g::A, h::A) where {A<:FPGroupElement{<:AutomorphismGroup}} @assert parent(g) === parent(h)