kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 06:30:29 +01:00
Code Issues Releases Wiki Activity

change hashing constant for reproducible hash of Automorphisms

Browse Source
This commit is contained in:
kalmarek 2018-07-30 15:00:02 +02:00
parent 192230c8d3
commit 0a20c5bb73
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/AutGroup.jl
View File

@ -223,14 +223,14 @@ end
#
###############################################################################
const HASHINGCONST = 0x314a5215305f3ec1 # more or less random
const HASHINGCONST = 0x7d28276b01874b19 # hash(Automorphism)
hash(s::AutSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(:AutSymbol, h)))
function hash(g::Automorphism, h::UInt)
if g.modified
g.savedhash = hash(reduce!.(g(domain(parent(g)))),
hash(typeof(g), hash(parent(g), HASHINGCONST)))
g_im = reduce!.(g(domain(parent(g))))
g.savedhash = hash(g_im, hash(typeof(g), hash(parent(g), HASHINGCONST)))
g.modified = false
end
return xor(g.savedhash, h)
@ -249,11 +249,9 @@ function (==)(g::Automorphism{N}, h::Automorphism{N}) where N
g_im = reduce!.(g(domain(parent(g))))
h_im = reduce!.(h(domain(parent(h))))
# cheap:
g.savedhash = hash(g_im,
hash(typeof(g), hash(parent(g), HASHINGCONST)))
g.savedhash = hash(g_im, hash(typeof(g), hash(parent(g), HASHINGCONST)))
g.modified = false
h.savedhash = hash(h_im,
hash(typeof(h), hash(parent(h), HASHINGCONST)))
h.savedhash = hash(h_im, hash(typeof(h), hash(parent(h), HASHINGCONST)))
h.modified = false
return g_im == h_im