Abstract
In recent years, the Dixon resultant matrix has been used widely in the resultant elimination to solve nonlinear polynomial equations and many researchers have studied its efficient algorithms. The recursive algorithm is a very efficient algorithm, but which deals with the case of three polynomial equations with two variables at most. In this paper, we extend the algorithm to the general case of n+1 polynomial equations in n variables. The algorithm has been implemented in Maple 9. By testing the random polynomial equations, the results demonstrate that the efficiency of our program is much better than the previous methods, and it is exciting that the necessary condition for the existence of common intersection points on four general surfaces in which the degree with respect to every variable is not greater than 2 is given out in 48×48 Dixon matrix firstly by our program.
Similar content being viewed by others
References
Lewis, R. H., Stiller, P. F., Solving the recognition problem for six lines using the Dixon resultant, Mathematics and Computers in Simulation, 1999, 49(3): 205–219.
Chionh, E. W., Zhang, M., Goldman, R. N., Fast computation of the Bezout and Dixon resultant matrices, Journal of Symbolic Computation, 2002, 33(1): 13–29.
Dixon, A. L., The eliminant of three quantics in two independent variables, Proceedings of the London Mathematical Society, 1908, 6: 49–69, 473–492.
Kapur, D., Saxena, T., Yang, L., Algebraic and geometric reasoning using Dixon resultants, in Proceedings of the International Symposium on Symbolic and Algebraic Computation, Oxford, 1994, New York: ACM Press, 1994, 99–107.
Lewis, R. H., Using Fermat to solve large polynomial and matrix problems, ACM SIGSAM Bulletin, 2004, 38(1): 27–28.
Kapur, D., Saxena, T., Yang, L., Sparsity considerations in Dixon resultants, in Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, Philadelphia, 1996, New York: ACM Press, 1996, 184–191.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhao, S., Fu, H. An extended fast algorithm for constructing the Dixon resultant matrix. Sci. China Ser. A-Math. 48, 131–143 (2005). https://doi.org/10.1360/04ys0166
Received:
Issue Date:
DOI: https://doi.org/10.1360/04ys0166