#17427: x==y while hash(x)!=hash(y) with SchemeMorphism_point_projective_field
---------------------------------+------------------------
       Reporter:  ncohen         |        Owner:
           Type:  defect         |       Status:  new
       Priority:  major          |    Milestone:  sage-6.5
      Component:  PLEASE CHANGE  |   Resolution:
       Keywords:                 |    Merged in:
        Authors:                 |    Reviewers:
Report Upstream:  N/A            |  Work issues:
         Branch:                 |       Commit:
   Dependencies:                 |     Stopgaps:
---------------------------------+------------------------

Comment (by nbruin):

 Replying to [comment:7 bhutz]:
 > I'd have to experiment a little with that set-up to see if it causes any
 additional issues. For example the points defined over the ring and the
 fraction field with the same coordinates would then hash to the same
 value. At the moment those points would be != since there is not yet a
 coercion model for projective points and morphisms.

 Equality of hash values is never a correctness problem, only a source of
 performance problems. The constant function would be a legitimate hash
 function.

--
Ticket URL: <http://trac.sagemath.org/ticket/17427#comment:8>
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/d/optout.

Reply via email to