#11126: Symbolic Ring is_integral_domain() throws exception
------------------------------------+---------------------------------------
       Reporter:  duenez            |         Owner:  burcin                    
    
           Type:  defect            |        Status:  needs_review              
    
       Priority:  major             |     Milestone:  
sage-duplicate/invalid/wontfix
      Component:  symbolics         |    Resolution:                            
    
       Keywords:  symbolics matrix  |   Work issues:                            
    
Report Upstream:  N/A               |     Reviewers:                            
    
        Authors:  duenez            |     Merged in:                            
    
   Dependencies:                    |      Stopgaps:                            
    
------------------------------------+---------------------------------------

Comment (by nbruin):

 An error is actually the more appropriate thing to return, since the
 symbolic ring is neither a field nor an integral domain and code that is
 interested in knowing these things is likely making invalid use of the
 symbolic ring:
 {{{
 kronecker_delta(x,0)*(1-kronecker_delta(x,0))
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11126#comment:2>
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].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to