algfact.spad line 96 [edit on github]
Factorization of univariate polynomials with coefficients which are rational functions with integer coefficients.
factor(p) returns a prime factorisation of p.
factor(p)
p