#18467: PolynomialRealDense.quo_rem() returns zero polynomials with wrong degree
-----------------------------+---------------------------------------------
   Reporter:  pbruin         |            Owner:
       Type:  defect         |           Status:  new
   Priority:  major          |        Milestone:  sage-6.8
  Component:  basic          |         Keywords:  polynomial degree quo_rem
  arithmetic                 |          Authors:
  Merged in:                 |  Report Upstream:  N/A
  Reviewers:                 |           Branch:
Work issues:                 |     Dependencies:
     Commit:                 |
   Stopgaps:                 |
-----------------------------+---------------------------------------------
 In Sage 6.7, the following is correct:
 {{{
 sage: R.<x> = QQ[]
 sage: z = R.zero()
 sage: z.degree()
 -1
 sage: q, r = z.quo_rem(x)
 sage: q.degree()
 -1
 }}}
 The following (`QQ` -> `RR`) is not:
 {{{
 sage: S.<x> = RR[]
 sage: z = S.zero()
 sage: z.degree()
 -1
 sage: q, r = z.quo_rem(x)
 sage: q.degree()
 -2
 }}}
 The last result should be `-1`; the given answer implies for example
 {{{
 sage: q == z
 False
 }}}
 which is nonsense since `q` and `z` are both the zero polynomial.

--
Ticket URL: <http://trac.sagemath.org/ticket/18467>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to