Changeset 1234c7 in git

Timestamp:

Jul 11, 2014, 8:56:56 PM (9 years ago)

Author:

Jakob Kröker <kroeker@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

312a931ca75e1ecf46c185282254d34874f9f4a4

Parents:

6a1aa7d0eeeb75c177a819b9a240c9c4c1948778

Message:

bugfix in isSubModule

File:

• Singular/LIB/ring.lib (modified) (1 diff)

Singular/LIB/ring.lib

@@ -1028 +1028 @@
   { return(size(reduce(I,J,1)==0)); }
   else
-  { return(size(reduce(I,groebner(J),1)==0)); }
-}
-example
-{
+  { return(size(reduce(I,groebner(J),1))==0); }
+}
+example
+{ 
+  "EXAMPLE:"; echo = 2;
   ring r=0,x,dp;
   ideal I1=x2;
   ideal I2=x3;
-  isSubModule(I1,I2);
-  isSubModule(I2,I1);
+  isSubModule(I1, I2);
+  isSubModule(I2, I1);
+  module M = x,0;
+  isSubModule(M,M);
 }