Changeset e1ac3f in git

Timestamp:

Jul 17, 2009, 6:16:40 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6ae83a06bcff3f02af32f42b3606969790cda282

Parents:

3c7278bb58cb6b216292adf91871509a8d8455da

Message:

*hannes: interred -> std


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

File:

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

Singular/LIB/solve.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: solve.lib,v 1.39 2009-04-15 11:24:12 seelisch Exp $";
+version="$Id: solve.lib,v 1.40 2009-07-17 16:16:40 Singular Exp $";
 category="Symbolic-numerical solving";
 info="
@@ -387 +387 @@
   int i=1;
   int j;
-  ideal h,split;
-  poly high;
-
-  h=interred(ideal(p,diff(p,x)));
-  if(deg(h[1])==0){return(p);}
-  high=h[1];
+  ideal split;
+  poly high,h;
+
+  h=std(ideal(p,diff(p,x)))[1];
+  if(deg(h)==0){return(p);}
+  high=h;
   split[1]=exdiv(p,high,x);
   while(1)
   {
-    h=interred(ideal(split[i],high));
-    j=deg(h[1]);
+    h=std(ideal(split[i],high))[1];
+    j=deg(h);
     if(j==0){return(p);}
-    if(deg(h[1])==deg(split[i]))
+    if(deg(h)==deg(split[i]))
     {
       split=split,split[i];
@@ -744 +744 @@
     {
       def dphilb = basering;
-      G=interred(G);
-      attrib(G,"isSB",1);
+      G=std(G);
+      //attrib(G,"isSB",1);
     }
     execute("ring lexhilb=("+charstr(rin)+"),("+ varstr(rin)+"),lp;");
@@ -760 +760 @@
     kill lexhilb;
   }
-  else{ideal H = interred(G);}
+  else{ideal H = std(G);}
 
 // only 1 variable
@@ -1132 +1132 @@
 
   d = size(T);
-  S = interred(ideal(T[1],diff(T[1],var(d))));
+  S = std(ideal(T[1],diff(T[1],var(d))));
   if (deg(S[1]))
   {