#11352: is_polynomial returns wrong results
-----------------------------------+----------------------------------------
   Reporter:  hivert               |          Owner:  burcin                    
                   
       Type:  defect               |         Status:  positive_review           
                   
   Priority:  major                |      Milestone:  sage-5.0                  
                   
  Component:  symbolics            |       Keywords:  is_polynomial             
                   
Work_issues:                       |       Upstream:  Fixed upstream, in a 
later stable release.   
   Reviewer:  Karl-Dieter Crisman  |         Author:  Richard Kreckel, Jens 
Vollinga, Burcin Erocal
     Merged:                       |   Dependencies:  #11415                    
                   
-----------------------------------+----------------------------------------
Description changed by kcrisman:

Old description:

> {{{
> sage: el = -1/2*(2*x^2 - sqrt(2*x - 1)*sqrt(2*x + 1) - 1)
> sage: el.is_polynomial(x)
> True
> }}}
> I definitely prefer to get {{{False}}}.
>
> Apply trac_11352-is_polynomial.patch.

New description:

 {{{
 sage: el = -1/2*(2*x^2 - sqrt(2*x - 1)*sqrt(2*x + 1) - 1)
 sage: el.is_polynomial(x)
 True
 }}}
 I definitely prefer to get {{{False}}}.

 Apply [[attachment:trac_11352-is_polynomial.patch]].

--

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