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.