Changeset 5313c0 in git


Ignore:
Timestamp:
Nov 12, 2013, 11:49:12 AM (9 years ago)
Author:
Christian Eder
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '48f1dd268d0ff74ef2f7dccbf02545425002ddcc')
Children:
b3e94aa7397457378c5b5253b4ba1d89eab89f32
Parents:
3625cb42e25e9d0191d3fd9b7e27a7cc1750d398
git-author:
Christian Eder <ederc@mathematik.uni-kl.de>2013-11-12 11:49:12+01:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-11-15 14:58:01+01:00
Message:
enables tracking of product criterion in sba algorithm
Location:
kernel
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • kernel/kutil.cc

    r3625cb r5313c0  
    18211821  sSigMultNegSev = ~p_GetShortExpVector(sSigMult,currRing);
    18221822
    1823   pDelete (&m1);
    1824   pDelete (&m2);
    1825 
    18261823//#if 1
    18271824#ifdef DEBUGF5
     
    18431840    pLmFree(Lp.lcm);
    18441841    Lp.lcm=NULL;
     1842    pDelete (&m1);
     1843    pDelete (&m2);
    18451844    return;
    18461845  }
     
    18681867    pLmFree(Lp.lcm);
    18691868    Lp.lcm=NULL;
     1869    pDelete (&m1);
     1870    pDelete (&m2);
    18701871    return;
    18711872  }
     
    18891890    Lp.sevSig = ~sSigMultNegSev;
    18901891  }
     1892// adds buchberger's first criterion
     1893  if (pLmCmp(m2,pHead(p)) == 0) {
     1894    Lp.checked  = 3; // 3 == Product Criterion
     1895#if 0
     1896    enterSyz(Lp, strat);
     1897    Lp.lcm=NULL;
     1898    pDelete (&m1);
     1899    pDelete (&m2);
     1900    return;
     1901#endif
     1902  }
     1903  pDelete (&m1);
     1904  pDelete (&m2);
    18911905#if DEBUGF5
    18921906  printf("SIGNATURE OF PAIR:  ");
  • kernel/kutil.h

    r3625cb r5313c0  
    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
     191                      // detected by Buchberger's Product Criterion and can be
     192                      // deleted
    190193  poly  p1,p2; /*- the pair p comes from,
    191194                 lm(pi) in currRing, tail(pi) in tailring -*/
Note: See TracChangeset for help on using the changeset viewer.