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