Changeset 3fd4df in git

Timestamp:

May 11, 2007, 10:21:53 AM (16 years ago)

Author:

Silke Spang <spang@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

206e158300abe1d4f5f645360e34cd93c2f16071

Parents:

13b0e6f58574b18c192cca9eb5b695de30493fe0

Message:

Verbesserung in der Prozedur realpoly, noch weitere Probleme mit dem Befehl char_series in decision


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

File:

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

Singular/LIB/realrad.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: realrad.lib,v 1.2 2007-04-13 14:24:28 spang Exp $";
+version="$Id: realrad.lib,v 1.3 2007-05-11 08:21:53 spang Exp $";
 category="real algebra";
 info="
@@ -496 +496 @@
 EXAMPLE: decision shows an example
 {
-   string ri,lessvar,perm;
+   string ri,lessvar,parvar,perm;
    ideal jac;
    list varlist,buffer,isol,@s,lhelp,lhelp1,lfac,worklist;
@@ -555 +555 @@
    }
    lessvar=lessvar[2..size(lessvar)];
-   ri="ring r_neu="+charstr(r)+",(@t,"+string(var(n))+","+lessvar+"),dp;";
+   parvar=string(var(n));
+   ri="ring r_neu="+charstr(r)+",(@t,"+parvar+","+lessvar+"),dp;";
    execute(ri);
    poly f=imap(r,f);
@@ -638 +639 @@
        l[zz,n-zz]=1;
      }
-     ri="ring rcoef="+"(0,@t,"+varstr(r)[2*n-1]+"),
+     ri="ring rcoef="+"(0,@t,"+parvar+"),
      ("+lessvar+"),M(l);";
      execute(ri);
@@ -659 +660 @@
    ///////////////////////////////////////////////////////////////////////////
    //Compute an isolating set for p
-   ri="ring iso="+charstr(r)+","+varstr(r)[2*n-1]+",lp;";
+   ri="ring iso="+charstr(r)+","+parvar+",lp;";
    execute(ri);
    poly p=imap(r,p);