AlgebraicMultFact(OV, E, P)

multfact.spad line 488 [edit on github]

• OV: OrderedSet

• E: OrderedAbelianMonoidSup

• P: PolynomialCategory(AlgebraicNumber, E, OV)

This package factors multivariate polynomials over the domain of AlgebraicNumber by allowing the user to specify a list of algebraic numbers generating the particular extension to factor over.

factor: (P, List AlgebraicNumber) -> Factored P

factor(p, lan) factors the polynomial p over the extension generated by the algebraic numbers given by the list lan.

factor: (SparseUnivariatePolynomial P, List AlgebraicNumber) -> Factored SparseUnivariatePolynomial P

factor(p, lan) factors the polynomial p over the extension generated by the algebraic numbers given by the list lan. p is presented as a univariate polynomial with multivariate coefficients.