Changeset 485b5d in git


Ignore:
Timestamp:
Jan 5, 2007, 6:59:32 PM (17 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
Children:
849d991f15c978cea3f9a37140fa300f3e79cc9d
Parents:
ac08b88397becad438f4d926a0651856d732c2a0
Message:
*hannes: pLength, syzComp


git-svn-id: file:///usr/local/Singular/svn/trunk@9634 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
kernel
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • kernel/kstd1.cc

    rac08b8 r485b5d  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kstd1.cc,v 1.16 2007-01-04 10:42:45 Singular Exp $ */
     4/* $Id: kstd1.cc,v 1.17 2007-01-05 17:59:32 Singular Exp $ */
    55/*
    66* ABSTRACT:
     
    9090static void kOptimizeLDeg(pLDegProc ldeg, kStrategy strat)
    9191{
    92   if (strat->ak == 0 && !rIsSyzIndexRing(currRing))
     92//  if (strat->ak == 0 && !rIsSyzIndexRing(currRing))
    9393    strat->length_pLength = TRUE;
    94   else
    95     strat->length_pLength = FALSE;
    96 
    97   if ((ldeg == pLDeg0c && !rIsSyzIndexRing(currRing)) ||
     94//  else
     95//    strat->length_pLength = FALSE;
     96
     97  if ((ldeg == pLDeg0c /*&& !rIsSyzIndexRing(currRing)*/) ||
    9898      (ldeg == pLDeg0 && strat->ak == 0))
    9999  {
     
    337337  }
    338338  h->SetShortExpVector();
    339   while (1)
     339  loop
    340340  {
    341341    j = kFindDivisibleByInT(strat->T, strat->sevT, strat->tl, h);
  • kernel/kstd2.cc

    rac08b8 r485b5d  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kstd2.cc,v 1.32 2007-01-04 10:42:46 Singular Exp $ */
     4/* $Id: kstd2.cc,v 1.33 2007-01-05 17:59:32 Singular Exp $ */
    55/*
    66*  ABSTRACT -  Kernel: alg. of Buchberger
     
    724724    if (li==0)
    725725    {
    726        PrintS("!");
     726       //PrintS("!");
    727727       li=strat->T[j].pLength=pLength(strat->T[j].p);
    728728    }
     
    870870          else
    871871             strat->T[ii].max = NULL;
    872           h->pLength=0;h->pLength=h->GetpLength();
    873           strat->T[ii].pLength=0;strat->T[ii].pLength=strat->T[ii].GetpLength();
     872          h->length=h->pLength=pLength(h->p);
     873          strat->T[ii].length=strat->T[ii].pLength=pLength(strat->T[ii].p);
    874874          if (strat->T[ii].is_normalized)
    875875          {
  • kernel/kutil.cc

    rac08b8 r485b5d  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kutil.cc,v 1.41 2007-01-04 10:42:46 Singular Exp $ */
     4/* $Id: kutil.cc,v 1.42 2007-01-05 17:59:32 Singular Exp $ */
    55/*
    66* ABSTRACT: kernel: utils for kStd
     
    242242        else if (fromNext)
    243243          L->max  = p_GetMaxExpP(pNext(L->p), L->tailRing ); // p1;
    244         if (L->pLength != 0) L->pLength = l;
     244        //if (L->pLength != 0)
     245        L->pLength = l;
    245246        // Hmmm when called from updateT, then only
    246247        // reset ecart when cut
     
    320321        L->ecart = 0;
    321322        L->length = 1;
    322         //if (L->pLength > 0)s
     323        //if (L->pLength > 0)
    323324        L->pLength = 1;
    324325        if (L->last != NULL) L->last = p;
     
    10021003  h->FDeg = h->pFDeg();
    10031004  h->ecart = h->pLDeg() - h->FDeg;
    1004   h->pLength=h->GetpLength();
    10051005  // h->length is set by h->pLDeg
     1006  h->length=h->pLength=pLength(h->p);
    10061007}
    10071008
     
    10101011  h->FDeg = h->pFDeg();
    10111012  (*h).ecart = 0;
    1012   h->pLength=h->GetpLength();
    1013   h->pLDeg();
    1014   // h->length is set by h->pLDeg
     1013  h->length=h->pLength=pLength(h->p);
    10151014}
    10161015
     
    45214520        h.sev = pGetShortExpVector(h.p);
    45224521        strat->enterS(h,pos,strat, strat->tl+1);
    4523         h.length = pLength(h.p);
     4522        h.length = h.GetpLength();
    45244523        h.SetpFDeg();
    45254524        enterT(h,strat);
     
    45344533      h.p=pCopy(P->m[i]);
    45354534      strat->initEcart(&h);
    4536       h.length = pLength(h.p);
     4535      h.length = h.pLength = pLength(h.p);
    45374536      if (TEST_OPT_INTSTRATEGY)
    45384537      {
     
    45494548          h.p=redBba(h.p,strat->sl,strat);
    45504549          if (h.p!=NULL)
     4550          {
    45514551            h.p=redtailBba(h.p,strat->sl,strat);
     4552          }
     4553          h.length=h.pLength=pLength(h.p);
    45524554        }
    45534555        else
     
    45724574          enterpairsSpecial(h.p,strat->sl,h.ecart,pos,strat,strat->tl+1);
    45734575          strat->enterS(h,pos,strat, strat->tl+1);
    4574       h.pLength=pLength(h.p);
    45754576          enterT(h,strat);
    45764577        }
     
    47874788            strat->S[i]=redQ(strat->S[i],i+1,strat); /*reduce S[i] mod Q*/
    47884789          if (pCmp(redSi,strat->S[i])!=0)
    4789       {
    4790         change=TRUE;
     4790          {
     4791            change=TRUE;
    47914792            if (TEST_OPT_DEBUG)
    47924793            {
     
    48024803              mflush();
    48034804            }
    4804       }
     4805          }
    48054806          pDeleteLm(&redSi);
    48064807          if (strat->S[i]==NULL)
     
    48484849          strat->ecartS[i] = h.ecart;
    48494850        }
     4851        else
     4852          h.length=h.pLength=pLength(h.p);
    48504853        if (strat->sevS[i] == 0) {strat->sevS[i] = pGetShortExpVector(h.p);}
    48514854        else assume(strat->sevS[i] == pGetShortExpVector(h.p));
    48524855        h.sev = strat->sevS[i];
    48534856        h.SetpFDeg();
    4854     h.pLength=pLength(h.p);
    48554857        /*puts the elements of S also to T*/
    48564858        enterT(h,strat);
     
    49314933        h.ecart=strat->ecartS[i];
    49324934        h.sev = strat->sevS[i];
     4935        h.length = h.pLength = pLength(h.p);
    49334936      }
    49344937      if ((strat->fromQ==NULL) || (strat->fromQ[i]==0))
    49354938        cancelunit1(&h,&suc,strat->sl,strat);
    4936       h.length = pLength(h.p);
    49374939      h.SetpFDeg();
    49384940      /*puts the elements of S also to T*/
Note: See TracChangeset for help on using the changeset viewer.