Changeset d42b51 in git for kernel/gr_kstd2.cc


Ignore:
Timestamp:
Jul 29, 2008, 9:48:01 AM (15 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
342c80d50cde81c223648091d8364e6eeb6dc3f3
Parents:
0047ec082623717be0d4a93ede48a2f8957e8fb8
Message:
hannes: ratGB debug


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

Legend:

Unmodified
Added
Removed
  • kernel/gr_kstd2.cc

    r0047ec rd42b51  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: gr_kstd2.cc,v 1.20 2008-07-29 07:39:57 Singular Exp $ */
     4/* $Id: gr_kstd2.cc,v 1.21 2008-07-29 07:48:01 Singular Exp $ */
    55/*
    66*  ABSTRACT -  Kernel: noncomm. alg. of Buchberger
     
    5757    if (j > strat->sl)
    5858    {
     59#ifdef KDEBUG
    5960      if (TEST_OPT_DEBUG) PrintLn();
     61#endif
    6062      return 0;
    6163    }
     64#ifdef KDEBUG
    6265    if (TEST_OPT_DEBUG) Print("%d",j);
     66#endif
    6367    if (pDivisibleBy(strat->S[j],(*h).p))
    6468    {
     69#ifdef KDEBUG
    6570      if (TEST_OPT_DEBUG) PrintS("+\n");
     71#endif
    6672      /*
    6773      * the polynomial to reduce with is;
     
    7076      if (!TEST_OPT_INTSTRATEGY)
    7177        pNorm(strat->S[j]);
     78#ifdef KDEBUG
    7279      if (TEST_OPT_DEBUG)
    7380      {
     
    7683        wrp(strat->S[j]);
    7784      }
     85#endif
    7886      (*h).p = nc_ReduceSpoly(strat->S[j],(*h).p, currRing);
    7987      //spSpolyRed(strat->T[j].p,(*h).p,strat->kNoether);
    8088
     89#ifdef KDEBUG
    8190      if (TEST_OPT_DEBUG)
    8291      {
     
    8493        wrp(h->p);
    8594      }
     95#endif
    8696      if ((*h).p == NULL)
    8797      {
     
    102112        if ((strat->syzComp>0) && (pMinComp((*h).p) > strat->syzComp))
    103113        {
     114#ifdef KDEBUG
    104115          if (TEST_OPT_DEBUG) PrintS(" > sysComp\n");
     116#endif
    105117          return 0;
    106118        }
     
    127139          } while (!pDivisibleBy(strat->S[i],(*h).p));
    128140          enterL(&strat->L,&strat->Ll,&strat->Lmax,*h,at);
     141#ifdef KDEBUG
    129142          if (TEST_OPT_DEBUG) Print(" degree jumped; ->L%d\n",at);
     143#endif
    130144          (*h).p = NULL;
    131145          return 0;
     
    138152      }
    139153      j = 0;
     154#ifdef KDEBUG
    140155      if TEST_OPT_DEBUG PrintLn();
     156#endif
    141157    }
    142158    else
    143159    {
     160#ifdef KDEBUG
    144161      if (TEST_OPT_DEBUG) PrintS("-");
     162#endif
    145163      j++;
    146164    }
     
    169187  if (!pIsConstant(f))
    170188  {
     189#ifdef KDEBUG
    171190    if (TEST_OPT_DEBUG)
    172191    {
     
    174193      PrintS(" from ");pWrite(root);
    175194    }
     195#endif
    176196    p=root;
    177197    loop
     
    222242        if (!TEST_OPT_INTSTRATEGY)
    223243          pNorm(strat->S[c_j]);
     244#ifdef KDEBUG
     245    if (TEST_OPT_DEBUG)
    224246        if (TEST_OPT_DEBUG)
    225247        {
     
    228250          wrp(strat->S[c_j]);
    229251        }
     252#endif
    230253        //poly hh = nc_CreateSpoly(strat->S[c_j],(*h).p, currRing);
    231254        poly hh=c_p; c_p=NULL;
     
    238261        }
    239262
     263#ifdef KDEBUG
    240264        if (TEST_OPT_DEBUG)
    241265        {
     
    244268          PrintLn();
    245269        }
     270#endif
    246271        if ((*h).p == NULL)
    247272        {
     
    256281        pass++;
    257282        j=0;
    258         c_j=-1; c_e=-2;
     283        c_j=-1; c_e=-2;
    259284      }
    260285      else
     
    266291    if (p_LmDivisibleBy(strat->S[j],(*h).p,currRing))
    267292    {
     293#ifdef KDEBUG
    268294      if(TEST_OPT_DEBUG)
    269295      {
     
    271297        p_wrp(strat->S[j],currRing); PrintS(" e=-1\n");
    272298      }
     299#endif
    273300      if ((c_j==-1)||(c_e>=0))
    274301      {
     
    283310    {
    284311      int a_e=(pTotaldegree(strat->S[j],currRing)-pFDeg(strat->S[j],currRing));
     312#ifdef KDEBUG
    285313      if(TEST_OPT_DEBUG)
    286314      {
     
    288316        p_wrp(strat->S[j],currRing); Print(" e=%d\n",a_e);
    289317      }
     318#endif
    290319      if ((c_e==-1)||(c_e>a_e))
    291320      {
     
    310339        if ((strat->syzComp>0) && (pMinComp((*h).p) > strat->syzComp))
    311340        {
     341#ifdef KDEBUG
    312342          if (TEST_OPT_DEBUG) PrintS(" > sysComp\n");
     343#endif
    313344          return 0;
    314345        }
     
    317348    else
    318349    {
     350#ifdef KDEBUG
    319351      if(TEST_OPT_DEBUG)
    320352      {
     
    322354        p_wrp(strat->S[j],currRing); PrintLn();
    323355      }
     356#endif
    324357    }
    325358    j++;
Note: See TracChangeset for help on using the changeset viewer.