On 2012-11-09 11:23, Charles Bouillaguet wrote:
> Should we refuse to perform the (not-well defined) division in this case?
Yes.  Division by zero divisors should *always* be an error.  Division
by a non-invertible non-zero-divisor is harder to call.  In this case,
the result should be one of the following two:
1) allow divisions by all non-zero-divisors, with the resulting element
in a larger ring (as in ZZ).
2) never allow division by a non-unit.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.


Reply via email to