Changeset e50c50 in git for Singular/LIB

Timestamp:

Jul 28, 2004, 1:49:35 PM (20 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

aa7a84c3c951b761f9cc0771672ea2812e2d9d31

Parents:

3e146b0d0562a9831921eb891f2bee6219d5298a

Message:

*yena: LeftInverse  added, this is usee in output for strongly controllable systems


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

File:

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

Singular/LIB/control.lib

@@ -1 @@
-version="$Id: control.lib,v 1.2 2004-07-22 18:49:14 plural Exp $";
+version="$Id: control.lib,v 1.3 2004-07-28 11:49:35 plural Exp $";
 category="System and Control Theory";
 info="
@@ -10 +10 @@
 
 PROCEDURES:
-declare(string NameOfRing, string Variables[, list #]);
+declare(string NameOfRing, string Variables[,string  Parameters, string Ordering]);
 Defining the ring, optional parametes are a string of parameters and a sting of ordering.
  
@@ -182 +182 @@
 {
   return( transpose( syz( transpose(M) ) ) );
+};
+//------------------------------------------------------------------------
+proc LeftInverse(module M)
+{
+  int NCols=ncols(M);
+  M=transpose(M);
+  matrix I[NCols][NCols];
+  I=I+1;
+  module Id=I;
+  return( module( transpose( lift( M,Id ) ) ) );
+};
+example
+{"EXAMPLE:";echo =2;
+  ring r=0,(x,y,z),dp;
+  
 };
 //------------------------------------------------------------------------
@@ -209 +224 @@
   
   if(i>NVars)
-  {  
+  { module RK =RightKernel(R); 
     return( list( -1, 
                   "strongly controllable, image representation:",
-                   RightKernel(R),
+                   RK,
+                  "left inverse to image representation:",
+                   LeftInverse(RK),
                    DofS, 
                    d)