#15341: Hashing of GammaH congruence groups is broken
---------------------------------+-------------------------
       Reporter:  mderickx       |        Owner:
           Type:  defect         |       Status:  new
       Priority:  major          |    Milestone:  sage-5.13
      Component:  modular forms  |   Resolution:
       Keywords:                 |    Merged in:
        Authors:                 |    Reviewers:
Report Upstream:  N/A            |  Work issues:
         Branch:                 |       Commit:
   Dependencies:                 |     Stopgaps:
---------------------------------+-------------------------
Description changed by mderickx:

Old description:

> To quote the python reference manual:
> http://docs.python.org/2/reference/datamodel.html#object.__hash__
>
> The only required property is that objects which compare equal have the
> same hash value;
>
> However:
> {{{
> G1=GammaH(21,[4])
> G2=GammaH(21,[4,16])
> print G1==G2
> print hash(GammaH(21,[4,16]))
> print hash(GammaH(21,[4]))
> }}}
>
> prints:
>
> {{{
> True
> 8309769839484863814
> 1170799062851396877
> }}}

New description:

 To quote the python reference manual:
 http://docs.python.org/2/reference/datamodel.html#object.__hash__

 The only required property is that objects which compare equal have the
 same hash value;

 However:
 {{{
 G1=GammaH(21,[4])
 G2=GammaH(21,[4,16])
 print G1==G2
 print hash(G1)
 print hash(G2)
 }}}

 prints:

 {{{
 True
 1170799062851396877
 8309769839484863814
 }}}

--

--
Ticket URL: <http://trac.sagemath.org/ticket/15341#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to