Home Online Manual
Top
Back: rightInverse
Forward: genericity
FastBack: Control theory background
FastForward: jacobson_lib
Up: control_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.11.2.9 colrank

Procedure from library control.lib (see control_lib).

Usage:
colrank(M); M a matrix/module

Return:
int

Purpose:
compute the column rank of M as of matrix

Note:
this procedure uses Bareiss algorithm

Example:
 
LIB "control.lib";
// de Rham complex
ring r=0,(D(1..3)),dp;
module R;
R=[0,-D(3),D(2)],
[D(3),0,-D(1)],
[-D(2),D(1),0];
R=transpose(R);
colrank(R);
==> 2