On Wednesday, April 22, 2015 at 11:02:52 AM UTC-7, vdelecroix wrote:
> Definitely! A side effect of the current behavior
>
> sage: p = ZZ['x'](range(5))
> sage: f = sum(i*x**i for i in range(5))
> sage: str(p) == str(f)
> True
> sage: p == f
> (((4*x + 3)*x + 2)*x + 1)*x == 4*x^4 + 3*x^3 + 2
On 22/04/15 19:48, Marc Mezzarobba wrote:
Currently, evaluating a polynomial ring element on a symbolic expression
returns a result in Horner form:
sage: pol = QQ['x'](range(10))
sage: pol(x)
9*x + 8)*x + 7)*x + 6)*x + 5)*x + 4)*x + 3)*x + 2)*x + 1)*x
This behavior is of course a side e