Opened 2 years ago

Last modified 2 months ago

#30450 new defect

Doctest failure with gap3 in reflection group element hashing

Reported by: Travis Scrimshaw Owned by:
Priority: major Milestone: sage-9.8
Component: group theory Keywords: gap3 reflection group
Cc: Christian Stump Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

**********************************************************************
File "src/sage/combinat/root_system/reflection_group_element.pyx", line 71, in sage.combinat.root_system.reflection_group_element.ComplexReflectionGroupElement.__hash__
Failed example:
    WB_hash.intersection(WC_hash)                     # optional - gap3
Expected:
    set()
Got:
    {-9223363265629785093,
     ...

Perhaps we should change the test to

sage: len(WB_hash.intersection(WC_hash)) < WB.cardinality()
True

as there is no guarantee that the parents have sufficiently different hashes to lead to them being disjoint:

sage: WB = ReflectionGroup(['B',5])
sage: WC = ReflectionGroup(['C',5])
sage: hash(WC)                                                                                                                 
-9223363307533887018
sage: hash(WB)                                                                                                                 
-9223363307530756153

Change History (6)

comment:1 Changed 2 years ago by Matthias Köppe

Milestone: sage-9.2sage-9.3

comment:2 Changed 21 months ago by Matthias Köppe

Milestone: sage-9.3sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:3 Changed 17 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:4 Changed 12 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:5 Changed 7 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:6 Changed 2 months ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.