Index: Singular/LIB/control.lib
===================================================================
--- Singular/LIB/control.lib	(revision 597f38ebceb55e2871e4816fe483390649592d80)
+++ Singular/LIB/control.lib	(revision 6a02de94ace72fbce19b91636d135023cbd0642f)
@@ -1,3 +1,3 @@
-version="$Id: control.lib,v 1.12 2004-08-10 14:47:02 plural Exp $";
+version="$Id: control.lib,v 1.13 2004-08-11 09:59:59 plural Exp $";
 category="Miscellaneous";
 info="
@@ -21,6 +21,6 @@
 AUXILIARY PROCEDURES:
 ncdetection(ring r);          computes an ideal, presenting an involution map on non-comm algebra r;
-involution(m, map theta); applies the involution, presented by theta to  m of typ poly, vector, ideal, module;
-declare(string NameOfRing, string Variables[,string  Parameters, string Ordering]);     defines the ring, optional parametes are a string of parameters and a sting of ordering,
+involution(m, map theta);    applies the involution, presented by theta to m of type poly, vector, ideal, module;
+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
 ";
@@ -386,55 +386,4 @@
 example
 {"EXAMPLE:";echo = 2; 
-  //-------------------------------
-  ring r=0,(s1,s2,s3),dp;
-  module R=[0,-s3,s2],
-           [s3,0,-s1];
-  R=transpose(R);	   
-  view( R );  
-  view( control(R) );
-
-  module Rc=[0,-s3,s2],
-            [s3,0,-s1],
-	    [-s2,s1,0];
-  Rc=transpose(Rc);	    
-  view( Rc );
-  view( control(Rc) );
-  kill r;
-  //----------------------------------
-  //reflector antenna
-  ring A = (0, K1, K2, Te, Kp, Kc),(Dt, delta), dp;
-  module R;
-  R = [Dt, -K1, 0, 0, 0, 0, 0, 0, 0],
-       [0, Dt+K2/Te, 0, 0, 0, 0, -Kp/Te*delta, -Kc/Te*delta, -Kc/Te*delta],
-       [0, 0, Dt, -K1, 0, 0, 0, 0, 0],
-       [0, 0, 0, Dt+K2/Te, 0, 0, -Kc/Te*delta, -Kp/Te*delta, -Kc/Te*delta],
-       [0, 0, 0, 0, Dt, -K1, 0, 0, 0],
-       [0, 0, 0, 0, 0, Dt+K2/Te, -Kc/Te*delta, -Kc/Te*delta, -Kp/Te*delta];
-  R=transpose(R);
-  view(R);
-  view(control(R));
-  kill A;
-  //----------------------------------
-  //Flexible Rod
-  ring A = 0,(D1, delta), dp;
-  module R;
-  R = [D1, -D1*delta, -1],
-      [2*D1*delta, -D1-D1*delta^2, 0];
-  R=transpose(R);
-  view(R);
-  view(control(R));
-  kill A;
-  //-------------------------------------
-  //TwoPendula
-  ring r=(0,m1,m2,M,g,L1,L2),Dt,dp;
-  module R;
-  R =  [m1*L1*Dt^2, m2*L2*Dt^2, -1, (M+m1+m2)*Dt^2], 
-       [m1*L1^2*Dt^2-m1*L1*g, 0, 0, m1*L1*Dt^2],
-       [0, m2*L2^2*Dt^2-m2*L2*g, 0, m2*L2*Dt^2];
-  R=transpose(R);
-  view(R);
-  view(control(R));
-  kill r;
-  //----------------------------------------
   //Wind Tunnel
   ring A = (0,a, omega, zeta, k),(D1, delta),dp;
@@ -446,6 +395,4 @@
   view(R);
   view(control(R));
-  kill A;
-  //-------------------------------------------
 
 };
@@ -539,4 +486,5 @@
 example
 {"EXAMPLE:"; echo = 2;
+  //Cauchy
   ring r=0,(s1,s2,s3,s4),dp;
   module R= [s1,-s2],
@@ -572,4 +520,5 @@
 example
 {"EXAMPLE:"; echo = 2;
+  //Cauchy
   ring r=0,(s1,s2,s3,s4),dp;
   module R= [s1,-s2],
@@ -585,5 +534,5 @@
 //
 //Some example rings with defined systems
-//--------------------------------------------------------------------------
+//----------------------------------------------------------------------------
 //autonomy:
 //
@@ -597,5 +546,5 @@
   return(@r);
 };
-//-------------------------------------------------------
+//----------------------------------------------------------------------------
 proc exAut2()
 {
@@ -609,5 +558,5 @@
 };  
 
-//-----------------------------------
+//----------------------------------------------------------------------------
 proc exCauchy()
 {
@@ -619,5 +568,5 @@
   return(@r);	    
 };
-//-----------------------------------
+//----------------------------------------------------------------------------
 proc exCauchy2()
 {
@@ -631,5 +580,5 @@
   return(@r);	    
 }; 
-//----------------------------------------
+//----------------------------------------------------------------------------
 proc exEvasLecture()
 { 
@@ -641,7 +590,28 @@
   return(@r);	    
 };  
-//---------------------------------------------------------------------------
+//----------------------------------------------------------------------------
 //control
 //
+proc ex1()
+{
+  ring @r=0,(s1,s2,s3),dp;
+  module R=[0,-s3,s2],
+           [s3,0,-s1];
+  R=transpose(R);	   
+  export R;
+  return(@r);
+};
+//----------------------------------------------------------------------------
+proc ex2()
+{ 
+  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 exAntenna()
 {
@@ -660,5 +630,5 @@
 };
 
-//---------------------------------------------------------------------------------------------
+//----------------------------------------------------------------------------
 
 proc exEinstein()
@@ -722,7 +692,4 @@
 //--------------------------------------------------------------------------------------------
 
-proc ex()
-{
-};
 
 //---------------------------------------------------------------------------
