Changeset 805315e in git

Timestamp:

Apr 21, 2021, 6:38:57 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

fe846e907cf006d4c9344e218cea95af49781876

Parents:

30e184b9f651e8205529c6336cd2f7c39e603699

Message:

opt: idElimination, intro. V_IDELIM

Files:

• kernel/GBEngine/kstd2.cc (modified) (1 diff)
• kernel/ideals.cc (modified) (1 diff)
• libpolys/misc/options.h (modified) (2 diffs)

kernel/GBEngine/kstd2.cc

@@ -2595 +2595 @@
 
       // enter into S, L, and T
-      if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp))
+      if (((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp))
+      &&  ((!TEST_OPT_IDELIM) || (p_Deg(strat->P.p,currRing) > 0)))
       {
         enterT(strat->P, strat);

kernel/ideals.cc

@@ -1792 +1792 @@
     alg=GbDefault;
   }
+  BITSET save2;
+  SI_SAVE_OPT2(save2);
+  if (!TEST_OPT_RETURN_SB) si_opt_2|=V_IDELIM;
   hh=idGroebner(h,0,alg,hilb);
+  SI_RESTORE_OPT2(save2);
   // go back to the original ring
   rChangeCurrRing(origR);

libpolys/misc/options.h

@@ -68 +68 @@
 #define V_INTERSECT_SYZ 26
 #define V_ASSIGN_NONE 27
-/* for tests: 28-30 */
+#define V_IDELIM      28
+/* for tests: 29-30 */
 #define V_DEG_STOP   31
 
@@ -127 +128 @@
 #define TEST_OPT_CANCELUNIT        BVERBOSE(V_CANCELUNIT)
 #define TEST_OPT_IDLIFT            BVERBOSE(V_IDLIFT)
+#define TEST_OPT_IDELIM            BVERBOSE(V_IDELIM)
 #define TEST_OPT_LENGTH            BVERBOSE(V_LENGTH)
 #define TEST_V_QRING               BVERBOSE(V_QRING)