#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.