Barton Willis wrote:
>Conjecture: If I call $ratsimp in some lisp code, I shouldn't assume
>the
>result is simplified. Either the result of $ratsimp should be cleaned
>up
>with simplifya, or something equivalent.
>
You can assume that GCD has reduced numerator/denominator. If the input
was a ratio
of polynomials, it is in a canonical form. If it has things like sqrt,
sin, cos, etc, you might
want to call simplify or trigsimp or ....