factor_xn takes as argument a polynomial P.
factor_xn returns the polynomial P written
as the product of it’s monomial of largest degree xn (n=degree(P))
with a rational fraction having a non-zero finite limit at infinity.
Input :
^
4+3)Output :
^
4*(-1+3*x^
-4)