Many common computations in linear algebra such as matrix rank, Jordan canonical form and Smith normal form, are discontinuous when a matrix contain parameters. The ParametricMatrixTools package provides functions for such computations where an appropriate case discussion is provided in the answer. ParametricMatrixTools is implemented in the Maple computer algebra system, and works along side the LinearAlgebra and RegularChains packages.
The parametric matrices this package is designed to work with are matrices where the entries are multivariate polynomials in the parameters. All of the methods allow constraints to be imposed on the parameter values.
Some methods (such as Smith form) may assume the entries are parametric univariate polynomials. A parametric univariate polynomial is a multivariate polynomial that is treated as univariate in one variable, where the coefficients of this variable are multivariate polynomials in the remaining variables, known as parameters. Computations involving parametric univariate polynomials do not allow constraints on the main variable, only on the parameters.
Using the Package
ParametricMatrixTools directory, run
make mla. This will create a Maple library file called
ParametricMatrixTools.mla containing the package. See the
Examples.mw worksheet for examples of using the functions in the package.
This package is being actively developed and likely contains bugs