Changeset 457d8d6 in git for Singular/kutil.cc


Ignore:
Timestamp:
Mar 8, 2001, 2:05:15 PM (23 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
5a8b9c4598a09a1500a99df3038cb27e10a0215f
Parents:
65b27c5c9be783dc3dacb25081a2b1227c9d5425
Message:
*hannes: posInS shall only use head terms


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

Legend:

Unmodified
Added
Removed

  • Singular/kutil.cc

    r65b27c r457d8d6  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kutil.cc,v 1.97 2001-02-21 15:41:47 Singular Exp $ */
     4/* $Id: kutil.cc,v 1.98 2001-03-08 13:05:13 Singular Exp $ */
    55/*
    66* ABSTRACT: kernel: utils for kStd
    … …  
    15971597  for (i=1; i<=strat->sl; i++)
    15981598  {
    1599     at = posInS(strat,i-1,strat->S[i]);
     1599    at = posInS(strat,i-1,strat->S[i],strat->ecartS[i]);
    16001600    if (at != i)
    16011601    {
    … …  
    16371637*             otherwise, bba has to be changed
    16381638*/
    1639 int posInS (kStrategy strat, int length,poly p)
     1639int posInS (kStrategy strat, int length,poly p, int ecart_p)
    16401640{
    16411641  if(length==-1) return 0;
    … …  
    16771677    loop
    16781678    {
    1679       int dummy;
    16801679      if (an >= en-1)
    16811680      {
    … …  
    16831682        if (pLmCmp(set[an],p) == -cmp_int) return en;
    16841683        if ((cmp_int!=1)
    1685         && ((pFDeg(set[an])+strat->ecartS[an])<pLDeg(p,&dummy)))
     1684        && ((strat->ecartS[an])<ecart_p))
    16861685          return an;
    16871686        return en;
    … …  
    16931692      {
    16941693        if ((cmp_int!=1)
    1695         &&((pFDeg(set[i])+strat->ecartS[i])<pLDeg(p,&dummy)))
     1694        &&((strat->ecartS[i])<ecart_p))
    16961695          en=i;
    16971696        else
    … …  
    29422941          else
    29432942          {
    2944             pos = posInS(strat,strat->sl,h.p);
     2943            pos = posInS(strat,strat->sl,h.p,h.ecart);
    29452944          }
    29462945          h.sev = pGetShortExpVector(h.p);
    … …  
    29832982          else
    29842983          {
    2985             pos = posInS(strat,strat->sl,h.p);
     2984            pos = posInS(strat,strat->sl,h.p,h.ecart);
    29862985          }
    29872986          h.sev = pGetShortExpVector(h.p);
    … …  
    30413040          else
    30423041          {
    3043             pos = posInS(strat,strat->sl,h.p);
     3042            pos = posInS(strat,strat->sl,h.p,h.ecart);
    30443043          }
    30453044          h.sev = pGetShortExpVector(h.p);
    … …  
    31453144          else
    31463145          {
    3147             pos = posInS(strat,strat->sl,h.p);
     3146            pos = posInS(strat,strat->sl,h.p,h.ecart);
    31483147          }
    31493148          h.sev = pGetShortExpVector(h.p);
    … …  
    31833182        else
    31843183        {
    3185           pos = posInS(strat,strat->sl,h.p);
     3184          pos = posInS(strat,strat->sl,h.p,h.ecart);
    31863185        }
    31873186        h.sev = pGetShortExpVector(h.p);
    … …  
    32353234          h.sev = pGetShortExpVector(h.p);
    32363235          h.SetpFDeg();
    3237           pos = posInS(strat,strat->sl,h.p);
     3236          pos = posInS(strat,strat->sl,h.p,h.ecart);
    32383237          enterpairsSpecial(h.p,strat->sl,h.ecart,pos,strat,strat->tl+1);
    32393238          strat->enterS(h,pos,strat, strat->tl+1);
Note: See TracChangeset for help on using the changeset viewer.