algfact.spad line 131 [edit on github]
Factorization of univariate polynomials with coefficients in AlgebraicNumber.
doublyTransitive?(p) is true if p is irreducible over over the field K generated by its coefficients, and if p(X) / (X - a) is irreducible over K(a) where p(a) = 0.
factor(p) returns a prime factorisation of p over the field generated by its coefficients.
factor(p, [a1, ..., an]) returns a prime factorisation of p over the field generated by its coefficients and a1, ..., an.
split(p) returns a prime factorisation of p over its splitting field.