Changeset f397dc in git

Timestamp:

Nov 29, 2013, 9:17:31 AM (9 years ago)

Author:

Christian Eder

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

be300e72dd08e74a482eee2b4526085e1e8c45f5

Parents:

f7f0843b50c544b77d57cc736fb2b98a3b0dc74f

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2013-11-29 09:17:31+01:00

git-committer:

Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:26+01:00

Message:

adds TOP(term over position) module order in sba

Location:

kernel

Files:

• kstd2.cc (modified) (2 diffs)
• kutil.cc (modified) (1 diff)

kernel/kstd2.cc

@@ -2017 +2017 @@
       // enter into S, L, and T
       //if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp))
-      if(!strat->sbaOrder == 1)
+      if(strat->sbaOrder != 1)
       {
         BOOLEAN overwrite = TRUE;
@@ -2056 +2056 @@
             // add LM(F->m[i]) to the signature to get a Schreyer order
             // without changing the underlying polynomial ring at all
-            p_ExpVectorAdd (strat->syz[i],strat->S[ps],currRing);
+            if (strat->sbaOrder == 0)
+              p_ExpVectorAdd (strat->syz[i],strat->S[ps],currRing);
             // since p_Add_q() destroys all input
             // data we need to recreate help

kernel/kutil.cc

@@ -5999 +5999 @@
       // => we can keep the underlying monomial order and get a Schreyer
       //    order without any bigger overhead
-      if (strat->sbaOrder != 1)
+      if (strat->sbaOrder == 0)
       {
         p_ExpVectorAdd (h.sig,F->m[i],currRing);