|
D.3.1.27 rm_unitcol
Procedure from library matrix.lib (see matrix_lib).
- Usage:
- rm_unitcol(A); A matrix (being row-reduced)
- Return:
- matrix, obtained from A by deleting unit columns (having just one 1
and else 0 as entries) and associated rows
Example:
|