RationalFunctionFactor(UP)

algfact.spad line 96 [edit on github]

Factorization of univariate polynomials with coefficients which are rational functions with integer coefficients.

factor : UP -> Factored(UP)

factor(p) returns a prime factorisation of p.