Abstract
Using examples of interest from real problems, we will discuss the Dixon-EDF resultant as a method of solving parametric polynomial systems. We will briefly describe the method itself, then discuss problems arising in geometric computing, flexibility of structures, pose estimation, robotics, image analysis, physics, differential equations, and others. We will compare Dixon-EDF to several respected implementations of Gröbner bases algorithms on several systems. We find that Dixon-EDF is greatly superior, usually by orders of magnitude, in both CPU usage and RAM usage.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bricard, R.: Mémoire sur la théorie de l’octaèdre articulé. J. Math. Pures Appl. 3, pp. 113–150 (1897). (English translation: http://www.math.unm.edu/~vageli/papers/bricard.pdf)
Carrà-Ferro, G.: A resultant theory for the systems of two ordinary algebraic differential equations. Appl. Algebra Eng. Commun. Comput. 8, 539–560 (1997)
Connelly, R., Sabitov, I., Walz, A.: The bellows conjecture. Contrib. Algebra Geom. 38, 1–10 (1997)
Coutsias, E., Seok, C., Jacobson, M.P., Dill, K.A.: A kinematic view of loop closure. J. Comput. Chem. 25(4), 510–528 (2004)
Coutsias, E., Seok, C., Wester, M.J., Dill, K.A.: Resultants and loop closure. Int. J. Quantum Chem. 106(1), 176–189 (2005)
Cox, D., Little, J., O’Shea, D.: Using Algebraic Geometry. Graduate Texts in Mathematics, vol. 185. Springer, New York (1998)
Dixon, A.L.: The eliminant of three quantics in two independent variables. Proc. Lond. Math. Soc. 6, 468–478 (1908)
Faugere, J.-C.: A new efficient algorithm for computing Gröbner bases (F4). J. Pure Appl. Algebra 139, 61–88 (1999)
Faugere, J.-C.: Personal communication, July 8 (2014)
Gentleman, W., Johnson, S.: The evaluation of determinants by expansion by minors and the general problem of substitution. Math. Comput. 28(126), 543–548 (1974)
Lewis, R.H.: Computer algebra system Fermat. http://home.bway.net/lewis/
Lewis, R.H.: Fermat code for Dixon-EDF. http://home.bway.net/lewis/dixon
Lewis, R.H.: Heuristics to accelerate the Dixon resultant. Math. Comput. Simul. 77(4), 400–407 (2008)
Lewis, R., Bridgett, S.: Conic tangency equations arising from Apollonius problems in biochemistry. Math. Comput. Simul. 61(2), 101–114 (2003)
Lewis, R.H., Coutsias,E.A.: Algorithmic search for flexibility using resultants of polynomial systems. In: Automated Deduction in Geometry, 6th International Workshop, ADG, 2006. LNCS. Springer. 4869, 68–79 (2007)
Lewis, R.H., Coutsias, E.A.: Flexibility of Bricard’s Linkages and Other Structures via Resultants and Computer Algebra. Math. Comput. Simul. (2014). http://arxiv.org/abs/1408.6247
Lewis, R.H., Stiller, Peter: Solving the recognition problem for six lines using the Dixon resultant. Math. Comput. Simul. 49, 203–219 (1999)
Nachtwey, P.: Delta Computer Systems, personal communication (2009)
Palancz, B., Lewis, R.H., Zaletnyik, P., Awange, J.: Computational study of the 3D affine transformation part I. 3-point problem (2008). http://library.wolfram.com/infocenter/MathSource/7090/
Palancz, B., Awange, J., Zaletnyik, P., Lewis, R.H.: Linear homotopy solution of nonlinear systems of equations in geodesy. J. Geod. (2009). http://www.springerlink.com/content/78qh80606j224341/
Post to reddit (2014). https://www.reddit.com/r/math/comments/1z7j3x/geometry_me_and_my_friends_are_working_on_a/
Ritt, J.F.: Differential Equations from the Algebraic Standpoint, College Publications 14. American Mathematical Society, New York (1932)
Steel, A.: Personal communications, September 2–7 (2015)
Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series in Mathematics 97 (2003). American Mathematical Society, Providence
Thorpe, M., Lei, M., Rader, A.J., Jacobs, D.J., Kuhn, L.: Protein flexibility and dynamics using constraint theory. J. Mol. Gr. Model. 19, 60–69 (2001)
Tot, J.: Spinning double pendulum: equilibria and bifurcations. In: ACA 2014 Conference, New York, In Session: Innovative Applications and Emerging Challenges
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix
Appendix
The Maple-FGb commands for the pose example:
Magma 1 commands for the pose example:
Magma 2 commands for the pose example:
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Lewis, R.H. (2017). Dixon-EDF: The Premier Method for Solution of Parametric Polynomial Systems. In: Kotsireas, I., Martínez-Moro, E. (eds) Applications of Computer Algebra. ACA 2015. Springer Proceedings in Mathematics & Statistics, vol 198. Springer, Cham. https://doi.org/10.1007/978-3-319-56932-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-56932-1_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-56930-7
Online ISBN: 978-3-319-56932-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)