Changeset d8bddb in git

Timestamp:

Jul 21, 2006, 12:17:11 AM (17 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

5ca534515259a8b422ebd519f67eb6361358c74d

Parents:

c5ee268cef54cc199d68c8cbe84c2ef52261ec07

Message:

*levandov: notes added to control(Dim), autonomy(Dim)


git-svn-id: file:///usr/local/Singular/svn/trunk@9339 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/control.lib (modified) (8 diffs)

Singular/LIB/control.lib

@@ -1 @@
-version="$Id: control.lib,v 1.34 2006-07-18 09:29:34 Singular Exp $";
+version="$Id: control.lib,v 1.35 2006-07-20 22:17:11 levandov Exp $";
 category="System and Control Theory";
 info="
@@ -399 +399 @@
 RETURN:  list
 PURPOSE: compute the list of all the properties concerning controllability of the system (behavior), represented by the matrix R
+NOTE: the properties and corresponding data like controllability, flatness, dimension of the system, degree of controllability, kernel and image representations, genericity of parameters, obstructions to controllability, annihilator of torsion submodule and left inverse are investigated
 EXAMPLE:  example control; shows an example
 "
@@ -441 +442 @@
 PURPOSE: computes list of all the properties concerning controllability of the system (behavior), represented by the  matrix R
 EXAMPLE:  example controlDim; shows an example
-NOTE: this procedure is analogous to 'control' but uses dimension calculations.This approach works for full row rank matrices only.
+NOTE: the properties and corresponding data like controllability, flatness, dimension of the system, degree of controllability, kernel and image representations, genericity of parameters, obstructions to controllability, annihilator of torsion submodule and left inverse are investigated.
+@* This procedure is analogous to 'control' but uses dimension calculations. 
+@* The implemented approach works for full row rank matrices only (the check is done automatically).
 "
 {
@@ -448 +451 @@
     return ("controlDim cannot be applied, since R does not have full row rank");
   }
-  intvec v=Opt_Our();
-  module R_std=std(R);
-  int d=dim_Our(R_std);
-  int NVars=nvars(basering);
-  int i=NVars-d;
-  module Ext_1=std(Ext_Our(1,R_std));
-  matrix T=lift(R,R_std);
-  list l=genericity(T);
+  intvec     v = Opt_Our();
+  module R_std = std(R);
+  int        d = dim_Our(R_std);
+  int    NVars = nvars(basering);
+  int        i = NVars-d;
+  module Ext_1 = std(Ext_Our(1,R_std));
+  matrix     T = lift(R,R_std);
+  list       l = genericity(T);
   option(set, v);
   return( control_output( i, NVars, R, Ext_1, l));
@@ -579 +582 @@
 RETURN: list
 PURPOSE: computes the list of all the properties concerning autonomy of the system (behavior), represented by the matrix R
-NOTE:  this procedure is analogous to 'autonom' but uses dimension calculations
+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:  example autonomDim; shows an example
 "
 {
   int d;
-  int NVars = nvars(basering);
-  module RT = transpose(R);
+  int NVars  = nvars(basering);
+  module RT  = transpose(R);
   module RC;  //for computation of controllable part if if exists
   int R_rank = ncols(R);
-  d     = dim_Our( std(RT) );  //this is the dimension of the system
-  int i = NVars-d;  //First non-zero Ext
+  d          = dim_Our( std(RT) );  //this is the dimension of the system
+  int      i = NVars-d;  //First non-zero Ext
   if( d==0 )
     {
-      RC=leftKernel(rightKernel(R));
+      RC = leftKernel(rightKernel(R));
       R_rank=colrank(R);
     }
@@ -614 +618 @@
 RETURN:  list
 PURPOSE: find 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
 EXAMPLE: example autonom; shows an example
 "
@@ -631 +636 @@
   if (i==0)
   {
-    RC=leftKernel(rightKernel(R));
+    RC = leftKernel(rightKernel(R));
     R_rank=colrank(R);
   }
@@ -655 +660 @@
 RETURN:  list (of strings)
 PURPOSE: determine parametric expressions which have been assumed to be non-zero in the process of computing the Groebner basis
-NOTE: we strongly recommend to switch on the redSB and redTail options;
-@*    the procedure is effective with the lift procedure for modules with parameters
+NOTE: the output list consists of two strings. The first string contains the variables only, whereas the second string contains polynomials.
+$* We strongly recommend to switch on the redSB and redTail options.
+@* The procedure is effective with the lift procedure for modules with parameters
 EXAMPLE:  example genericity; shows an example
 "