Right-to-left shunt

In mathematics, a square-free polynomial is a polynomial defined over a field or, more generally, a unique factorization domain that is not a multiple of the square of a non unit factor. In the important case of univariate polynomials over a field k, this means that, $f\in k[X]$ is square-free if and only if $b^{2}\nmid f$ for every polynomial $b\in k[X]$ of positive degree. In applications in physics and engineering, a square-free polynomial is commonly called a polynomial with no repeated roots.

In the context of field theory, square-free polynomials are also called separable polynomials.

A square-free decomposition or square-free factorization of a polynomial is a factorization into powers of square-free factors

$f=a_{1}a_{2}^{2}a_{3}^{3}\cdots a_{n}^{n}\,$

where the a_k that are not equal to 1 are pairwise coprime square-free polynomials. Every non-zero polynomial with coefficients in a field admits a square-free factorization, which is unique up to the multiplication of the factors by non zero constants. The square-free factorization is much easier to compute than the complete factorization into irreducible factors, and is thus often preferred when the complete factorization is not really needed, like for the partial fraction decomposition and the symbolic integration of rational fractions. Square-free factorization is the first step of the polynomial factorization algorithms which are implemented in computer algebra systems. Therefore, the algorithm of square-free factorization is basic in computer algebra.

In the case of univariate polynomials over a field, any multiple factor of a polynomial introduces a nontrivial common factor of f and its formal derivative f ′, so a sufficient condition for f to be square-free is that the greatest common divisor of f and f ′ is 1. Over a perfect field, all irreducible polynomials are separable, so that condition is also necessary. If the polynomial is not square free, the product of the $a_{i}$ in the above square free decomposition may be obtained as the quotient of $f$ by its GCD with its derivative. Further GCD computations and exact divisions allow to compute the square-free factorization (see square-free factorization over a finite field). In characteristic zero, a better algorithm is known, Yun's algorithm, which is described below. Its computational complexity is, at most, twice that of the GCD computation of the input polynomial and its derivative. More precisely, if $T_{n}$ is the time needed to compute the GCD of two polynomials of degree $n$ and the quotient of these polynomial by the GCD, then $2T_{n}$ is an upper bound for the time needed to compute the square free decomposition.

There are also known algorithms for the computation of the square-free decomposition of multivariate polynomials.

Yun's algorithm

In this section we describe Yun's algorithm for the square-free decomposition of univariate polynomials over a field of characteristic 0. It proceed by a succession of GCD computations and exact divisions.

The input is thus a non zero polynomial f, and the first step of the algorithm consists in computing the GCD a₀ of f and its formal derivative f'.

If

$f=a_{1}a_{2}^{2}a_{3}^{3}\cdots a_{k}^{k}$

is the desired factorization, we have thus

$a_{0}=a_{2}^{1}a_{3}^{2}\cdots a_{k}^{k-1},$

$f/a_{0}=a_{1}a_{2}a_{3}\cdots a_{k}$

and

$f'/a_{0}=\sum _{i=1}^{k}ia_{i}'a_{1}\cdots a_{i-1}a_{i+1}\cdots a_{k}.$

If we set $b_{1}=f/a_{0}$, $c_{1}=f'/a_{0}$ and $d_{1}=c_{1}-b_{1}'$, we get that

$\gcd(b_{1},d_{1})=a_{1},$

$b_{2}=b_{1}/a_{1}=a_{2}a_{3}\cdots a_{n},$

and

$c_{2}=d_{1}/a_{1}=\sum _{i=2}^{k}(k-1)a_{i}'a_{2}\cdots a_{i-1}a_{i+1}\cdots a_{k}.$

Iterating this process until $b_{k+1}=1$ we find all the $a_{i}.$

This is formalized into an algorithm as follows: 36 year-old Diving Instructor (Open water ) Vancamp from Kuujjuaq, spends time with pursuits for instance gardening, public listed property developers in singapore developers in singapore and cigar smoking. Of late took some time to go China Danxia.

The degree of $c_{i}$ and $d_{i}$ is one less than the degree of $b_{i}.$ As $f$ is the product of the $b_{i},$ the sum of the degrees of the $b_{i}$ is the degree of $f.$ As the complexity of GCD computations and divisions increase more than linearly with the degree, it follows that the total running time of the "repeat" loop is less than the running time of the first line of the algorithm, and that the total running time of Yun's algorithm is upper bounded by twice the time needed to compute the GCD of $f$ and $f'$ and the quotient of $f$ and $f'$ by their GCD.

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.