A new method to obtain series for and .
We show that any factorization of any composite Fermat number into two nontrivial factors can be expressed in the form for some odd and , and integer . We prove that the greatest common divisor of and is 1, , and either or , i.e., for an integer . Factorizations of into more than two factors are investigated as well. In particular, we prove that if then and .
The algorithm described in this paper is a practical approach to the problem of giving, for each number field a polynomial, as canonical as possible, a root of which is a primitive element of the extension . Our algorithm uses the algorithm to find a basis of minimal vectors for the lattice of determined by the integers of under the canonical map.
In Computer Algebra, Subresultant Theory provides a powerful method to construct algorithms solving problems for polynomials in one variable in an optimal way. So, using this method we can compute the greatest common divisor of two polynomials in one variable with integer coefficients avoiding the exponential growth of the coefficients that will appear if we use the Euclidean Algorithm.In this note, generalizing a forgotten construction appearing in [Hab], we extend the Subresultant Theory to the...