Changeset fc46db in git

Timestamp:

Mar 5, 2010, 11:35:28 PM (13 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

1f190d7136840b518cb253adbb3225c11420b6ea

Parents:

f8fb471ddba04b92f5fdc0432fcc4d3df1b09514

Message:

*levandov: bugfix, rightInverse for noncomm case, doc improvements

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

File:

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

Singular/LIB/control.lib

@@ -12 +12 @@
 
 MAIN PROCEDURES:
-  control(R)     analysis of controllability-related properties of R (using Ext modules)
-  controlDim(R)  analysis of controllability-related properties of R (using dimension)
-  autonom(R)     analysis of autonomy-related properties of R (using Ext modules)
-  autonomDim(R)  analysis of autonomy-related properties of R (using dimension)
+  control(R);     analysis of controllability-related properties of R (using Ext modules)
+  controlDim(R);  analysis of controllability-related properties of R (using dimension)
+  autonom(R);     analysis of autonomy-related properties of R (using Ext modules)
+  autonomDim(R);  analysis of autonomy-related properties of R (using dimension)
 
 COMPONENT PROCEDURES:
-  leftKernel(R)       a left kernel of R
-  rightKernel(R)      a right kernel of R
-  leftInverse(R)      a left inverse of R
-  rightInverse(R)     a right inverse of R
-  colrank(M)          a column rank of M as of matrix
-  genericity(M)       analysis of the genericity of parameters
-  canonize(L)         Groebnerification for modules in the output of control or autonomy procs
-  iostruct(R)         computes an IO-structure of behavior given by a module R
-  findTorsion(R, I)   generators of the submodule of a module R, annihilated by the ideal I
+  leftKernel(R);       a left kernel of R
+  rightKernel(R);      a right kernel of R
+  leftInverse(R);      a left inverse of R
+  rightInverse(R);     a right inverse of R
+  colrank(M);          a column rank of M as of matrix
+  genericity(M);       analysis of the genericity of parameters
+  canonize(L);         Groebnerification for modules in the output of control or autonomy procs
+  iostruct(R);         computes an IO-structure of behavior given by a module R
+  findTorsion(R, I);   generators of the submodule of a module R, annihilated by the ideal I
 
 AUXILIARY PROCEDURES:
-  controlExample(s)   set up an example from the mini database inside of the library
-  view()              well-formatted output of lists, modules and matrices
+  controlExample(s);   set up an example from the mini database inside of the library
+  view();              well-formatted output of lists, modules and matrices
 ";
 
@@ -246 +246 @@
 "
 {
-  return(transpose(leftInverse(transpose(R))));
+  // for comm case it suffices
+  if (isCommutative())
+  {
+    return(transpose(leftInverse(transpose(R))));
+  }
+  // for noncomm
+  def save = basering; def sop = opposite(save);
+  setring sop; module Mop = oppose(save,R); 
+  Mop = transpose(Mop);
+  module L = leftInverse(Mop);
+  setring save; module L = oppose(sop,L);
+  L = transpose(L);
+  return(matrix(L));
 }
 example
@@ -1604 +1616 @@
   return(@r);
 }
+
+/* noncomm examples for leftInverse/rightInverse: 
+
+LIB "jacobson.lib";
+    ring w = 0,(x,d),Dp;
+    def W=nc_algebra(1,1);
+    setring W;
+    matrix m[3][3]=[d2,d+1,0],[d+1,0,d3-x2*d],[2d+1, d3+d2, d2];
+    list J=jacobson(m,0);
+
+leftInverse(J[3]); // exist
+rightInverse(J[3]);
+
+leftInverse(J[1]); // zero
+rightInverse(J[1]);
+
+list JJ = jacobson(J[1],0);
+
+leftInverse(JJ[3]); // exist
+rightInverse(JJ[3]);
+
+leftInverse(JJ[1]); // exist
+rightInverse(JJ[1]);
+
+leftInverse(JJ[2]); // zero
+rightInverse(JJ[2]);
+
+*/