Changeset f397dc in git
- Timestamp:
- Nov 29, 2013, 9:17:31 AM (9 years ago)
- 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
- Location:
- kernel
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/kstd2.cc
rf7f084 rf397dc 2017 2017 // enter into S, L, and T 2018 2018 //if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp)) 2019 if( !strat->sbaOrder == 1)2019 if(strat->sbaOrder != 1) 2020 2020 { 2021 2021 BOOLEAN overwrite = TRUE; … … 2056 2056 // add LM(F->m[i]) to the signature to get a Schreyer order 2057 2057 // 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); 2059 2060 // since p_Add_q() destroys all input 2060 2061 // data we need to recreate help -
kernel/kutil.cc
rf7f084 rf397dc 5999 5999 // => we can keep the underlying monomial order and get a Schreyer 6000 6000 // order without any bigger overhead 6001 if (strat->sbaOrder != 1)6001 if (strat->sbaOrder == 0) 6002 6002 { 6003 6003 p_ExpVectorAdd (h.sig,F->m[i],currRing);
Note: See TracChangeset
for help on using the changeset viewer.