Changeset 867f21 in git

Timestamp:

Jan 31, 2018, 9:50:33 PM (6 years ago)

Author:

Andreas Steenpass <steenpass@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

40c74377d47175ef0556381c3b9eb60f05676280

Parents:

c85a29d68f3b14b5466567b25ce4f175fd4d3512

git-author:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2018-01-31 21:50:33+01:00

git-committer:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2018-02-02 11:16:48+01:00

Message:

chg: add #define for tensor trick

File:

• kernel/GBEngine/syz4.cc (modified) (6 diffs)

kernel/GBEngine/syz4.cc

@@ -22 +22 @@
  */
 #define CACHE 1
+
+/*
+ * If set to true, the current module is modfied after each lifting step in the
+ * resolution: any term which contains a variable which does not appear among
+ * the (induced) leading terms is deleted. Note that the resulting object is
+ * not necessarily a complex anymore. However, constant entries remain exactly
+ * the same.
+ */
+#define FRES_TENSOR_TRICK 1
 
 /*
@@ -548 +557 @@
 }
 
+#if FRES_TENSOR_TRICK
+/*
+ * check if the monomial m contains any of the variables set to false
+ */
 static inline bool contains_unused_variable(const poly m,
     const std::vector<bool> &variables)
@@ -560 +573 @@
 }
 
-static void delete_variables(resolvente &res, const int index,
-    std::vector<bool> variables)
+/*
+ * delete any term in res[index] which contains any of the variables set to
+ * false
+ */
+static void delete_variables(resolvente res, const int index,
+    const std::vector<bool> &variables)
 {
     for (int i = 0; i < res[index]->ncols; i++) {
@@ -576 +593 @@
     }
 }
+#endif   // FRES_TENSOR_TRICK
 
 static void delete_tails(resolvente res, const int index)
@@ -603 +621 @@
         if (do_lifting) {
             update_variables(variables, res[0]);
+#if FRES_TENSOR_TRICK
             delete_variables(res, 0, variables);
+#endif   // FRES_TENSOR_TRICK
         }
         while (!idIs0(res[index])) {
@@ -616 +636 @@
                     variables[currRing->N] = false;
                 }
+#if FRES_TENSOR_TRICK
                 delete_variables(res, index, variables);
+#endif   // FRES_TENSOR_TRICK
             }
             if (index >= max_index) { break; }