FLINT`Factor¶
Status: Stable
documented, exercised by the test suite and/or worked examples, with no known limitations recorded.
Description¶
FLINT`Factor[p] gives the irreducible factorisation of the polynomial p over the rationals, computed directly via FLINT (fmpq_mpoly_factor), as Times[const, factor^exp, ...]. Multivariate. Returns unevaluated if p is not a polynomial over Q.
Examples (1)¶
Every input below was run against the current Mathilda build and its output recorded.
Basic examples (1)¶
Implementation notes¶
Attributes: Protected.
References¶
- Source:
src/poly/flint_bridge.c - Specification:
docs/spec/builtins/flint.md