Module poly_factor 

Contains poly_factor::FactorPolyField for fields over which we can factor polynomials.

Additionally contains most of the algorithms for factoring polynomials over various fields and rings.

Modules

cantor_zassenhaus

Contains an implementation of the Cantor-Zassenhaus algorithm for finding factors of univariate polynomials over finite fields.

extension

Contains an an algorithm to factor univariate polynomials over field extensions.

factor_locally

Contains algorithms for computing the factorization of polynomials.

finite

Contains an algorithm to factor univariate polynomials over finite fields, based on the more basic functionality of cantor_zassenhaus.

rational

Contains an algorithm to factor univariate polynomials over the integers and the rational numbers.

Traits

FactorPolyField

Trait for fields over which we can efficiently factor polynomials. For details, see the only associated function FactorPolyField::factor_poly().