6.27.13  Factoring xⁿ in a polynomial: factor_xn

The factor_xn command factors the largest power of the variable out of a polynomial, writing it as the product of a monomial of largest degree and a rational function having a non-zero finite limit at infinity.

• factor_xn takes one argument:
  P, a polynomial.
• factor_xn(P) returns P written as the product of its monomial of largest degree with a rational function having a non-zero finite limit at infinity.

Example.
Input:

Output: