Changeset 76f3202 in git
- Timestamp:
- Apr 27, 2021, 11:25:28 PM (3 years ago)
- Branches:
- (u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
- Children:
- 28ae676f7684ca31623ca16ebfdc2f2762f1a8fa
- Parents:
- 5e6cda01eadc1231eeed94bdd2ca804a5d58ad8f
- Location:
- kernel/GBEngine
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kLiftstd.cc
r5e6cda r76f3202 198 198 */ 199 199 i = j; 200 if ( TEST_OPT_LENGTH)200 if ((TEST_OPT_LENGTH)&&(li>1)) 201 201 loop 202 202 { … … 207 207 //if (ei < h->ecart) 208 208 // break; 209 if (li==1)210 break;211 209 if ((((strat->T[i].ecart < ei) && (ei> h->ecart)) 212 210 || ((strat->T[i].ecart <= h->ecart) … … 224 222 if (li<=0) li=strat->T[i].GetpLength(); 225 223 ii = i; 224 if (li==1) break; 226 225 } 227 226 } -
kernel/GBEngine/kstd2.cc
r5e6cda r76f3202 932 932 i = j; 933 933 #if 1 934 if ( TEST_OPT_LENGTH)934 if ((TEST_OPT_LENGTH)&&(li>1)) 935 935 loop 936 936 { … … 938 938 i++; 939 939 if (i > strat->tl) 940 break;941 if (li==1)942 940 break; 943 941 if ((strat->T[i].pLength < li) … … 952 950 if (li<=0) li=strat->T[i].GetpLength(); 953 951 ii = i; 952 if (li<3) break; 954 953 } 955 954 } … … 1676 1675 i = j; 1677 1676 #if 1 1678 if ( TEST_OPT_LENGTH)1677 if ((TEST_OPT_LENGTH)&&(li>2)) 1679 1678 loop 1680 1679 { … … 1682 1681 i++; 1683 1682 if (i > strat->tl) 1684 break;1685 if (li==1)1686 1683 break; 1687 1684 if ((strat->T[i].pLength < li) … … 1696 1693 if (li<=0) li=strat->T[i].GetpLength(); 1697 1694 ii = i; 1695 if (li<3) break; 1698 1696 } 1699 1697 } … … 1872 1870 */ 1873 1871 i = j; 1874 if ( TEST_OPT_LENGTH)1872 if ((TEST_OPT_LENGTH)&&(li>1)) 1875 1873 loop 1876 1874 { 1877 1875 /*- takes the first possible with respect to ecart -*/ 1878 1876 i++; 1879 if (i > strat->tl) 1880 break; 1881 //if (ei <= h->ecart) 1882 // break; 1883 if (li==1) 1884 break; 1885 strat->T[i].GetpLength(); 1886 if ((((strat->T[i].ecart < ei) && (ei> h->ecart)) 1877 if (i > strat->tl) break; 1878 if (ei <= h->ecart) break; 1879 if(p_LmShortDivisibleBy(strat->T[i].GetLmTailRing(), strat->sevT[i], 1880 h_p, not_sev, strat->tailRing)) 1881 { 1882 strat->T[i].GetpLength(); 1883 if (((strat->T[i].ecart < ei) && (ei> h->ecart)) 1887 1884 || ((strat->T[i].ecart <= h->ecart) && (strat->T[i].pLength < li))) 1888 &&1889 p_LmShortDivisibleBy(strat->T[i].GetLmTailRing(), strat->sevT[i],1890 h_p, not_sev, strat->tailRing))1891 {1892 /*1893 * the polynomial to reduce with is now;1894 */1895 ei = strat->T[i].ecart;1896 li = strat->T[i].pLength;1897 ii = i;1885 { 1886 /* 1887 * the polynomial to reduce with is now; 1888 */ 1889 ei = strat->T[i].ecart; 1890 li = strat->T[i].pLength; 1891 ii = i; 1892 if (li==1) break; 1893 if (ei<=h->ecart) break; 1894 } 1898 1895 } 1899 1896 }
Note: See TracChangeset
for help on using the changeset viewer.