Changeset f397dc in git


Ignore:
Timestamp:
Nov 29, 2013, 9:17:31 AM (9 years ago)
Author:
Christian Eder
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '48f1dd268d0ff74ef2f7dccbf02545425002ddcc')
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:
2 edited

Legend:

Unmodified
Added
Removed
  • kernel/kstd2.cc

    rf7f084 rf397dc  
    20172017      // enter into S, L, and T
    20182018      //if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp))
    2019       if(!strat->sbaOrder == 1)
     2019      if(strat->sbaOrder != 1)
    20202020      {
    20212021        BOOLEAN overwrite = TRUE;
     
    20562056            // add LM(F->m[i]) to the signature to get a Schreyer order
    20572057            // without changing the underlying polynomial ring at all
    2058             p_ExpVectorAdd (strat->syz[i],strat->S[ps],currRing);
     2058            if (strat->sbaOrder == 0)
     2059              p_ExpVectorAdd (strat->syz[i],strat->S[ps],currRing);
    20592060            // since p_Add_q() destroys all input
    20602061            // data we need to recreate help
  • kernel/kutil.cc

    rf7f084 rf397dc  
    59995999      // => we can keep the underlying monomial order and get a Schreyer
    60006000      //    order without any bigger overhead
    6001       if (strat->sbaOrder != 1)
     6001      if (strat->sbaOrder == 0)
    60026002      {
    60036003        p_ExpVectorAdd (h.sig,F->m[i],currRing);
Note: See TracChangeset for help on using the changeset viewer.