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.