TwoFactorize FΒΆ

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: (SparseUnivariatePolynomial SparseUnivariatePolynomial F, Integer, Boolean) -> Factored SparseUnivariatePolynomial SparseUnivariatePolynomial F

doFactor(p, n, ext?) returns the factorisation of polynomial p, p is assumed to be primitive and squarefree, n is degree in auxilary variable, ext? if false inhibits use of extension field.

generalSqFr: SparseUnivariatePolynomial SparseUnivariatePolynomial F -> Factored SparseUnivariatePolynomial SparseUnivariatePolynomial F

generalSqFr(p) returns the square-free factorisation of polynomial p, a sparse univariate polynomial (sup) over a sup over F.

generalTwoFactor: SparseUnivariatePolynomial SparseUnivariatePolynomial F -> Factored SparseUnivariatePolynomial SparseUnivariatePolynomial F

generalTwoFactor(p) returns the factorisation of polynomial p, a sparse univariate polynomial (sup) over a sup over F.

tryTwoFactor: SparseUnivariatePolynomial SparseUnivariatePolynomial F -> Factored SparseUnivariatePolynomial SparseUnivariatePolynomial F

tryTwoFactor(p) returns the factorisation of polynomial p, if it does not require using field extensions, otherwise returns p unfactored (nil factorization).

twoFactor: (SparseUnivariatePolynomial SparseUnivariatePolynomial F, Integer) -> Factored SparseUnivariatePolynomial SparseUnivariatePolynomial F

twoFactor(p, n) returns the factorisation of polynomial p, a sparse univariate polynomial (sup) over a sup over F. Also, p is assumed primitive and square-free and n is the degree of the inner variable of p (maximum of the degrees of the coefficients of p).