Home Online Manual
Top
Back: autonom
Forward: leftKernel
FastBack:
FastForward:
Up: control_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.11.2.4 autonomDim

Procedure from library control.lib (see control_lib).

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

Example:
 
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
==>