twofact.spad line 53 [edit on github]
A basic package for the factorization of bivariate polynomials over a finite field. The functions here represent the base step for the multivariate factorizer.
doFactor(p, n, ext?) returns the factorisation of polynomial p, p is assumed to be primitive and squarefree, n is degree in auxiliary variable, ext? if false inhibits use of extension field.
generalTwoFactor(p) returns the factorisation of polynomial p, a sparse univariate polynomial (sup) over a sup over F.
tryTwoFactor(p) returns the factorisation of polynomial p, if it does not require using field extensions, otherwise returns p unfactored (nil factorization).