kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-23 08:35:27 +01:00
Code Issues Releases Wiki Activity

add missing normalform! before hashing

Browse Source
This commit is contained in:
Marek Kaluba 2023-05-25 11:57:32 +02:00
parent 7230106bfc
commit 93a841359b
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/hashing.jl
View File

@ -37,6 +37,7 @@ function _update_savedhash!(g::AbstractFPGroupElement, data)
end end
function Base.hash(g::AbstractFPGroupElement, h::UInt) function Base.hash(g::AbstractFPGroupElement, h::UInt)
g = normalform!(g)
_isvalidhash(g) || _update_savedhash!(g, equality_data(g)) _isvalidhash(g) || _update_savedhash!(g, equality_data(g))
return hash(g.savedhash >> count_ones(__BITFLAGS_MASK), h) return hash(g.savedhash >> count_ones(__BITFLAGS_MASK), h)
end end

3
src/wl_ball.jl
View File

@ -26,8 +26,7 @@ function wlmetric_ball(
new = collect( new = collect(
op(o, s) for o in @view(ball[sizes[end-1]:end]) for s in S op(o, s) for o in @view(ball[sizes[end-1]:end]) for s in S
) )
append!(ball, new) ball = union!(ball, new)
unique!(ball)
push!(sizes, length(ball)) push!(sizes, length(ball))
end end
end end