Changeset f0b6c9 in git


Ignore:
Timestamp:
Dec 18, 2006, 9:55:03 AM (17 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
50daa2edb86901bcac372e37915d199fdc6f9a15
Parents:
bbeef1b321e41ca47ee3ff8c3362cc27558d1a01
Message:
*hannes: new redLazy


git-svn-id: file:///usr/local/Singular/svn/trunk@9601 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/kstd2.cc

    rbbeef1 rf0b6c9  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kstd2.cc,v 1.29 2006-12-15 17:16:07 Singular Exp $ */
     4/* $Id: kstd2.cc,v 1.30 2006-12-18 08:55:03 Singular Exp $ */
    55/*
    66*  ABSTRACT -  Kernel: alg. of Buchberger
     
    580580   
    581581    li = strat->T[j].pLength;
     582    #if 0
     583    if (li==0)
     584    {
     585      li=strat->T[j].pLength=pLength(strat->T[j].p);
     586    }
     587    #endif
    582588    ii = j;
    583589    /*
     
    596602      if (li<=1)
    597603        break;
     604    #if 0
     605      if (strat->T[i].pLength==0)
     606      {
     607        PrintS("!");
     608        strat->T[i].pLength=pLength(strat->T[i].p);
     609      }
     610   #endif
    598611      if ((strat->T[i].pLength < li)
    599612         &&
     
    604617         * the polynomial to reduce with is now;
    605618         */
     619        PrintS("+");
    606620        li = strat->T[i].pLength;
    607621        ii = i;
     
    651665    /*- try to reduce the s-polynomial -*/
    652666    pass++;
    653     if (!K_TEST_OPT_REDTHROUGH &&
     667    if (//!K_TEST_OPT_REDTHROUGH &&
    654668        (strat->Ll >= 0) && ((d > reddeg) || (pass > strat->LazyPass)))
    655669    {
     
    707721    ei = strat->T[j].ecart;
    708722    li = strat->T[j].pLength;
     723    #if 0
     724    if (li==0)
     725    {
     726       PrintS("!");
     727       li=strat->T[j].pLength=pLength(strat->T[j].p);
     728    }
     729    #endif
    709730    ii = j;
    710731    /*
     
    719740      if (i > strat->tl)
    720741        break;
    721       if (ei < h->ecart)
    722         break;
     742      //if (ei < h->ecart)
     743      //  break;
    723744      if (li<=1)
    724745        break;
    725       if (((strat->T[i].ecart < ei)
     746      if ((((strat->T[i].ecart < ei) && (ei> h->ecart))
    726747         || ((strat->T[i].ecart <= h->ecart) && (strat->T[i].pLength < li)))
    727748         &&
     
    11851206
    11861207      // enter into S, L, and T
    1187       enterT(strat->P, strat);
     1208      if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp))
     1209        enterT(strat->P, strat);
    11881210#ifdef HAVE_RING2TOM
    11891211#ifdef HAVE_VANGB
     
    11961218        enterpairs(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl);
    11971219      // posInS only depends on the leading term
     1220      if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp))
     1221      {
    11981222#ifdef HAVE_VANGB
    11991223      strat->enterS(strat->P, pos, strat, at_R);
     
    12011225      strat->enterS(strat->P, pos, strat, strat->tl);
    12021226#endif
     1227      }
     1228      else
     1229      {
     1230        strat->P.Delete();
     1231      }
     1232#if 0
    12031233      int pl=pLength(strat->P.p);
    12041234      if (pl==1)
     
    12121242        //PrintS("<2>");
    12131243      }
     1244#endif
    12141245      if (hilb!=NULL) khCheck(Q,w,hilb,hilbeledeg,hilbcount,strat);
    12151246//      Print("[%d]",hilbeledeg);
Note: See TracChangeset for help on using the changeset viewer.