|
D.3.1.15 gauss_col
Procedure from library matrix.lib (see matrix_lib).
- Usage:
- gauss_col(A[,e]); A a matrix, e any type
- Return:
- - a matrix B, if called with one argument; B is the complete column-
reduced upper-triangular normal form of A if A is constant,
(resp. as far as this is possible if A is a polynomial matrix;
no division by polynomials).
- a list L of two matrices, if called with two arguments;
L satisfies L[1] = A * L[2] with L[1] the column-reduced form of A
and L[2] the transformation matrix.
- Note:
- * The procedure just applies interred to A with ordering (C,dp).
The transformation matrix is obtained by applying 'lift'.
This should be faster than the procedure colred.
* It should only be used with exact coefficient field (there is no
pivoting and rounding error treatment).
* Parameters are allowed. Hence, if the entries of A are parameters,
B is the column-reduced form of A over the rational function field.
Example:
See also:
colred.
|