Changeset 8f0728 in git for Singular/LIB/ring.lib

Timestamp:

Jul 14, 2014, 10:32:48 AM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

43c97c987f6b22c14b6cb512fcaf3df848b37932

Parents:

88cceb35fdbba978179426df7e02dc46d68a25d8642a254c3cd9870d56e7587e48237a9649b595d3

Message:

Merge pull request #616 from surface-smoothers/spielwiese

the second typo in ring.lib . Gotcha\!

File:

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

Singular/LIB/ring.lib

@@ -1026 +1026 @@
 {
   if (attrib(J,"isSB")==1)
-  { return(size(reduce(I,J,1)==0)); }
+  { return(size(reduce(I,J,1))==0); }
   else
   { return(size(reduce(I,groebner(J),1))==0); }
@@ -1036 +1036 @@
   ideal I1=x2;
   ideal I2=x3;
+  ideal I3=x2,0;
   isSubModule(I1, I2);
   isSubModule(I2, I1);
+  isSubModule(I3, I1);
   module M = x,0;
   isSubModule(M,M);