An Algorithm for Solving Parametric Linear Systems +
J. Symbolic Computation (1992) 13, 353-394 An Algorithm for Solving Parametric Linear Systems + WILLIAM Y. SIT Department of Mathematics, The City College of New York, New York, NY 10031, USA 1BM Research, P. 0 .Box 218, Yorktown Heights, NY 10598, USA (Received 17 April 1988) We present a theoretical foundation for studying parametric systems of linear equations and prove an efficient algorithm for identifying all parametric values (including degener- ate cases) for which the system is consistent. The algorithm gives a small set of regimes where for each regime, the solutions of the specialized systems may be given uniformly. For homogeneous linear systems, or for systems where the right hand side is arbitrary, this small set is irredundant. We discuss in detail practical Issues concerning implemen- tations, with particular emphasis on simplification of results. Examples are given based on a close implementation of the algorithm in SCRATCHPAD II. We also give a com- plexity analysis of the Gaussian elimination method and compare that with our algorithm. I. Introduction Consider the following problem: given a parametric system of linear equations (PSLE) over a computable coefficient domain R, with parameters x = (x,, ..., x~,), determine all choices of parametric values ct = (% ..., am) for which the system (which may become degenerate) is solvable, and for each such choice, solve the linear system. Here a+ lies in some computable extension field U of the quotient field F of R; for example, U may be some finite algebraic extension of Q when R = 7/. For obvious reasons, we would prefer the algorithm to give the solutions in the most genetic form, and the set of 0c for which a generic solution is valid should be described as simply as possible.
[Show full text]