Changeset c39fdc in git

Timestamp:

Apr 7, 2015, 1:56:57 PM (8 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

bd1350243abeac670b9674a3caad92f65bc473e1

Parents:

cec9b007f86b234905874a3be5ad6ff7d0661ae4

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2015-04-07 13:56:57+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2015-04-07 14:01:40+02:00

Message:

Quick fix for mappingcone3: added a stub for grneg (to be finished later on)

NOTE: some examples fail with '? 2nd module does not lie in the first' due to inproper use of lifting procedures (on wrong place)

File:

• Singular/LIB/gradedModules.lib (modified) (9 diffs)

Singular/LIB/gradedModules.lib

@@ -48 +48 @@
     grrndmap(S,D[,p,b])   generate random 0-deg homomorphism src(S) -> src(D)
     grrndmap2(S,D[,p,b])   generate random 0-deg homomorphism dst(S) -> dst(D)
-    grlifting(A,B)     RANDOM! chain lifting
-    grlifting2(A,B)    RANDOM! chain lifting
+    grlifting(A,B)     RND! chain lifting
+    grlifting2(A,B)    RND! chain lifting
     mappingcone(M,N)   mapping cone?
     mappingcone2(M,N)  mapping cone2?
-    grlifting3(A,B)    RANDOM! chain lifting?
-    grlifting4(A,B)    RANDOM! chain lifting?
+    grlifting3(A,B)    RND! chain lifting? probably wrong one
+    grlifting4(A,B)    RND! chain lifting? newer from #hani# for mappingcone3
     mappingcone3(A,B)  mapping cone3? (using grlifting4 at the moment)
     grrange(M)         get the row-weightings
@@ -1620 +1620 @@
 
 proc grlift0(M, N, alpha1)
-"generic random alpha0 : coker(M) -> coker(N) from random alpha1"
+"PURPOSE: generic random alpha0 : coker(M) -> coker(N) from random alpha1
+NOTE: this proc can work only if some assumptions are fulfilled (due
+to Wolfram)! e.g. at the end of a resolution for the source module...
+"
 {
 
@@ -2190 +2193 @@
 */
 
+proc grneg(M)
+"negative map
+TODO for Hanieh: please document this and find good motivating examples for this proc!!
+"
+{
+  return ( grobj(-M, grrange(M), grdeg(M) ) );
+}
+
 // note: not clear which grlifting3 should be used by the following
 // procedure!!?
@@ -2227 +2238 @@
 
 //    ASSUME( 0, grtest(B) );
-    ASSUME( 0, grtest(-rM[i-1]) );    
-    module C=grconcat(-rM[i-1],B); // FIXME: '-' is wrong! need a graded-enabled minus (e.g. grneg?)
+//    ASSUME( 0, grtest(-rM[i-1]) );    
+    ASSUME( 0, grtest( grneg( rM[i-1]) ) );
+    module C=grconcat( grneg( rM[i-1] ) ,B); // FIXME: '-' is wrong! need a graded-enabled minus (e.g. grneg?)
     module D=grconcat(grtranspose(C), grtranspose(A));
 
@@ -2250 +2262 @@
 def F=grlifting4(A,T); grview(F);
 
-/* BUG in the proc */ // def G=mappingcone3(A,T); grview(G);
+/* BUG in the proc */ 
+def G=mappingcone3(A,T); grview(G);
 
 /*
@@ -2267 +2280 @@
 def H=grlifting4(R,S); grview(H);
 
-/* BUG in the proc */ // def G=mappingcone3(R,S); // ????????
+/* BUG in the proc */ 
+def G=mappingcone3(R,S); // ????????
 
 
@@ -2273 +2287 @@
 def J=KeneshlouMatrixPresentation(intvec(4,0,1,2,1));
 // def N=grlifting4(I,J); 
-/* 2nd module does not lie in the first: */ // def NN=mappingcone3(I,J); // ????????
+/* 2nd module does not lie in the first: */ 
+def NN=mappingcone3(I,J); // ????????
 
 }
@@ -2338 +2353 @@
 grview(F);
 
+def G=mappingcone3(A,T);grview(G);
 /*
-def G=mappingcone3(A,T);grview(G);
 module W=grtranspose(G[1]);
 resolution U=mres(W,0);
@@ -2354 +2369 @@
 def H=grlifting4(R,S); grview(H);
 
-// def G=mappingcone3(R,S); // ????????
+def G=mappingcone3(R,S); // ????????
 
 def I=KeneshlouMatrixPresentation(intvec(2,3,0,6,2));
 def J=KeneshlouMatrixPresentation(intvec(4,0,1,2,1));
-/* 2nd module does not lie in the first: */ // def N=grlifting4(I,J); 
-
-}
+/* 2nd module does not lie in the first: */
+def N=grlifting4(I,J);
+
+}