Changeset 1f190d7 in git for Singular/LIB

Timestamp:

Mar 5, 2010, 11:35:50 PM (14 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

c57a83edd49526195f04ddf602fca071cafed3b7

Parents:

fc46db6c6caaf5753ae95943e23d432236bb7b6c

Message:

*levandov: examples and doc improvements

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

File:

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

Singular/LIB/jacobson.lib

@@ -873 +873 @@
        }
 
-
-
-
        for(i=nz+1; i<=size(STD_EX); i++ )
         {if( leadcoef(STD[i-nz])!=leadcoef(STD_EX[i]) )          {STD[i-nz]=leadcoef(STD_EX[i])*STD[i-nz];}
@@ -963 +960 @@
         }
 
-
-      ///////////////////////// check whether the alg termined /////////////////
+      ///////////////////////// check whether the alg terminated /////////////////
       if(size(COMPARE)>=3)
        {
@@ -1143 +1139 @@
 matrix m[3][4] = s,x^2*s,x^3*s,s*x^2,s*x+1,(x+1)^3, (x+s)^2, x*s;
 
-// this one is quite nasty and time consuming
+// this one is quite nasty and time consumig
 matrix m[3][4] = s,x^2*s,x^3*s,s*x^2,s*x+1,(x+1)^3, (x+s)^2, x*s,x,x^2,x^3,s;
 
@@ -1183 +1179 @@
     print(J[1]*m*J[3]-J[2]); 
 
+// yet another example from the paper, also Middeke
+   ring w = (0,y),(x,d),Dp;
+   def W=nc_algebra(1,1);
+   setring W;
+   matrix m[2][2]=y^2*d^2+d+1, 1, x*d, x^2*d^2+d+y;
+   list J=jacobson(m,0);
+   print(J[1]*m*J[3]);     print(J[2]);     print(J[1]);     print(J[3]);
+   print(J[1]*m*J[3]-J[2]);
+
+
 */