Changeset c5a2c01 in git

Timestamp:

Sep 28, 2023, 8:08:22 AM (8 months ago)

Author:

slap <slaplagne@…>

Branches:

(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')

Children:

565e783b8c7b86711d63e4eb326118f2bf3486e2

Parents:

1ba41f566f1f5d8bb0819c86c6ca31a4dd747ccd

git-author:

slap <slaplagne@gmail.com>2023-09-28 08:08:22+02:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2023-11-07 16:30:30+01:00

Message:

Variables renamed

Some variables renamed to make the code more clear

Location:

Singular/LIB

Files:

• .singularhistory (modified) (1 diff)
• integralbasis.lib (modified) (2 diffs)

Singular/LIB/.singularhistory

@@ -5390 +5390 @@
 size(reduce(l1[1], groebner(l2[1])));
 size(reduce(l2[1], groebner(l1[1])));
+LIB"integralbasis.lib";
+ring r = 0, (x,y), dp;
+poly f = (y4+3x3y + x4)*(y^7 + 6x4y3 + 2xy + x7)*(y5+7xy-4x2)*(y3+x2)*(y2-x3)+y30;
+int t = timer;
+list l1 = integralBasis(f,2, "atOrigin");
+"opti", timer - t;
+int t = timer;
+list l2 = integralBasis(f,2, "atOrigin", "noOpti");
+"no opti", timer - t;
+size(reduce(l1[1], groebner(l2[1])));
+size(reduce(l2[1], groebner(l1[1])));
+LIB"integralbasis.lib";
+ring r = 0, (x,y), dp;
+poly f = (y4+3x3y + x4)*(y^7 + 6x4y3 + 2xy + x7)*(y5+7xy-4x2)*(y3+x2)*(y2-x3)+y100;
+int t = timer;
+list l1 = integralBasis(f,2, "atOrigin");
+"opti", timer - t;
+int t = timer;
+list l2 = integralBasis(f,2, "atOrigin", "noOpti");
+"no opti", timer - t;
+size(reduce(l1[1], groebner(l2[1])));
+size(reduce(l2[1], groebner(l1[1])));
+LIB"integralbasis.lib";
+ring r = 0, (x,y), dp;
+poly f = (y4+3x3y + x4)*(y^7 + 6x4y3 + 2xy + x7)*(y9+7xy2-4x2)*(y3+x2)*(y2-x3)+y30;
+int t = timer;
+list l1 = integralBasis(f,2, "atOrigin");
+"opti", timer - t;
+int t = timer;
+list l2 = integralBasis(f,2, "atOrigin", "noOpti");
+"no opti", timer - t;
+size(reduce(l1[1], groebner(l2[1])));
+size(reduce(l2[1], groebner(l1[1])));
+LIB"integralbasis.lib";
+ring r = 0, (x,y), dp;
+poly f = (y4+ x4)*(y^7 + 2xy + x2)*(y5+7x3)*(y3+x2)*(y3-x2)*(y2-x3)+y30;
+int t = timer;
+list l1 = integralBasis(f,2, "atOrigin");
+"opti", timer - t;
+int t = timer;
+list l2 = integralBasis(f,2, "atOrigin", "noOpti");
+"no opti", timer - t;
+size(reduce(l1[1], groebner(l2[1])));
+size(reduce(l2[1], groebner(l1[1])));
+LIB"integralbasis.lib";
+ring r = 0, (x,y), dp;
+poly f = (y4+ x4)*(y^7 + 2xy + x2)*(y5+7x3)*(y3+x2)*(y3-x2)*(y2-x3)+y30;
+int t = timer;
+list l1 = integralBasis(f,2, "atOrigin");
+"opti", timer - t;
+int t = timer;
+list l2 = integralBasis(f,2, "atOrigin", "noOpti");
+"no opti", timer - t;
+size(reduce(l1[1], groebner(l2[1])));
+size(reduce(l2[1], groebner(l1[1])));
+

Singular/LIB/integralbasis.lib

@@ -1304 +1304 @@
     "Number of segments: ", size(fSegment);
     
-    list pRecomputed;
+    list pExpRecomputed;
     list nPoly;
     
@@ -1333 +1333 @@
       {
         // puiseux(poly f, int maxDeg, int atOrigin)
-        list lRecomputed = puiseux(fSegment[i], globOrder, 1);
+        pExpRecomputed = puiseux(fSegment[i], globOrder, 1);
         debug_log_intbas(3, "------Puiseux expansions recomputed: ");
-        classesNew = getClasses(lRecomputed);
+        classesNew = getClasses(pExpRecomputed);
       }