Changeset 5313c0 in git
- Timestamp:
- Nov 12, 2013, 11:49:12 AM (9 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')
- 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
- Location:
- kernel
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/kutil.cc
r3625cb r5313c0 1821 1821 sSigMultNegSev = ~p_GetShortExpVector(sSigMult,currRing); 1822 1822 1823 pDelete (&m1);1824 pDelete (&m2);1825 1826 1823 //#if 1 1827 1824 #ifdef DEBUGF5 … … 1843 1840 pLmFree(Lp.lcm); 1844 1841 Lp.lcm=NULL; 1842 pDelete (&m1); 1843 pDelete (&m2); 1845 1844 return; 1846 1845 } … … 1868 1867 pLmFree(Lp.lcm); 1869 1868 Lp.lcm=NULL; 1869 pDelete (&m1); 1870 pDelete (&m2); 1870 1871 return; 1871 1872 } … … 1889 1890 Lp.sevSig = ~sSigMultNegSev; 1890 1891 } 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); 1891 1905 #if DEBUGF5 1892 1906 printf("SIGNATURE OF PAIR: "); -
kernel/kutil.h
r3625cb r5313c0 188 188 // reduction process it is enough to start a second 189 189 // 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 190 193 poly p1,p2; /*- the pair p comes from, 191 194 lm(pi) in currRing, tail(pi) in tailring -*/
Note: See TracChangeset
for help on using the changeset viewer.