Changeset 97a7da2 in git

Timestamp:

Jan 24, 2015, 1:20:18 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

f999689a0462639ba7b739684fd5d5bf45a2cab3

Parents:

b67caf495ff6a195c2ad18c287338f99c3d4f78a

Message:

minor fixes: handling of attrib isSB

Location:

Singular/LIB

Files:

• bimodules.lib (modified) (1 diff)
• dmodvar.lib (modified) (1 diff)
• homolog.lib (modified) (1 diff)
• ring.lib (modified) (1 diff)

Singular/LIB/bimodules.lib

@@ -722 +722 @@
   ideal J;
   // determine whether I is a left Groebner basis
-  if (attrib(I,"isSB") == 1)
+  if (attrib(I,"isSB"))
   {
     J = I;

Singular/LIB/dmodvar.lib

@@ -698 +698 @@
   int n = nvars(basering);
   int c;
-  if (attrib(I,"isSB") == 1)
+  if (attrib(I,"isSB"))
   {
     c = n - dim(I);

Singular/LIB/homolog.lib

@@ -534 +534 @@
   { // compute resolution via sres command
     if( attrib(M,"isSB")==0 ) {
-      if (size(M)==0) { attrib(M,"isSB")=1; }
-      else { M=std(M); }
+      M=std(M);
     }
     list resl = sres(M,max+1);

Singular/LIB/ring.lib

@@ -1070 +1070 @@
 EXAMPLE: isSubModule; shows an example
 {
-  if (attrib(J,"isSB")==1)
+  if (attrib(J,"isSB"))
   { return(size(reduce(I,J,1))==0); }
   else