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

slightly more efficient equality_data

Browse Source
This commit is contained in:
Marek Kaluba 2021-05-24 01:07:59 +02:00
parent 6fba013f0b
commit 1c971cb3b1
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/new_autgroups.jl
View File

@ -32,7 +32,17 @@ function relations(G::AutomorphismGroup)
return last(gersten_relations(n, commutative = false)) return last(gersten_relations(n, commutative = false))
end 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}} function Base.:(==)(g::A, h::A) where {A<:FPGroupElement{<:AutomorphismGroup}}
@assert parent(g) === parent(h) @assert parent(g) === parent(h)