Changeset c999545 in git for Singular/LIB/digimult.lib

Timestamp:

May 19, 2006, 1:42:31 PM (18 years ago)

Author:

Michael Brickenstein <bricken@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

e28b133c37a886418e334559fc4175333b25e412

Parents:

11de3e8f11bec7f9b6008145cb455f4bff59972c

Message:

*some prot


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

File:

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

Singular/LIB/digimult.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: digimult.lib,v 1.4 2005-11-08 07:07:16 bricken Exp $";
+version="$Id: digimult.lib,v 1.5 2006-05-19 11:42:31 bricken Exp $";
 category="Logic";
 info="
@@ -140 +140 @@
 
 static proc simple_gps(ideal i, list var_order, int step){
+  if ((size(i)==0)){~;}
   step=step+1;
   degBound=step+1;
   ideal j;
   if (size(var_order)==0){
+    ~;
     degBound=0;
     j=std(i);
@@ -161 +163 @@
   }
   j=simplify(j,2);
-  j=simplify(j,8);
+  //j=simplify(j,8);
 
   poly v=var(var_order[1]);
   var_order=delete(var_order,1);
   ideal j0=subst(j,v,0);
+  "setting", v, "to",0;
   j0=simplify(j0,2);
+ 
   j0=simplify(j0,8);
   if (simple_gps(j0,var_order,step)==1){
     return(1);
   } else{
-    j0=subst(j,v,1);
-    j0=simplify(j0,2);
-    j0=simplify(j0,8);
-    return(simple_gps(j0,var_order, step));
+    "setting", v, "to",1;
+    ideal j1=subst(j,v,1);
+    j1=simplify(j1,2);
+    //j0=simplify(j1,8);
+    return(simple_gps(j1,var_order, step));
   }