Changeset ecc5d0 in git

Timestamp:

Feb 25, 2014, 12:09:27 PM (10 years ago)

Author:

Andreas Steenpass <steenpass@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

d3158db7c3fe477e710ec83e75fa69fe5a50cc5f

Parents:

eeb5b0cee52862b60f2f9f5250185bd15e1f6103

git-author:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2014-02-25 12:09:27+01:00

git-committer:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2014-02-25 12:14:49+01:00

Message:

fix: use local degree ordering for highcorner()
(cherry picked from commit aeadebaaa1e1dd0a5398e4f834e5b5f8c29012de)

Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

File:

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

Singular/LIB/realclassify.lib

@@ -728 +728 @@
   /* auxiliary variables */
   int i;
+  def br = basering;
 
   /* error check */
-  if(char(basering) != 0)
+  if(char(br) != 0)
   {
     ERROR("The characteristic must be zero.");
   }
-  int n = nvars(basering);
+  int n = nvars(br);
   for(i = 1; i <= n; i++)
   {
@@ -781 +782 @@
   /* highest corner */
   int hc;
+  if(ordstr(br) != "ds")
+  {
+    list lbr = ringlist(br);
+    lbr[3] = list(list("ds", 1:nvars(br)), list("C", 0));
+    def br_ds = ring(lbr);
+    setring(br_ds);
+    poly f = fetch(br, f);
+  }
   for(i = 0; i < 3; i++)
   {
-    f = jet(f, k);
     hc = deg(highcorner(std(maxideal(i)*jacob(f))));
     hc = hc+2-i;
@@ -789 +797 @@
     {
       k = hc;
-    }
+      f = jet(f, k);
+    }
+  }
+  if(ordstr(br) != "ds")
+  {
+    setring(br);
   }