Changeset b0ca43c in git

Timestamp:

May 10, 2012, 6:58:51 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

768c0c633aae467a89a591f785e3022483f6be78860d71cc6a362dccf8aea3a8620a4e147d6ab72c

Parents:

fdde6cefc2a23bb663a3fe197b2e24bffacac361

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-10 18:58:51+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-10 18:59:06+02:00

Message:

new global option for auto-testing the Syzygy property ("SYZCHECK")

NOTE: it is On for now... TODO: disable later!

File:

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

Singular/LIB/schreyer.lib

@@ -475 +475 @@
   
   int @DEBUG = !system("with", "ndebug");
+  int @SYZCHECK = 1 || @DEBUG; // TODO: only for now!!
   
   if( @DEBUG )
@@ -568 +569 @@
   }
 
-  if( @DEBUG )
+  if( @SYZCHECK )
   {
     // 0^th syz. property
@@ -587 +588 @@
   attrib(MRES, "isHomog", @V);
   
-  attrib(S, "InducionStart", @RANK);
+//  attrib(S, "InducionStart", @RANK);
   attrib(S, "LEAD2SYZ", 1);
   attrib(S, "TAILREDSYZ", 0);
   attrib(S, "DEBUG", @DEBUG);
+  attrib(S, "SYZCHECK", @SYZCHECK);
   
   if( @DEBUG )
@@ -736 +738 @@
   }
 
+  if( typeof( attrib(basering, "SYZCHECK") ) == "int" )
+  {
+    int @SYZCHECK = attrib(basering, "SYZCHECK");
+  } else
+  {
+    int @SYZCHECK = @DEBUG;
+  }
+  
+
   if( @DEBUG )
   {
@@ -804 +815 @@
   {
     "SSCompute2LeadingSyzygyTerms::Syz(LEAD): "; S;
-
+  }
+
+  if( @SYZCHECK )
+  {
     if( size(S) > 0 and size(L) > 0 )
     {
@@ -1075 +1089 @@
 static proc SSstep()
 {
-  /// TODO!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-  int @DEBUG = !system("with", "ndebug");
+  if( typeof( attrib(basering, "DEBUG") ) == "int" )
+  {
+    int @DEBUG = attrib(basering, "DEBUG");
+  } else
+  {
+    int @DEBUG = !system("with", "ndebug");
+  }
+
+
+  if( typeof( attrib(basering, "SYZCHECK") ) == "int" )
+  {
+    int @SYZCHECK = attrib(basering, "SYZCHECK");
+  } else
+  {
+    int @SYZCHECK = @DEBUG;
+  }
 
   if( @DEBUG )
@@ -1146 +1174 @@
 
 
-  if( size(N) > 0 )
-  {
-    if( @DEBUG )
+  if( @SYZCHECK )
+  {
+    if( size(N) > 0 )
     {
       // next syz. property