MultFiniteFactorize(OV, E, F, PG)

mfinfact.spad line 1 [edit on github]

• OV: OrderedSet

• E: OrderedAbelianMonoidSup

• F: FiniteFieldCategory

• PG: PolynomialCategory(F, E, OV)

Package for factorization of multivariate polynomials over finite fields.

factor: PG -> Factored PG

factor(p) produces the complete factorization of the multivariate polynomial p over a finite field.

factor: SparseUnivariatePolynomial PG -> Factored SparseUnivariatePolynomial PG

factor(p) produces the complete factorization of the multivariate polynomial p over a finite field. p is represented as a univariate polynomial with multivariate coefficients over a finite field.