Changeset edfe71 in git for Singular/LIB/standard.lib

Timestamp:

Oct 20, 2005, 3:13:53 PM (19 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

50cce796a85aab0e31358748ad1b9f754dac9e03

Parents:

836dc0ed2d2275fe2390d2d8d1b51ae6998669b5

Message:

*hannes: groebner and module


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

File:

• Singular/LIB/standard.lib (modified) (8 diffs)

Singular/LIB/standard.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: standard.lib,v 1.73 2005-09-27 16:52:57 Singular Exp $";
+version="$Id: standard.lib,v 1.74 2005-10-20 13:13:53 Singular Exp $";
 category="Miscellaneous";
 info="
@@ -249 +249 @@
     return(std(i));
   }
+
   //if ordering is global, there are parameters and minpoly is 0
   if (((npars(basering)>0) &&(minpoly==0)) &&(typeof(basering)=="ring"))
-  {
-    return(slimgb(i));
-  }
+  { return(slimgb(i)); }
+
+  // for module case, not already hadled by slimgb:
+  if (nrows(i)>1)
+  { return(std(i)); }
   int IsSimple_P;
   if (system("nblocks") <= 2)
@@ -300 +303 @@
   int nvarP = nvars(P);
   int k;
-  ideal Qideal = ideal(P);  
+  ideal Qideal = ideal(P);
   string ri;
 
@@ -310 +313 @@
   if (npars_P > 1)
   {
-    for (k=1; k<=npars_P; k++) 
-    {
-      BRlist[2][nvarP+k] = BRlist[1][2][k]; 
+    for (k=1; k<=npars_P; k++)
+    {
+      BRlist[2][nvarP+k] = BRlist[1][2][k];
     }
     BRlist[1]=BRlist[1][1];
@@ -318 +321 @@
   }
 
-    
+
   // for Hilbert driven approach, Qring structure is removed (defining ideal
-  // will be added to the ideal under consideration in the process).  
+  // will be added to the ideal under consideration in the process).
   if (size(BRlist[4])>0)
   {
     int was_qring = 1;
     BRlist[4] = ideal(0);
-  } 
+  }
 
   // a homogenizing variable is added, if necessary
@@ -332 +335 @@
   {
     add_vars = add_vars + 1;
-    BRlist[2][nvarP+add_vars] = "@t@"; 
+    BRlist[2][nvarP+add_vars] = "@t@";
   }
   // save ordering for later use
@@ -339 +342 @@
   // ordering is set to (dp, C)
   intvec weight_dp = 1;
-  for (k=2; k<=nvarP+add_vars; k++) { weight_dp = weight_dp,1; } 
+  for (k=2; k<=nvarP+add_vars; k++) { weight_dp = weight_dp,1; }
   BRlist[3] = list();
   BRlist[3][1]=list("dp",weight_dp);
@@ -397 +400 @@
       BRlist[3][1][2] = OW;
     }
-    else 
+    else
     {
       if ( IsSimple_P && (add_vars==1) && (size(ord_P)==2) && (ord_P[2][1]=="lp") )