W.C. Tang, H. Rosen, et al.
SPIE Optics, Electro-Optics, and Laser Applications in Science and Engineering 1991
We examine the degree relationship between the elements of an ideal I⊆R[x] and the elements of φ(I) where φ→R is a ring homomorphism. When R is a multivariate polynomial ring over a field, we use this relationship to show that the image of a Gröbner basis remains a Gröbner basis if we specialize all the variables but one, with no requirement on the dimension of I. As a corollary we obtain the GCD for a collection of parametric univariate polynomials. We also apply this result to solve parametric systems of polynomial equations and to reexamine the extension theorem for such systems. © 2001 Elsevier Science B.V.
W.C. Tang, H. Rosen, et al.
SPIE Optics, Electro-Optics, and Laser Applications in Science and Engineering 1991
Ziv Bar-Yossef, T.S. Jayram, et al.
Journal of Computer and System Sciences
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
A. Grill, B.S. Meyerson, et al.
Proceedings of SPIE 1989