Changeset 8e650e in git

Timestamp:

May 25, 2012, 10:32:31 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

c1931a46f17ed5666606c948fc7c095a67adeb38

Parents:

74afe1f3ea99838d00c52d1a3eaef93fc067ba10

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-05-25 22:32:31+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:43+02:00

Message:

options are attached as attributes to SSinit

File:

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

Singular/LIB/schreyer.lib

@@ -551 +551 @@
   
   int @DEBUG = !system("with", "ndebug");
-  int @SYZCHECK = 1 || @DEBUG; // TODO: only for now!!
+
+  if( typeof( attrib(SSinit, "DEBUG") ) == "int" )
+  {
+    @DEBUG = attrib(SSinit, "DEBUG");
+  }
+
+  int @SYZCHECK = @DEBUG; 
+
+  if( typeof( attrib(SSinit, "SYZCHECK") ) == "int" )
+  {
+    @SYZCHECK = attrib(SSinit, "SYZCHECK");
+  }
   
   if( @DEBUG )
@@ -703 +714 @@
   
 //  attrib(S, "InducionStart", @RANK);
-  attrib(S, "LEAD2SYZ", 1);
-  attrib(S, "TAILREDSYZ", 1);
+
+
+  if( typeof( attrib(SSinit, "LEAD2SYZ") ) == "int" )
+  {
+    attrib(S, "LEAD2SYZ", attrib(SSinit, "LEAD2SYZ") );
+  } else
+  { 
+    attrib(S, "LEAD2SYZ", 1);
+  }
+
+  if( typeof( attrib(SSinit, "TAILREDSYZ") ) == "int" )
+  {
+    attrib(S, "TAILREDSYZ", attrib(SSinit, "TAILREDSYZ") );
+  } else
+  { 
+    attrib(S, "TAILREDSYZ", 1);
+  }
+
+
+  if( typeof( attrib(SSinit, "HYBRIDNF") ) == "int" )
+  {
+    attrib(S, "HYBRIDNF", attrib(SSinit, "HYBRIDNF") );
+  } else
+  { 
+    attrib(S, "HYBRIDNF", 0);
+  }
+  
   attrib(S, "DEBUG", @DEBUG);
   attrib(S, "SYZCHECK", @SYZCHECK);
@@ -1143 +1179 @@
     int @DEBUG = !system("with", "ndebug");
   }
+
+  if( typeof( attrib(basering, "SYZCHECK") ) == "int" )
+  {
+    int @SYZCHECK = attrib(basering, "SYZCHECK");
+  } else
+  {
+    int @SYZCHECK = @DEBUG;
+  }
+  
   
   if( @DEBUG )