Changeset 6fe9a5 in git for Singular/LIB/dmodapp.lib

Timestamp:

Mar 18, 2011, 9:12:17 PM (12 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

3542f7c7fb52228c2cae41980c84109e503eaf75

Parents:

19ad27804d6e9c1c16eb3b3f560ad543ea06b922

Message:

*levandov: bugfixes for bfun_lib and dmodapp_lib by Daniel Andres

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

File:

• Singular/LIB/dmodapp.lib (modified) (5 diffs)

Singular/LIB/dmodapp.lib

@@ -131 +131 @@
   11.10.10 by DA:
   - procedure bFactor now sorts the roots using new static procedure sortNumberIdeal
+
+  17.03.11 by DA:
+  - bugfixes for inForm with polynomial input, typo in restrictionIdealEngine
 */
 
@@ -1674 +1677 @@
 
 proc inForm (def I, intvec w)
-  "USAGE:  inForm(I,w);  I ideal or poly, w intvec
+"USAGE:  inForm(I,w);  I ideal or poly, w intvec
 RETURN:  ideal, generated by initial forms of generators of I w.r.t. w, or
 @*       poly, initial form of input poly w.r.t. w
@@ -1692 +1695 @@
     ERROR("weight vector has wrong dimension");
   }
-  if (I == 0)
+  ideal II = I;
+  if (simplify(II,2) == 0)
   {
     return(I);
@@ -1701 +1705 @@
   poly g;
   ideal J;
-  for (j=1; j<=ncols(I); j++)
-  {
-    l = poly2list(I[j]);
+  for (j=1; j<=ncols(II); j++)
+  {
+    l = poly2list(II[j]);
     m = scalarProd(w,l[1][1]);
     g = l[1][2];
@@ -2277 +2281 @@
         if (v == zm)
         {
-          J[size(J+1)] = M[1,i];
+          J[size(J)+1] = M[1,i];
         }
       }