Changeset 406791 in git for Singular/LIB/standard.lib

Timestamp:

Jun 12, 2015, 5:20:52 PM (8 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

c3864820ba9d094d8991f5f4052d1191982e4a7b

Parents:

7c852247b0258944ebdc6c5e200ebd31b23ff5ff

Message:

Added "mathicgb" algorithm selection to groebner as default method over commutative Fp[x] with a global ordering

File:

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

Singular/LIB/standard.lib

@@ -954 +954 @@
 
  //------------------ classify the possible settings ---------------------
-  string algorithm;       //possibilities: std, slimgb, stdorslimgb
+  string algorithm;       //possibilities: std, slimgb, stdorslimgb, mathicgb
   string conversion;      //possibilities: hilb, fglm, hilborfglm, no
   string partovar;        //possibilities: yes, no
@@ -961 +961 @@
 
   //define algorithm:
+  if( (was_minpoly == 0) && (npars_P == 0) && (was_qring == 0) && (attrib (P,"global") == 1) && (char(P) > 0) && (size(BRlist)<=4) )
+  {
+    if( defined(Singmathic) )
+    {
+      algorithm = "mathicgb"; // make it default for any appropriate setting... if mathicgb is available...
+    } else
+    {
+      if( p_opt ) { "Sorry Singmathic::mathicgb is not available!"; }
+    }
+  }
   if( find(method,"std") && !find(method,"slimgb") )
   {
@@ -1018 +1028 @@
         (order=="simple" && (method==",par2var" && npars_P==0 )) ||
          (conversion=="no" && partovar=="no" &&
-           (algorithm=="std" || algorithm=="slimgb" ||
-            (find(method,"std") && find(method,"slimgb")) ) ) )
+           (algorithm=="std" || algorithm=="slimgb" || algorithm=="mathicgb" ||
+            (find(method,"std") || find(method,"slimgb") || find(method,"mathicgb")) ) ) )
   {
     direct = "yes";
@@ -1040 +1050 @@
   //BRlist (=ringlist of basering) > 4 if the basering is non-commutative
 //---------------------------- direct methods -----------------------------
+  if ( algorithm=="mathicgb" )
+  {
+    if (p_opt) { algorithm + " in " + string(P); }
+    return( mathicgb(i) );
+  }
   if ( direct == "yes" )
   {