kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 18:15:29 +01:00
Code Issues Releases Wiki Activity

fix bug with isone on Automorphism

Browse Source
This commit is contained in:
Marek Kaluba 2021-05-26 12:03:28 +02:00
parent 2e560738f6
commit 812b2e15a1
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/new_autgroups.jl
View File

@ -88,6 +88,13 @@ function Base.:(==)(g::A, h::A) where {A<:FPGroupElement{<:AutomorphismGroup}}
return equal return equal
end end
function Base.isone(g::FPGroupElement{<:AutomorphismGroup})
if length(word(g)) > 8
normalform!(g)
end
return evaluate(g) == parent(g).domain
end
# eye-candy # eye-candy
Base.show(io::IO, ::Type{<:FPGroupElement{<:AutomorphismGroup{T}}}) where {T<:FreeGroup} = Base.show(io::IO, ::Type{<:FPGroupElement{<:AutomorphismGroup{T}}}) where {T<:FreeGroup} =