Trac #34912: Reduced words of ReflectionGroup elements are not well-defined
We cannot use it for hashing as I found the following:
{{{
sage: G4 = ReflectionGroup(4)
sage: elt = G4[22]
sage: elt
(1,12)(2,24)(3,19)(4,22)(5,17)(6,20)(7,23)(8,9)(10,21)(11,13)(14,18)(15,
16)
sage: y = (elt * G4.gen(1)) * G4.gen(1) * G4.gen(1)
sage: elt == y
True
sage: hash(elt) == hash(y)
False
sage: elt._reduced_word
[0, 0, 1, 0, 0, 1]
sage: y._reduced_word
[1, 0, 0, 1, 0, 0]
}}}
Either we figure out how to make this consistent or we need to change
the hashing.
URL: https://trac.sagemath.org/34912
Reported by: tscrim
Ticket author(s): Travis Scrimshaw, Christian Stump
Reviewer(s): Christian Stump, Travis Scrimshaw
sage
81ae8872 - Trac #34912: Reduced words of ReflectionGroup elements are not well-defined