#11652: MPolynomial_libsingular reports the wrong degree
--------------------------------------------------------------+-------------
       Reporter:  saraedum                                    |         Owner:  
malb                                     
           Type:  defect                                      |        Status:  
positive_review                          
       Priority:  minor                                       |     Milestone:  
sage-5.5                                 
      Component:  commutative algebra                         |    Resolution:  
                                         
       Keywords:  singular, polynomial, degree, sd35, sd35.5  |   Work issues:  
                                         
Report Upstream:  Reported upstream. No feedback yet.         |     Reviewers:  
William Stein, Paul Zimmermann, David Roe
        Authors:  Julian Rueth, William Stein                 |     Merged in:  
                                         
   Dependencies:                                              |      Stopgaps:  
                                         
--------------------------------------------------------------+-------------
Changes (by roed):

  * status:  needs_review => positive_review


Old description:

> On sage-4.7: In the following example, the degree with respect to ''p''
> should be 1 and the degree with respect to ''q'' should be 2.
>
> {{{
> sage: R.<p,q,t> = ZZ[]
> sage: poly = p+q^2+t^3
> sage: poly = poly.polynomial(t)[0]
> sage: poly
> q^2 + p
> sage: poly.degree(p)
> 1
> sage: poly.degree(q)
> 1
> }}}
>
> The issue can be easily worked around:
>
> {{{
> sage: poly.degree(poly.parent(q))
> 1
> }}}
>
> (originally reported on sage-support, see http://groups.google.com/group
> /sage-
> support/browse_thread/thread/608bc46e92da2f49/feb54d2384cef583?lnk=gst&q=polynomial#feb54d2384cef583)
>
> ----
>
> Apply
>
> 1. [attachment:trac_11652-rewrite.patch]
> 1. [attachment:trac_11652_review.patch]
>
> to the sage repository.

New description:

 On sage-4.7: In the following example, the degree with respect to ''p''
 should be 1 and the degree with respect to ''q'' should be 2.

 {{{
 sage: R.<p,q,t> = ZZ[]
 sage: poly = p+q^2+t^3
 sage: poly = poly.polynomial(t)[0]
 sage: poly
 q^2 + p
 sage: poly.degree(p)
 1
 sage: poly.degree(q)
 1
 }}}

 The issue can be easily worked around:

 {{{
 sage: poly.degree(poly.parent(q))
 2
 }}}

 (originally reported on sage-support, see http://groups.google.com/group
 /sage-
 
support/browse_thread/thread/608bc46e92da2f49/feb54d2384cef583?lnk=gst&q=polynomial#feb54d2384cef583)

 ----

 Apply

 1. [attachment:trac_11652-rewrite.patch]
 1. [attachment:trac_11652_review.patch]

 to the sage repository.

--

Comment:

 I've removed the work issues, changed the ticket description and marked it
 as positive review again.  However, Paul originally objected to the
 documentation, so if he wants to request additional changes he should feel
 free to return the ticket to needs work.  I just marked it as positive
 review since I thought that his concerns had been addressed and there
 hadn't been any comments for a few months.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11652#comment:15>
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