Abstract
An enhanced gcd algorithm based on the EZ-GCD algorithm is described. Implementational aspects are emphasized. It is generally faster and is particularly suited for computing gcd of sparse multivariate polynomials. The EEZ-GCD algorithm is characterized by the following features:(1) avoiding unlucky evaluations,(2) predetermining the correct leading coefficient of the desired gcd,(3) using the sparsity of the given polynomials to determine terms in the gcd and(4) direct methods for dealing with the "common divisor problem." The common divisor problem occurs when the gcd has a different common divisor with each of the cofactors. The EZ-GCD algorithm does a square-free decomposition in this case. It can be avoided resulting in increased speed. One method is to use parallel p-adic construction of more than two factors. Machine examples with timing data are included.
- Brown, W. S., "On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors", JACM, Vol. 18, No. 4, October, 1971, pp. 478--584. Google ScholarDigital Library
- Brown, W. S., "The Subresultant PRS Algorithm", TOMS 4(1978), pp. 237--249. Google ScholarDigital Library
- Collins, G. E., "Subresultants and Reduced Polynomial Remiander Sequences", JACM, Vol. 14, January, 1967, pp. 128--142. Google ScholarDigital Library
- Hensel, K., Zahlentheorie, Goschen, Berlin and Leipzig, 1913.Google Scholar
- Knuth, D. E., "The Art of Computer Programming", V. 2: Seminumerical Algorithms, Addison-Wesley, Reading, Mass., 1969, MR 44 #3531. Google ScholarDigital Library
- Moses, J. and Yun, D. Y. Y., "The EZ-GCD Algorithm", Proceedings of ACM Annual Conference, August 1973. Google ScholarDigital Library
- Wang, P. S. and Rothschild, L. P., "Factoring Multivariate Polynomials Over the Integers", Math. Comp., V. 29, 1975, pp. 935--950.Google ScholarCross Ref
- Wang, P. S., "Preserving Sparseness in Multivariate Polynomial Factorization", Proceedings, MACSYMA USERS' CONFERENCE, University of California at Berkeley, July 27--29, 1977.Google Scholar
- Wang, P. S., "An Improved Multivariate Polynomial Factoring Algorithm", Mathematics of Computation, Vol. 32, Oct. 1978, pp. 1215--1231.Google ScholarCross Ref
- Wang, P. S., "Analysis of the p-adic Construction of Multivariate Correction Coefficients in Polynomial Factorization: Iteration vs. Recursion", Proceedings EUROSAM '79, June 26--28, 1979, Marseille, France.Google Scholar
- Yun, D. Y. Y., "The Hensel Lemma in Algebraic Manipulation", Ph.D. Thesis, Department of Mathematics, MIT, Nov. 1973, (also Project MAC TR-138, Nov. 1974).Google Scholar
- Zassenhaus, H., "On Hensel Factorization I", Journal of Number Theory, Vol. 1, 1969, pp. 291--311.Google ScholarCross Ref
- Zippel, R., "Probabilistic Algorithms for Sparse Polynomials", Proceedings, EUROSAM '79, June 26--28, 1979, Marseille, France, pp. 216--226. Google ScholarDigital Library
- MACSYMA Reference Manual, The Mathlab Group, LCS, M.I.T., Cambridge, Mass., May 1979.Google Scholar
Recommendations
A Fast Parallel Sparse Polynomial GCD Algorithm
ISSAC '16: Proceedings of the ACM on International Symposium on Symbolic and Algebraic ComputationWe present a parallel GCD algorithm for sparse multivariate polynomials with integer coefficients. The algorithm combines a Kronecker substitution with a Ben-Or/Tiwari sparse interpolation modulo a smooth prime to determine the support of the GCD. We ...
The EZ GCD algorithm
ACM '73: Proceedings of the ACM annual conferenceThis paper presents a preliminary report on a new algorithm for computing the Greatest Common Divisor (GCD) of two multivariate polynomials over the integers. The algorithm is strongly influenced by the method used for factoring multivariate polynomials ...
Approximate polynomial GCD over integers
Symbolic numeric algorithms for polynomials are very important, especially for practical computations since we have to operate with empirical polynomials having numerical errors on their coefficients. Recently, for those polynomials, a number of ...
Comments