Running this:
roots(-1+a/(2+b),a)
gives this ugly thing:
b/((b/(2+b)+2/(2+b))*(b/((2+b)*(b/(2+b)+2/(2+b)))+2/((2+b)*(b/(2+b)+2/(2+b)))))+2/((b/(2+b)+2/(2+b))*(b/((2+b)*(b/(2+b)+2/(2+b)))+2/((2+b)*(b/(2+b)+2/(2+b)))))
instead of just giving 2+b. Even after running this through simplify it doesn't get to the proper answer.
However if you run
roots(numerator(-1+a/(2+b)), a)
then you indeed get 2+b.
Some quick experiments with other expressions don't seem to suffer from using the roots(numerator... pattern. Am I missing something or would it be better to have roots always do this internally?
Running this:
roots(-1+a/(2+b),a)gives this ugly thing:b/((b/(2+b)+2/(2+b))*(b/((2+b)*(b/(2+b)+2/(2+b)))+2/((2+b)*(b/(2+b)+2/(2+b)))))+2/((b/(2+b)+2/(2+b))*(b/((2+b)*(b/(2+b)+2/(2+b)))+2/((2+b)*(b/(2+b)+2/(2+b)))))instead of just giving2+b. Even after running this throughsimplifyit doesn't get to the proper answer. However if you runroots(numerator(-1+a/(2+b)), a)then you indeed get2+b. Some quick experiments with other expressions don't seem to suffer from using theroots(numerator...pattern. Am I missing something or would it be better to haverootsalways do this internally?