Changeset 93f4bb in git

Timestamp:

Feb 27, 2009, 4:51:28 PM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

b172c34e900d95e16b695c1a52b2c1b2b6497936

Parents:

5fed0b4d289442b9ea97475bf27af3f9f1773df3

Message:

*hannes: lazyReduce: better comment


git-svn-id: file:///usr/local/Singular/svn/trunk@11491 2c84dea3-7e68-4137-9b89-c4e89433aadc

Location:

kernel

Files:

• kstd1.cc (modified) (3 diffs)
• kstd2.cc (modified) (5 diffs)

kernel/kstd1.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kstd1.cc,v 1.44 2009-02-22 17:37:54 Singular Exp $ */
+/* $Id: kstd1.cc,v 1.45 2009-02-27 15:51:28 Singular Exp $ */
 /*
 * ABSTRACT:
@@ -1368 +1368 @@
 poly kNF1 (ideal F,ideal Q,poly q, kStrategy strat, int lazyReduce)
 {
+// lazy_reduce flags: can be combined by |
+//#define KSTD_NF_LAZY   1
+  // do only a reduction of the leading term
+//#define KSTD_NF_ECART  2
+  // only local: recude even with bad ecart
   poly   p;
   int   i;
@@ -1486 +1491 @@
 ideal kNF1 (ideal F,ideal Q,ideal q, kStrategy strat, int lazyReduce)
 {
+// lazy_reduce flags: can be combined by |
+//#define KSTD_NF_LAZY   1
+  // do only a reduction of the leading term
+//#define KSTD_NF_ECART  2
+  // only local: recude even with bad ecart
   poly   p;
   int   i;

kernel/kstd2.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kstd2.cc,v 1.80 2009-02-10 18:53:04 Singular Exp $ */
+/* $Id: kstd2.cc,v 1.81 2009-02-27 15:51:28 Singular Exp $ */
 /*
 *  ABSTRACT -  Kernel: alg. of Buchberger
@@ -1143 +1143 @@
   if (TEST_OPT_DEBUG) messageSets(strat);
 #endif
-  /* complete reduction of the standard basis--------- */
   if (TEST_OPT_SB_1)
   {
@@ -1161 +1160 @@
   }
 
+  /* complete reduction of the standard basis--------- */
   if (TEST_OPT_REDSB)
   {
@@ -1197 +1197 @@
 poly kNF2 (ideal F,ideal Q,poly q,kStrategy strat, int lazyReduce)
 {
+// lazy_reduce flags: can be combined by |
+//#define KSTD_NF_LAZY   1
+  // do only a reduction of the leading term
+//#define KSTD_NF_NONORM 4
+  // only global: avoid normalization, return a multiply of NF
   poly   p;
   int   i;
@@ -1252 +1257 @@
 ideal kNF2 (ideal F,ideal Q,ideal q,kStrategy strat, int lazyReduce)
 {
+// lazy_reduce flags: can be combined by |
+//#define KSTD_NF_LAZY   1
+  // do only a reduction of the leading term
+//#define KSTD_NF_NONORM 4
+  // only global: avoid normalization, return a multiply of NF
   poly   p;
   int   i;