From 812b2e15a1bfde612f1500aa288b926ce33f8c6b Mon Sep 17 00:00:00 2001
From: Marek Kaluba <kalmar@amu.edu.pl>
Date: Wed, 26 May 2021 12:03:28 +0200
Subject: [PATCH] fix bug with isone on Automorphism

---
 src/new_autgroups.jl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/new_autgroups.jl b/src/new_autgroups.jl
index e0b2caf..db49d80 100644
--- a/src/new_autgroups.jl
+++ b/src/new_autgroups.jl
@@ -88,6 +88,13 @@ function Base.:(==)(g::A, h::A) where {A<:FPGroupElement{<:AutomorphismGroup}}
     return equal
 end
 
+function Base.isone(g::FPGroupElement{<:AutomorphismGroup})
+    if length(word(g)) > 8
+        normalform!(g)
+    end
+    return evaluate(g) == parent(g).domain
+end
+
 # eye-candy
 
 Base.show(io::IO, ::Type{<:FPGroupElement{<:AutomorphismGroup{T}}}) where {T<:FreeGroup} =