Changeset 1a4ddd in git

Timestamp:

Jan 5, 2015, 6:45:56 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

404f45e7f2bbd4ead6ed034b30dbd5cd299dcb47

Parents:

f935621a6bf45cf043ca5689b1ae4ad916ce6aca

Message:

primdec: T -> var(1), changeordTo

File:

• Singular/LIB/primdec.lib (modified) (4 diffs)

Singular/LIB/primdec.lib

@@ -6827 +6827 @@
   matrix n=imap(R,n);
   time = timer;
-  poly charpol=det(n-T*freemodule(d));
+  poly charpol=det(n-var(1)*freemodule(d));
   dbprint(printlevel-voice+2,"// time for computing char poly: "+
          string(timer-time));
@@ -6859 +6859 @@
     option(redSB);
     list re1;
-    ideal new = T-imap(R,p),imap(R,J);
+    ideal new = var(1)-imap(R,p),imap(R,J);
     attrib(new, "isSB",1);    //we know that new is a standard basis
     for(j=1;j<=f;j++)
@@ -7146 +7146 @@
       if (intersectOption == "intersect")
       {
-       list pr = result[1];
-       ideal intersection = result[2];
+        list pr = result[1];
+        ideal intersection = result[2];
       }
       else
@@ -7346 +7346 @@
   else
   {
-    execute( "ring @Phelp=("+charstr(gnir)+"),("+varstr(gnir)+"),(C,dp);");
+    def @Phelp=changeordTo(gnir,"dp");
+    setring @Phelp;
   }