and to do it the other way around use "comdenom".
A note on the propfrac function applied to polynomials: on 1 variable polynomials there's no ambiguity, but on polynomials on several variables, there's always the matter of the ordering of the terms, in order to apply the division algorithms. The Nspire CAS (as well as other CAS calculators) uses the somewhat standard LEX ordering, meaning that terms are ordered first by the degree of the variable that appears first on the alphabetical ordering. So, if your variables are x, y and z, the following terms will appear in this order:
x^3 y + x^2 y^2 + x^2 y + x^2 z^2 + x y^5, etc.
The relevance of this is that the result of the division is different, depending on the order you choose.
Nelson