Table of Contents - 11.6.3. Collecting coefficients of polynomial matrices
In this section, the decomposition of polynomial matrices into (polynomial)
multiples of constant (polynomial) matrices is prepared by collecting the
coefficients of a polynomial matrix which belong to the same power of the
polynomial variable. Such a collection is given by the function
(see df-decpmat), which maps a polynomial matrix to a constant matrix
consisting of the coefficients of the scaled monomials , i.e. the coefficients belonging to the k-th power of the
polynomial variable , of each entry in the polynomial matrix . The
resulting decomposition is provided by theorem pmatcollpw.