Revision history [back]
 | 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_5x^5 + a_4x^4 + a_3x^3 + a_21x^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_5x^5max_symbolic(0, a_5*x^5+a_4x^4a_4*x^4 +a_3x^3a_3*x^3 +a_21x^2a_21*x^2 + a_1*x +a_0)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,
