Changeset 7fe9f8b in git for Singular/LIB/schreyer.lib

Timestamp:

Nov 2, 2012, 5:46:30 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

24db4229db220ee36db967fbe60ace26becd3579

Parents:

d0b4e7a8ccb0461165a7581a567ade8752125382

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-02 17:46:30+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-02 17:54:16+01:00

Message:

Added new experimental library "derham.lib"

add: derham.lib as an experimental library (SLIB1 in singular-libs)
add: added tests for derham.lib as Tst/Plural/derham.tst + included into Tst/Plural.lst
chg/fix: avoid "wrong weights" warning out of 'std'

TODO: induced deg seems to be ignored - one is to make use of "am" instead?

File:

• Singular/LIB/schreyer.lib (modified) (2 diffs)

Singular/LIB/schreyer.lib

@@ -250 +250 @@
     "Sstep::NextInput: ";
     M;
-    @V;
+    deg(M[1..ncols(M)]); // no use of @W :(?
     @RANK;   
     DetailedPrint(MRES);
-    attrib(MRES, "isHomog");
+    attrib(MRES, "isHomog"); @W;
+    deg(MRES[1..ncols(MRES)]);
   }
 
@@ -273 +274 @@
 
   module N = separateSyzGB(K, @RANK)[2]; // 1^st syz. module: vectors which start in lower part (comp >= @RANK)
-  attrib(N, "isHomog", @V);
 
 // "N_0: "; N; DetailedPrint(N, 10);
-  
-  N = std(N); // TODO: fix "wrong weights"!!!?
+
+//  basering; print(@V); type(N); 
+//  attrib(N, "isHomog", @V);  // TODO: fix "wrong weights"!!!? deg is wrong :(((
+  N = std(N);
   attrib(N, "isHomog", @V);