passagemath-singular 10.6.30__cp310-cp310-macosx_13_0_arm64.whl → 10.6.31rc2__cp310-cp310-macosx_13_0_arm64.whl

sage_wheels/share/singular/LIB/triang.lib

@@ -1,5 +1,5 @@
 ///////////////////////////////////////////////////////////////////////////
-version="version triang.lib 4.4.0.6 Oct_2024 "; // $Id: 836cf109fd662db3050f513779682f884f5655f6 $
+version="version triang.lib 4.4.1.0 Jan_2025 "; // $Id: 7431c9513a79ef867325d7feb1d5168f576910a4 $
 category="Symbolic-numerical solving";
 info="
 LIBRARY: triang.lib   Decompose Zero-dimensional Ideals into Triangular Sets
@@ -37,14 +37,11 @@ EXAMPLE: example triangL; shows an example
     // Test, ob G Groebnerbasis eines nulldimensionalen Ideals ist.
     if (attrib(G,"isSB") <> 1)
     {
-        ERROR("The input is no groebner basis.");
+      G = groebner(G);
     }
-    else
+    if (dim(G) <> 0)
     {
-        if (dim(G) <> 0)
-        {
-            ERROR("ideal is not zero-dimensional.");
-        }
+      ERROR("ideal is not zero-dimensional.");
     }
 
     if (size(G) <= 2)  // schon Dreiecksbasis
@@ -149,7 +146,17 @@ EXAMPLE: example triangL; shows an example
                 if (l > size(G))  // Ende von G erreicht, dann Dreiecks-
                 {                 // basis der Triangulierung gefunden,
                        dbprint(string(timer)+" S"+st+": Dreiecksbasis der Triangulierung gefunden.");
-                    F = F + list(T_neu);
+                    int ndup=1;
+                    matrix mat_T_neu=matrix(T_neu);
+                    for(int j=size(F);j>0;j--)
+                    {
+                      if(matrix(F[j])==mat_T_neu) { ndup=0;break;}
+                    }
+                    if (ndup)
+                    {
+                      F = F + list(T_neu);
+                    }
+                    kill ndup,j,mat_T_neu;
                 }
                 else              // sonst T_neu,l erneut bearbeiten.
                 {
@@ -210,14 +217,11 @@ NOTE:    Algorithmus von Lazard (siehe: Lazard, D.: Solving
     // Test, ob G Groebnerbasis eines nulldimensionalen Ideals ist.
     if (attrib(G,"isSB") <> 1)
     {
-        ERROR("The input is no groebner basis.");
+      G = groebner(G);
     }
-    else
+    if (dim(G) <> 0)
     {
-        if (dim(G) <> 0)
-        {
-            ERROR("ideal is not zero-dimensional.");
-        }
+      ERROR("ideal is not zero-dimensional.");
     }
 
     // Noetige Optionen setzen.
@@ -389,7 +393,6 @@ RETURN:  Liste von Tripeln (Listen) bestehend aus einem Polynom ri,
                 toSee  = list(list(pr,inv[2])) + toSee;
                 attrib(toSee[1][2],"isSB",1);
             }
-
         }
         else           // ansonsten Quasi-Inverses gefunden.
         {
@@ -636,7 +639,7 @@ EXAMPLE: example triangM; shows an example
     // Test, ob G Groebnerbasis ist.
     if (attrib(G,"isSB") <> 1)
     {
-        ERROR("The input is no groebner basis.");
+      G = groebner(G);
     }
 
     // Faktorisierungsschalter setzen.
@@ -817,7 +820,7 @@ EXAMPLE: example triangMH; shows an example
     // Test, ob G Groebnerbasis ist.
     if (attrib(G,"isSB") <> 1)
     {
-        ERROR("The input is no groebner basis.");
+      G = groebner(G);
     }
     if(npars(basering)<>0)
     {
@@ -1192,4 +1195,3 @@ RETURN:  Leitkoeffizient von f bzgl. var(v).
     return(m[size(m),1]);
 }
 ///////////////////////////////////////////////////////////////////////////////
-

sage_wheels/share/singular/emacs/hlp-cmpl.el

@@ -171,6 +171,7 @@
     ("annfspecial" . "annfspecial.         (line   6")
     ("annfspecialOld" . "annfspecialOld.      (line   6")
     ("annfsRB" . "annfsRB.             (line   6")
+    ("annihilator of a module" . "Ann.                 (line  18")
     ("annihilator of polynomial" . "dmodapp_lib.         (line 103")
     ("annihilator of rational function" . "dmodloc_lib.         (line  93")
     ("annihilatorMultiFs" . "annihilatorMultiFs.  (line   6")
@@ -1524,6 +1525,7 @@
     ("Groebner bases in G-algebras" . "Groebner bases in G-algebras")
     ("Groebner bases, decodeGB" . "decodegb_lib.        (line  50")
     ("Groebner bases, slim" . "slim Groebner bases. (line   6")
+    ("groebner basis computation" . "sba.                 (line   6")
     ("groebner basis computations" . "groebner.            (line  41")
     ("Groebner basis conversion" . "Groebner basis conversion")
     ("Groebner cover" . "extendGC.            (line  49")
@@ -2505,6 +2507,7 @@
     ("mres" . "mres.                (line   6")
     ("mres (plural)" . "mres (plural).       (line   6")
     ("mres_map" . "mres_map.            (line   6")
+    ("mresExt" . "mresExt.             (line   6")
     ("MSGB" . "MSGB.                (line   6")
     ("MSPOLY" . "MSPOLY.              (line   6")
     ("mstd" . "mstd.                (line   6")
@@ -3520,6 +3523,7 @@
     ("scheme" . "scheme.              (line   6")
     ("Scho\"nemann, Hans" . "Preface.             (line 141")
     ("Schoof" . "Schoof.              (line   6")
+    ("schreyerSyzExt" . "schreyerSyzExt.      (line   6")
     ("Schubert calculus" . "schubert_lib.        (line  97")
     ("schubert.lib" . "schubert_lib.        (line   6")
     ("schubert_lib" . "schubert_lib.        (line   6")
@@ -3602,6 +3606,7 @@
     ("sheafCohBGG2" . "sheafCohBGG2.        (line   6")
     ("sheafCohBGGregul" . "sheafCohBGGregul.    (line   6")
     ("sheafCohBGGregul_w" . "sheafCohBGGregul_w.  (line   6")
+    ("sheafCohBGGsres" . "sheafCohBGGsres.     (line   6")
     ("short" . "short.               (line   6")
     ("show" . "show.                (line   6")
     ("showBO" . "showBO.              (line   6")
@@ -3740,6 +3745,9 @@
     ("squareRoot" . "squareRoot.          (line   6")
     ("sRes" . "sRes.                (line   6")
     ("sres" . "sres.                (line   6")
+    ("sresExt" . "sresExt.             (line   6")
+    ("sresext.lib" . "sresext_lib.         (line   6")
+    ("sresext_lib" . "sresext_lib.         (line   6")
     ("ssi" . "Parallelization with ssi links")
     ("ssi file handling" . "ssi_lib.             (line  19")
     ("Ssi file links" . "Ssi file links.      (line   6")