Changeset 9660f5 in git for Singular/LIB/algebra.lib

Timestamp:

Apr 3, 2009, 10:58:53 PM (14 years ago)

Author:

Motsak Oleksandr <motsak@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

bb02ea041a895524f1e9c21fb8250d90719003c1

Parents:

5c990f152831c8b6b6954cc2fc0829365f41cc20

Message:

*motsak: fixes due to O.Iena


git-svn-id: file:///usr/local/Singular/svn/trunk@11621 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

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

Singular/LIB/algebra.lib

@@ -3 +3 @@
 //new proc  nonZeroEntry(id), used to fix a bug in proc finitenessTest
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: algebra.lib,v 1.19 2009-02-20 09:26:50 Singular Exp $";
+version="$Id: algebra.lib,v 1.20 2009-04-03 20:58:53 motsak Exp $";
 category="Commutative Algebra";
 info="
@@ -249 +249 @@
                 and then l[2] = y(0)-h(y(1),...,y(k)) if p = h(i[1],...,i[k])
          l[1]=0 iff p is in not the subring generated by i,
-                and then l[2] = h(y(0),y(1),...,y(k) where p satisfies the
+                and then l[2] = h(y(0),y(1),...,y(k)) where p satisfies the
                 nonlinear relation h(p,i[1],...,i[k])=0.
 @end format
 NOTE:    the proc algebra_containment tests the same with a different
          algorithm, which is often faster
+         if l[1] == 0 then l[2] may contain more than one relation h(y(0),y(1),...,y(k)), 
+         separated by comma
 EXAMPLE: example inSubring; shows an example
 "
@@ -298 +300 @@
      }
      if (deg(ker[i]/y(0))>0)
-     { l[2]=l[2]+string(ker[i]);
+     { if( l[2] != "" ){ l[2] = l[2] + ","; } 
+       l[2] = l[2] + string(ker[i]);
      }
   }