1 | initial version |

In short : not a chance...

A few counter-examples :

`max_symbolic(0, sin(1/x))`

(infinity of roots)`max_symbolic(0, a_5

*x^5 + a_4*x^4 + a_3*x^3 + a_21*x^2 + a_1*x + a_0) (no way to compute roots (if any real...)).

More generally, it has been proved that the problem of the nullity of an arbitrary expression has no solution(i. e. it has been proved that some expressions may be null but not provably so) ; in consequence, there is no guarantee that your expression can be processed to get the roots necessary to write the desired `piecewise`

expression.

HTH,

2 | No.2 Revision |

In short : not a chance...

A few counter-examples :

`max_symbolic(0, sin(1/x))`

(infinity of roots)~~`max_symbolic(0, a_5~~*x^5*`max_symbolic(0, a_5*x^5`

`+`

~~a_4~~`x^4 a_4*x^4 +`

(no way to compute roots (if any real...)).~~a_3~~*x^3**a_3*x^3 +*x^2 a_21*x^2 + a_1*x +~~a_21~~~~a_0)~~a_0)

More generally, it has been proved that the problem of the nullity of an arbitrary expression has no solution(i. e. it has been proved that some expressions may be null but not provably so) ; in consequence, there is no guarantee that your expression can be processed to get the roots necessary to write the desired `piecewise`

expression.

HTH,

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.