Changeset a7b37d in git


Ignore:
Timestamp:
Nov 30, 2013, 5:58:57 PM (9 years ago)
Author:
Christian Eder
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '5bec8f88c9ee2573d328cf7c3aff2bcb301d2395')
Children:
8fcfae8f6c0ccad3ba1e0ef4c47af7a29c2a14a1
Parents:
1179b54c4bb1091a4f7935b8f70b688f002f7f1c
git-author:
Christian Eder <ederc@mathematik.uni-kl.de>2013-11-30 17:58:57+01:00
git-committer:
Christian Eder <ederc@mathematik.uni-kl.de>2013-12-12 13:51:28+01:00
Message:
1. some more memory leaks fixed
2. preparation for buchber product criterion check
Location:
kernel
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • kernel/kstd2.cc

    r1179b5 ra7b37d  
    18991899      if (!strat->rewCrit2(strat->P.sig, ~strat->P.sevSig, strat, strat->P.checked+1)) {
    19001900#if SBA_PRODUCT_CRITERION
    1901         if (strat->P.checked == 3) {
     1901        if (strat->P.prd_crit) {
    19021902          product_criterion++;
    19031903          enterSyz(strat->P, strat);
     
    19121912#endif
    19131913      } else {
     1914        pDelete(&strat->P.sig);
    19141915        if (strat->P.lcm!=NULL)
    19151916          pLmFree(strat->P.lcm);
  • kernel/kutil.cc

    r1179b5 ra7b37d  
    18921892// adds buchberger's first criterion
    18931893  if (pLmCmp(m2,pHead(p)) == 0) {
    1894     Lp.checked  = 3; // 3 == Product Criterion
     1894    Lp.prod_crit = TRUE; // Product Criterion
    18951895#if 0
    18961896    enterSyz(Lp, strat);
     
    52255225    if (strat->L[strat->Ll].GetLmCurrRing() == NULL)
    52265226    {
     5227      pDelete(&strat->P.sig);
    52275228      strat->P.Delete();
    52285229      strat->P = strat->L[strat->Ll];
     
    52395240      else
    52405241      {
     5242        pDelete(&strat->P.sig);
    52415243        strat->P.Delete();
    52425244        strat->P = strat->L[strat->Ll];
  • kernel/kutil.h

    r1179b5 ra7b37d  
    188188                      // reduction process it is enough to start a second
    189189                      // rewritten criterion check from checked+1 onwards
    190                       // NOTE: If checked = 3 then the corresponding pair is
     190  BOOLEAN prod_crit;
     191                      // NOTE: If prod_crit = TRUE then the corresponding pair is
    191192                      // detected by Buchberger's Product Criterion and can be
    192193                      // deleted
Note: See TracChangeset for help on using the changeset viewer.