#11352: is_polynomial returns wrong results
-------------------------+--------------------------------------------------
   Reporter:  hivert     |          Owner:  hivert                              
     
       Type:  defect     |         Status:  new                                 
     
   Priority:  major      |      Milestone:  sage-4.7.1                          
     
  Component:  symbolics  |       Keywords:  is_polynomial                       
     
Work_issues:             |       Upstream:  Reported upstream. Little or no 
feedback.
   Reviewer:             |         Author:                                      
     
     Merged:             |   Dependencies:                                      
     
-------------------------+--------------------------------------------------
Changes (by hivert):

  * upstream:  N/A => Reported upstream. Little or no feedback.


Comment:

 I just installed a fresh GiNaC on my computer and I've been able to
 reproduce the bug:
 {{{
 #include <iostream>
 #include <ginac/ginac.h>

 using namespace std;
 using namespace GiNaC;

 int main()
 {
   symbol x("x");
   ex poly;

   poly = sqrt(x*x+1)*sqrt(x+1);

   cout << poly << endl;
   cout << poly.is_polynomial(x) << endl;
   return 0;
 }
 }}}
 gives
 {{{
 sqrt(1+x^2)*sqrt(1+x)
 1
 }}}

 So I subscribed to ginac mailing list and reported the bug here. I'm
 waiting for an answer.

 Florent

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