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} =