Illegal simplification (from gforge #16434)
Imported issue: Initially reported by @chevilla in https://gforge.inria.fr/tracker/?group_id=1015&aid=16434
On the following example, the interval [1;1] is returned.
evaluate(sin(5 * pi)/(sin(5 * pi)),17);
[1;1]
This is probably because the numerator equals the denominator, hence Sollya thinks that the fraction can be simplified. This is however not allowed because they are both zero. Another weird behavior, probably related, is:
evaluate(exp(log(sin(5 * pi)) - log(sin(5 * pi))),17);
[1;1]
evaluate(log(sin(5 * pi)) - log(sin(5 * pi)),17);
Besides, Sollya should return intervals only in the cases when it is not a point-interval. Otherwise, it is supposed to return a constant.