Changeset f691ff in git

Timestamp:

Aug 11, 2004, 2:43:38 PM (20 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

36f8d9017a0f579e359f4b2e5e7af4f41dcec8b3

Parents:

9433a26de2fd01924b6e4703e7e8faac77f9e821

Message:

*levandov: intergated patch, newly arranged examples by Yena, extra notes by me


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

File:

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

Singular/LIB/control.lib

@@ -1 @@
-version="$Id: control.lib,v 1.13 2004-08-11 09:59:59 plural Exp $";
+version="$Id: control.lib,v 1.14 2004-08-11 12:43:38 levandov Exp $";
 category="Miscellaneous";
 info="
@@ -24 +24 @@
 declare(string NameOfRing, Variables[,string  Parameters, Ordering]);     defines the ring, optional parametes are strings of parameters and ordering,
 view();                      Well-formatted output of lists, modules and matrixes
+
+NOTE (EXAMPLES): In order to use examples below, execute the commands
+@* def A = exAntenna(); setring A; 
+@* Thus A will become a basering from the example with the predefined module R (transposed), corresponding to the system. 
+After that you can just type in 
+@* control(R); //respectively autonom(R); 
+and check the result.
+
+
+EXAMPLES (AUTONOMY):
+
+exCauchy();                  example of 1-dimensional Cauchy equation,
+exCauchy2();                 example of 2-dimensional Cauchy equation,
+exZerz();                    example from the lecture of Eva Zerz,
+
+EXAMPLES (CONTROLLABILITY):
+
+ex1();                       example of noncontrollable system,   
+ex2();                       example of controllable system ,
+exAntenna();                 Antenna,
+exEinstein();                Einstein equations,
+exFlexibleRod();             Flexible Rod,
+exTwoPendula();              Two Pendula,
+exWindTunnel();              Wind Tunnel. 
 ";
 
@@ -537 +561 @@
 //autonomy:
 //
-proc exAut1()
-{  
-  ring @r=0,(s1,s2,s3),dp;
-  module R=[0,-s3,s2],
-           [s3,0,-s1];
-  R=transpose(R);          
-  export R;
-  return(@r);
-};
-//----------------------------------------------------------------------------
-proc exAut2()
-{
-  ring @r=0,(s1,s2,s3),dp;
-  module R = [0,-s3,s2],
-             [s3,0,-s1],
-             [-s2,s1,0];
-  R=transpose(R);
-  export R;
-  return(@r);       
-};  
-
 //----------------------------------------------------------------------------
 proc exCauchy()
@@ -581 +584 @@
 }; 
 //----------------------------------------------------------------------------
-proc exEvasLecture()
+proc exZerz()
 { 
   ring @r=0,(d1,d2),dp;