univariate polynomial quo_rem 0 trouble

[burcin]

Attached patch fixes this:

sage: R.<x> = ZZ[]
sage: 0//(2*x)
---------------------------------------------------------------------------
ArithmeticError                           Traceback (most recent call last)

...
/home/burcin/work/sage/sage-3.0.2/polynomial_integer_dense_ntl.pyx in sage.rings.polynomial.polynomial_integer_dense_ntl.Polynomial_integer_dense_ntl.quo_rem (sage/rings/polynomial/polynomial_integer_dense_ntl.cpp:4638)()

ArithmeticError: division not exact in Z[x] (consider coercing to Q[x] first) 

Component: basic arithmetic

Keywords: editor_craigcitro

Issue created by migration from https://trac.sagemath.org/ticket/3428

[burcin]

univariate poly quo_rem zero handling fix

[craigcitro]

Changed keywords from none to editor_craigcitro

[craigcitro]

comment:1

Attachment: univariate_poly_quo_rem_zero.patch.gz

[burcin]

comment:2

This won't be necessary when #2357 is merged. I suggest we resolve this with wontfix.

[craigcitro]

comment:3

However, we're not going to kill the NTL interface, so this should still be fixed.

[craigcitro]

comment:4

Looks good. I added one additional doctest to make sure that the exact failure reported is now doctested.

Review by craigcitro and ncalexan.

[craigcitro]

apply after Burcin's patch

[sagetrac-mabshoff]

comment:5

Attachment: trac-3428-doctest.patch.gz

Merged in Sage 3.0.4.alpha0