1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-26 02:20:30 +01:00

small update to hashing Automorphisms

This commit is contained in:
kalmarek 2019-11-14 09:20:23 +01:00
parent 752787b3ad
commit 32e968a79b
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -239,10 +239,14 @@ const HASHINGCONST = 0x7d28276b01874b19 # hash(Automorphism)
hash(s::AutSymbol, h::UInt) = hash(s.id, hash(s.pow, hash(:AutSymbol, h))) hash(s::AutSymbol, h::UInt) = hash(s.id, hash(s.pow, hash(:AutSymbol, h)))
function hash(g::Automorphism{N}, images, h::UInt=HASHINGCONST) where N
return hash(images, hash(parent(g), hash(Automorphism{N}, h)))
end
function hash(g::Automorphism, h::UInt) function hash(g::Automorphism, h::UInt)
if g.modified if g.modified
g_im = reduce!.(g(domain(parent(g)))) g_im = reduce!.(g(domain(parent(g))))
g.savedhash = hash(g_im, hash(typeof(g), hash(parent(g), HASHINGCONST))) g.savedhash = hash(g, g_im)
g.modified = false g.modified = false
end end
return xor(g.savedhash, h) return xor(g.savedhash, h)
@ -261,9 +265,9 @@ function (==)(g::Automorphism{N}, h::Automorphism{N}) where N
g_im = reduce!.(g(domain(parent(g)))) g_im = reduce!.(g(domain(parent(g))))
h_im = reduce!.(h(domain(parent(h)))) h_im = reduce!.(h(domain(parent(h))))
# cheap: # cheap:
g.savedhash = hash(g_im, hash(typeof(g), hash(parent(g), HASHINGCONST))) g.savedhash = hash(g, g_im)
g.modified = false g.modified = false
h.savedhash = hash(h_im, hash(typeof(h), hash(parent(h), HASHINGCONST))) h.savedhash = hash(h, h_im)
h.modified = false h.modified = false
return g_im == h_im return g_im == h_im