A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be...A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be obtained by computing a comprehensive Gr?bner system. Combining with properties of the generalized discriminant sequences, the authors give the explicit conditions to determine the number of distinct real positive solutions of the P3P problem. Several examples are provided to illustrate the effectiveness of the proposed conditions.展开更多
Groebner basis theory for parametric polynomial ideals is explored with the main objec- tive of nfinicking the Groebner basis theory for ideals. Given a parametric polynomial ideal, its basis is a comprehensive GrSbne...Groebner basis theory for parametric polynomial ideals is explored with the main objec- tive of nfinicking the Groebner basis theory for ideals. Given a parametric polynomial ideal, its basis is a comprehensive GrSbner basis if and only if for every specialization of its parameters in a given field, the specialization of the basis is a GrSbnerbasis of the associated specialized polynomial ideal. For various specializations of parameters, structure of specialized ideals becomes qualitatively different even though there are significant relationships as well because of finiteness properties. Key concepts foundational to GrSbner basis theory are reexamined and/or further developed for the parametric case： （i） Definition of a comprehensive Groebner basis, （ii） test for a comprehensive GrSbner basis, （iii） parameterized rewriting, （iv） S-polynomials among parametric polynomials, （v） completion algorithm for directly computing a comprehensive Groebner basis from a given basis of a parametric ideal. Elegant properties of Groebner bases in the classical ideal theory, such as for a fixed admissible term ordering, a unique GrSbner basis can be associated with every polynomial ideal as well as that such a basis can be computed from any Groebner basis of an ideal, turn out to be a major challenge to generalize for parametric ideals; issues related to these investigations are explored. A prototype implementation of the algorithm has been successfully tried on many examples from the literature.展开更多
基金supported by the National Nature Science Foundation of China under Grant Nos.11371356 and 61121062
文摘A complete solution classification of the perspective-three-point(P3P) problem is given by using the Gr?bner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be obtained by computing a comprehensive Gr?bner system. Combining with properties of the generalized discriminant sequences, the authors give the explicit conditions to determine the number of distinct real positive solutions of the P3P problem. Several examples are provided to illustrate the effectiveness of the proposed conditions.
基金supported by the National Science Foundation under Grant No.DMS-1217054
文摘Groebner basis theory for parametric polynomial ideals is explored with the main objec- tive of nfinicking the Groebner basis theory for ideals. Given a parametric polynomial ideal, its basis is a comprehensive GrSbner basis if and only if for every specialization of its parameters in a given field, the specialization of the basis is a GrSbnerbasis of the associated specialized polynomial ideal. For various specializations of parameters, structure of specialized ideals becomes qualitatively different even though there are significant relationships as well because of finiteness properties. Key concepts foundational to GrSbner basis theory are reexamined and/or further developed for the parametric case： （i） Definition of a comprehensive Groebner basis, （ii） test for a comprehensive GrSbner basis, （iii） parameterized rewriting, （iv） S-polynomials among parametric polynomials, （v） completion algorithm for directly computing a comprehensive Groebner basis from a given basis of a parametric ideal. Elegant properties of Groebner bases in the classical ideal theory, such as for a fixed admissible term ordering, a unique GrSbner basis can be associated with every polynomial ideal as well as that such a basis can be computed from any Groebner basis of an ideal, turn out to be a major challenge to generalize for parametric ideals; issues related to these investigations are explored. A prototype implementation of the algorithm has been successfully tried on many examples from the literature.
