Skip to content

Complete factorization - #143

Merged
odraccir1 merged 1 commit into
masterfrom
ra/poly_factorization_12
Aug 25, 2026
Merged

Complete factorization#143
odraccir1 merged 1 commit into
masterfrom
ra/poly_factorization_12

Conversation

@odraccir1

@odraccir1 odraccir1 commented Aug 24, 2026

Copy link
Copy Markdown
Collaborator

Putting together the full polynomial factorization:

Factor a polynomial into monic irreducible factors by composing the three finite-field factorization stages:
1. Square-free factorization separates factors by their multiplicity in the input.
2. Kaltofen-Shoup distinct-degree factorization separates each square-free part into groups whose irreducible factors all have the same degree.
3. Cantor-Zassenhaus equal-degree factorization splits each group into individual irreducible factors.

This PR deals with polynomial factorization correctness and not performance. We are going to come back to performance and FLINT comparisons at a later time.

Depends on #142
Completes to #114

@odraccir1
odraccir1 force-pushed the ra/poly_factorization_12 branch from 1c789bd to 9ab6110 Compare August 24, 2026 22:34
@odraccir1
odraccir1 requested a review from spaceships August 24, 2026 23:05
@odraccir1
odraccir1 merged commit aa9330e into master Aug 25, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants