#13824: ZeroDivisionError in finite field __contains__
------------------------------------+---------------------------------------
       Reporter:  vbraun            |         Owner:  AlexGhitza                
   
           Type:  defect            |        Status:  positive_review           
   
       Priority:  major             |     Milestone:  sage-5.7                  
   
      Component:  basic arithmetic  |    Resolution:                            
   
       Keywords:  beginner          |   Work issues:                            
   
Report Upstream:  N/A               |     Reviewers:  Volker Braun, Sébastien 
Labbé
        Authors:  Travis Scrimshaw  |     Merged in:                            
   
   Dependencies:                    |      Stopgaps:                            
   
------------------------------------+---------------------------------------
Changes (by slabbe):

  * status:  needs_review => positive_review
  * reviewer:  => Volker Braun, Sébastien Labbé


Comment:

 I started the review of this ticket. All test passed (tested on
 sage-5.6.rc0). Documentation builds fine without warning. As I understand
 it, the following command returns an error and it is fine:

 {{{
 sage: Integers(6) (15/36)
 ...
 ZeroDivisionError: Inverse does not exist.
 }}}

 But we still want the following to return False even if the coercion
 raises the above error:

 {{{
 sage: 15/36 in Integers(6)   # with the patch applied
 False
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13824#comment:6>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to