Singular

D.11.2.4 autonomDim

Usage:

autonomDim(R); R a module (R is a matrix of the system of equations which is to be investigated)

Return:

list

Purpose:

computes the list of all the properties concerning autonomy of the system (behavior), represented by the matrix R

Note:

the properties and corresponding data like autonomy resp. strong autonomy, dimension of the system, autonomy degree, kernel representation and (over)determinacy are investigated.
This procedure is analogous to 'autonom' but uses dimension calculations

LIB "control.lib";
// Cauchy1 example
ring r=0,(s1,s2,s3,s4),dp;
module R= [s1,-s2],
[s2, s1],
[s3,-s4],
[s4, s3];
R=transpose(R);
view( R );
==> s1,-s2,
==> s2,s1 ,
==> s3,-s4,
==> s4,s3 
view( autonomDim(R) );
==> number of first nonzero Ext:
==> 
==> 2
==> 
==> overdetermined, not strongly autonomous
==> 
==> dimension of the system:
==> 
==> 2
==>