Skip to content

FLINT`FactorSquareFree

Status: Stable

documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

Description

FLINT`FactorSquareFree[p] gives the squarefree factorisation of the polynomial p over the rationals, computed directly via FLINT (fmpq_mpoly_factor_squarefree). Returns unevaluated if out of scope.

Examples

All examples below are verified against the current Mathilda build.

In[1]:= FLINT`FactorSquareFree[(x - 1)^2 (x + 1)]
Out[1]= (1 + x) (-1 + x)^2

Implementation notes

Attributes: Protected.

Implementation status

Stable — documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

References