# AlgFactor UP¶

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, [a1, ..., an]) returns a prime factorisation of p over the field generated by its coefficients and a1, ..., an.
factor(p) returns a prime factorisation of p over the field generated by its coefficients.
split(p) returns a prime factorisation of p over its splitting field.