Abstract
Checking linear dependence of a finite number of vectors is a basic problem in linear algebra. We aim to extend the theory of linear dependence to parametric vectors where the entries are polynomials. This dependency depends on the specifications of the parameters or values of the variables in the polynomials. We propose a new method to check if parametric vectors are linearly dependent. Furthermore, this new method can also give the maximal linearly independent subset, and by which the remaining vectors are expressed in a linear combination. The new method is based on the computation of comprehensive Gröbner system for a finite set of parametric polynomials.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Greub, W.H.: Linear Algebra, 3rd edn. Springer, New York (1967)
Buchberger, B.: Gröbner-bases: an algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory - Progress, Directions and Open Problems in Multidimensional Systems, pp. 184–232. Reidel Publishing Company, Dodrecht-Boston-Lancaster 1985
Cox, D., Little, J., O’Shea, D.: Using Algebraic Geometry, 2nd edn. Springer, New York (2005)
Weispfenning, V.: Comprehensive Groebner bases. J. Symb. Comp. 14, 1–29 (1992)
Kapur, D.: An approach for solving systems of parametric polynomial equations. In: Saraswat, V., Van Hentenryck, P. (eds.) Principles and Practice of Constraint Programming. MIT Press, Cambridge (1995)
Kapur, D., Sun, Y., Wang, D.K.: A new algorithm for computing comprehensive Groebner systems. In: Proceedings of ISSAC 2010. ACM Press, New York (2010)
Kapur, D., Sun, Y., Wang, D.K.: Computing comprehensive Groebner systems and comprehensive Groebner bases simultaneously. In: Proceedings of ISSAC 2011. ACM Press, New York (2011)
Manubens, M., Montes, A.: Minimal canonical comprehensive Groebner system. J. Symb. Comp. 44, 463–478 (2009)
Nabeshima, K.: A speed-up of the algorithm for computing comprehensive Groebner systems. In: Proceedings of ISSAC 2007. ACM Press, New York (2007)
Suzuki, A., Sato, Y.: An alternative approach to comprehensive Groebner bases. J. Symb. Comp. 36, 649–667 (2003)
Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Groebner bases using Groebner bases. In: Proceedings of ISSAC 2006. ACM Press, New York (2006)
Chen, X., Li, P., Lin, L., Wang, D.: Proving geometric theorems by partitioned-parametric Gröbner bases. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS, vol. 3763, pp. 34–43. Springer, Heidelberg (2006). doi:10.1007/11615798_3
Montes, A.: A new algorithm for discussing Groebner basis with parameters. J. Symb. Comp. 33, 183–208 (2002)
Montes, A., Recio, T.: Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS, vol. 4869, pp. 113–138. Springer, Heidelberg (2007). doi:10.1007/978-3-540-77356-6_8
Sit, W.Y.: An algorithm for solving parametric linear systems. J. Symb. Comp. 13, 353–394 (1992)
Acknowledgements
This work was supported in part by the Chinese Universities Scientific Fund (Grant No. 2017QC061), and the National Natural Science Foundation of China (Grant No. 11371356).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Ma, X., Sun, Y., Wang, D., Xue, Y. (2017). On Checking Linear Dependence of Parametric Vectors. In: Huang, DS., Jo, KH., Figueroa-GarcÃa, J. (eds) Intelligent Computing Theories and Application. ICIC 2017. Lecture Notes in Computer Science(), vol 10362. Springer, Cham. https://doi.org/10.1007/978-3-319-63312-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-63312-1_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-63311-4
Online ISBN: 978-3-319-63312-1
eBook Packages: Computer ScienceComputer Science (R0)