Abstract
Two new concepts, generic regular decomposition and regular-decomposition-unstable (RDU) variety for generic zero-dimensional systems, are introduced in this paper and an algorithm is proposed for computing a generic regular decomposition and the associated RDU variety of a given generic zero-dimensional system simultaneously. The solutions of the given system can be expressed by finitely many zero-dimensional regular chains if the parameter value is not on the RDU variety. The so called weakly relatively simplicial decomposition plays a crucial role in the algorithm, which is based on the theories of subresultants. Furthermore, the algorithm can be naturally adopted to compute a non-redundant Wu’s decomposition and the decomposition is stable at any parameter value that is not on the RDU variety. The algorithm has been implemented with Maple 16 and experimented with a number of benchmarks from the literature. Empirical results are also presented to show the good performance of the algorithm.
Similar content being viewed by others
References
Chen C, Golubitsky O, Lemaire F, et al. Comprehensive triangular decomposition. In: Proceedings of Computer Algebra in Scientific Computing, Bonn, 2007. 73–101
Montes A, Recio T. Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems. In: Proceedings of Automated Deduction in Geometry, Pontevedra, 2007. 113–138
Weispfenning V. Comprehensive Gröbner bases. J Symb Comput, 1992, 14: 1–29
Kapur D, Sun Y, Wang D. A new algorithm for computing comprehensive Gröbner systems. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, Munich, 2010. 29–36
Nabeshima K. A speed-up of the algorithm for computing comprehensive Gröbner systems. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, Waterloo, 2007. 299–306
Aubry P, Lazard D, Moreno Maza M. On the theories of triangular sets. J Symb Comput, 1999, 28: 105–124
Gao X-S, Chou S-C. Solving parametric algebraic systems. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, Berkeley, 1992. 335–341
Kalkbrener M. A generalized Euclidean algorithm for computing triangular representationa of algebraic varieties. J Symb Comput, 1993, 15: 143–167
Moreno Maza M. On triangular decompositions of algebraic varieties. Technical Report TR 4/99, NAG Ltd. 1999
Wang D K. Zero decomposition algorithms for system of polynomial equations. In: Proceedings of Asian Symposium on Computer Mathematics, Chiang Mai, 2000. 67–70
Wang D M. Computing triangular systems and regular systems. J Symb Comput, 2000, 30: 221–236
Wu W T. Basic principles of mechanical theorem proving in elementary geometries. J Syst Sci Math Sci, 1984, 4: 207–235
Yang L, Hou X, Xia B. A complete algorithm for automated discovering of a class of inequality-type theorems. SCI China Ser F-Inf Sci, 2001, 44: 33–49
Yang L, Xia B. Automated Proving and Discovering Inequalities (in Chinese). Beijing: Science Press, 2008. 11–22
Yang L, Zhang J. Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Technical Report ICTP/91/6. 1991
Yang L, Xia B. Real solution classifications of a class of parameteric semi-algebraic systems. In: Proceedings of Algorithmic Algebra and Logic: the A3L, Passau, 2005. 281–289
Suzuki A, Sato Y. An alternative approach to comprehensive Gröbner bases. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, Lille, 2002. 255–261
Suzuki A, Sato Y. A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, Genoa, 2006. 326–331
Gao X-S, Hou X, Tang J, et al. Complete solution classification for the perspective-three-point problem. IEEE Trans Pami, 2003, 25: 930–943
Wang D M. Elimination Methods. New York: Springer, 2001. 45–51
Wang D M. Elimination Practice: Software Tools and Applications. London: Imperial College Press, 2004. 82–97
Xia B. DISCOVERER: a tool for solving semi-algebraic systems. ACM Commun Comput Algebra, 2007, 41: 102–103
Cox D, Little J, O’Shea D. Using Algebraic Geometry. New York: Springer, 1998. 1–26
Yang L, Zhang J, Hou X. A criterion of dependency between algebraic equations and its applications. In: Proceedings of International Workshop on Mathematics Mechanization, Beijing, 1992. 110–134
Chen C. Solving polynomial systems via triangular decomposition. Dissertation for the Doctoral Degree. London: Universite of Western Ontario, 2011. 31–94
Yang L, Zhang J, Hou X. Non-linear Algebraic Equalities and Automated Proving (in Chinese). Shanghai: Shanghai Technology Education Press, 1996. 57–68
Mishra B. Algorithmic Algebra. New York: Springer-Verlag, 1993. 250–284
Kahoui M E. An elementary approach to subresultants theory. J Symb Comput, 2003, 35: 281–292
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tang, X., Chen, Z. & Xia, B. Generic regular decompositions for generic zero-dimensional systems. Sci. China Inf. Sci. 57, 1–14 (2014). https://doi.org/10.1007/s11432-013-5057-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-013-5057-5