Changeset d5e030 in git


Ignore:
Timestamp:
Aug 22, 2011, 6:08:15 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4188d308699580d975efd0f6cca8dcb41c396f70')
Children:
7b15f9d6e8069325ddf6e279925bb0ff0d3f4a94
Parents:
d02a0a1cbc2bab9a3795ca25c985fd634d4ec56a
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2011-08-22 18:08:15+02:00
git-committer:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:12:24+01:00
Message:
fix pOrdSgn -> r->OrdSgn
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • kernel/gr_kstd2.cc

    rd02a0a1 rd5e030  
    10631063#endif
    10641064
    1065   assume(pOrdSgn != -1); // no mora!!! it terminates only for global ordering!!! (?)
     1065  assume(currRing->OrdSgn != -1); // no mora!!! it terminates only for global ordering!!! (?)
    10661066
    10671067  intvec *w=NULL;
  • kernel/hdegree.cc

    rd02a0a1 rd5e030  
    797797{
    798798  int di = (currRing->N)-co;
    799   if (pOrdSgn == 1)
     799  if (currRing->OrdSgn == 1)
    800800  {
    801801    if (di>0)
     
    910910{
    911911  pSetm(pWork);
    912   if (pLmCmp(pWork, hEdge) == pOrdSgn)
     912  if (pLmCmp(pWork, hEdge) == currRing->OrdSgn)
    913913  {
    914914    for (int i = hNvar; i>0; i--)
  • kernel/kstd1.cc

    rd02a0a1 rd5e030  
    18051805#endif
    18061806  {
    1807     if (pOrdSgn==-1)
     1807    if (currRing->OrdSgn==-1)
    18081808    {
    18091809      if (w!=NULL)
     
    18991899  idTest(F);
    19001900#endif
    1901   if (pOrdSgn==-1)
     1901  if (currRing->OrdSgn==-1)
    19021902  {
    19031903    /* error: no local ord yet with shifts */
     
    20072007  }
    20082008  strat->homog=h;
    2009   if (pOrdSgn==-1)
     2009  if (currRing->OrdSgn==-1)
    20102010  {
    20112011    if (w!=NULL)
     
    21002100  poly res;
    21012101
    2102   if (pOrdSgn==-1)
     2102  if (currRing->OrdSgn==-1)
    21032103    res=kNF1(F,Q,pp,strat,lazyReduce);
    21042104  else
     
    21532153  }
    21542154
    2155   if (pOrdSgn==-1)
     2155  if (currRing->OrdSgn==-1)
    21562156    res=kNF1(F,Q,pp,strat,lazyReduce);
    21572157  else
     
    22152215  strat->R           = initR();
    22162216  strat->sevT        = initsevT();
    2217   if (pOrdSgn == -1)   strat->honey = TRUE;
     2217  if (currRing->OrdSgn == -1)   strat->honey = TRUE;
    22182218  initS(tempF, tempQ, strat);
    22192219  if (TEST_OPT_REDSB)
     
    25232523  if(rIsPluralRing(currRing)) return kInterRedOld(F,Q);
    25242524#endif
    2525   if ((pOrdSgn==-1)
     2525  if ((currRing->OrdSgn==-1)
    25262526  || (rField_is_numeric(currRing)))
    25272527    return kInterRedOld(F,Q);
  • kernel/kutil.cc

    rd02a0a1 rd5e030  
    977977    {
    978978      // search p in T, if it is there, do not delete it
    979       if (pOrdSgn != -1 || kFindInT(set[j].p, strat) < 0)
     979      if (currRing->OrdSgn != -1 || kFindInT(set[j].p, strat) < 0)
    980980      {
    981981        // assure that for global orderings kFindInT fails
    982         assume(pOrdSgn == -1 || kFindInT(set[j].p, strat) < 0);
     982        assume(currRing->OrdSgn == -1 || kFindInT(set[j].p, strat) < 0);
    983983        set[j].Delete();
    984984      }
     
    18251825      {
    18261826        if (sugarDivisibleBy(ecart,strat->L[j].ecart)
    1827         && ((pNext(strat->L[j].p) == strat->tail) || (pOrdSgn==1))
     1827        && ((pNext(strat->L[j].p) == strat->tail) || (currRing->OrdSgn==1))
    18281828        && pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    18291829        {
     
    18781878        if (pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    18791879        {
    1880           if ((pNext(strat->L[j].p) == strat->tail)||(pOrdSgn==1))
     1880          if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
    18811881          {
    18821882            deleteInL(strat->L,&strat->Ll,j,strat);
     
    19171917      if (pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    19181918      {
    1919         if ((pNext(strat->L[j].p) == strat->tail)||(pOrdSgn==1))
     1919        if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
    19201920        {
    19211921          deleteInL(strat->L,&strat->Ll,j,strat);
     
    20472047      {
    20482048        if (sugarDivisibleBy(ecart,strat->L[j].ecart)
    2049         && ((pNext(strat->L[j].p) == strat->tail) || (pOrdSgn==1))
     2049        && ((pNext(strat->L[j].p) == strat->tail) || (currRing->OrdSgn==1))
    20502050        && pCompareChainPart(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    20512051        {
     
    21242124        if (pCompareChainPart(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    21252125        {
    2126           if ((pNext(strat->L[j].p) == strat->tail)||(pOrdSgn==1))
     2126          if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
    21272127          {
    21282128              if(TEST_OPT_DEBUG)
     
    21772177      if (pCompareChainPart(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    21782178      {
    2179         if ((pNext(strat->L[j].p) == strat->tail)||(pOrdSgn==1))
     2179        if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
    21802180        {
    21812181              if(TEST_OPT_DEBUG)
     
    23982398      if (pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    23992399      {
    2400         if ((pNext(strat->L[j].p) == strat->tail) || (pOrdSgn==1))
     2400        if ((pNext(strat->L[j].p) == strat->tail) || (currRing->OrdSgn==1))
    24012401        {
    24022402          deleteInL(strat->L,&strat->Ll,j,strat);
     
    32273227  int an = 0;
    32283228  int en = length;
    3229   int cmp_int = pOrdSgn;
     3229  int cmp_int = currRing->OrdSgn;
    32303230  int pc=pGetComp(p);
    32313231  if ((currRing->MixedOrder)
     
    33403340  if (length==-1) return 0;
    33413341
    3342   if (pLmCmp(set[length].p,p.p)!= pOrdSgn) return length+1;
     3342  if (pLmCmp(set[length].p,p.p)!= currRing->OrdSgn) return length+1;
    33433343
    33443344  int i;
     
    33503350    if (an >= en-1)
    33513351    {
    3352       if (pLmCmp(set[an].p,p.p) == pOrdSgn) return an;
     3352      if (pLmCmp(set[an].p,p.p) == currRing->OrdSgn) return an;
    33533353      return en;
    33543354    }
    33553355    i=(an+en) / 2;
    3356     if (pLmCmp(set[i].p,p.p) == pOrdSgn) en=i;
     3356    if (pLmCmp(set[i].p,p.p) == currRing->OrdSgn) en=i;
    33573357    else                                 an=i;
    33583358  }
     
    34033403 * {
    34043404 *   if ((pFDeg(set[j].p) > o)
    3405  *   || ((pFDeg(set[j].p) == o) && (pLmCmp(set[j].p,p.p) == pOrdSgn)))
     3405 *   || ((pFDeg(set[j].p) == o) && (pLmCmp(set[j].p,p.p) == currRing->OrdSgn)))
    34063406 *   {
    34073407 *     return j;
     
    34193419
    34203420  if ((op < o)
    3421   || ((op == o) && (pLmCmp(set[length].p,p.p) != pOrdSgn)))
     3421  || ((op == o) && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
    34223422    return length+1;
    34233423
     
    34323432      op= set[an].GetpFDeg();
    34333433      if ((op > o)
    3434       || (( op == o) && (pLmCmp(set[an].p,p.p) == pOrdSgn)))
     3434      || (( op == o) && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
    34353435        return an;
    34363436      return en;
     
    34393439    op = set[i].GetpFDeg();
    34403440    if (( op > o)
    3441     || (( op == o) && (pLmCmp(set[i].p,p.p) == pOrdSgn)))
     3441    || (( op == o) && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
    34423442      en=i;
    34433443    else
     
    34593459  int an = 0;
    34603460  int en = length;
    3461   int cmp_int = pOrdSgn;
     3461  int cmp_int = currRing->OrdSgn;
    34623462  if ((op < o) || (pLmCmp(set[length].p,p.p)== -cmp_int))
    34633463    return length+1;
     
    34953495
    34963496  if ((op < o)
    3497   || ((op == o) && (pLmCmp(set[length].p,p.p) != pOrdSgn)))
     3497  || ((op == o) && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
    34983498    return length+1;
    34993499
     
    35083508      op= set[an].GetpFDeg();
    35093509      if ((op > o)
    3510       || (( op == o) && (pLmCmp(set[an].p,p.p) == pOrdSgn)))
     3510      || (( op == o) && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
    35113511        return an;
    35123512      return en;
     
    35153515    op = set[i].GetpFDeg();
    35163516    if (( op > o)
    3517     || (( op == o) && (pLmCmp(set[i].p,p.p) == pOrdSgn)))
     3517    || (( op == o) && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
    35183518      en=i;
    35193519    else
     
    35383538  || (( op == o) && (set[length].length<p.length))
    35393539  || (( op == o) && (set[length].length == p.length)
    3540      && (pLmCmp(set[length].p,p.p) != pOrdSgn)))
     3540     && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
    35413541    return length+1;
    35423542
     
    35523552      || (( op == o) && (set[an].length > p.length))
    35533553      || (( op == o) && (set[an].length == p.length)
    3554          && (pLmCmp(set[an].p,p.p) == pOrdSgn)))
     3554         && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
    35553555        return an;
    35563556      return en;
     
    35613561    || (( op == o) && (set[i].length > p.length))
    35623562    || (( op == o) && (set[i].length == p.length)
    3563        && (pLmCmp(set[i].p,p.p) == pOrdSgn)))
     3563       && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
    35643564      en=i;
    35653565    else
     
    36513651 *   if ((set[j].GetpFDeg()+set[j].ecart > o)
    36523652 *   || ((set[j].GetpFDeg()+set[j].ecart == o)
    3653  *     && (pLmCmp(set[j].p,p.p) == pOrdSgn)))
     3653 *     && (pLmCmp(set[j].p,p.p) == currRing->OrdSgn)))
    36543654 *   {
    36553655 *     return j;
     
    36683668  if ((op < o)
    36693669  || ((op == o)
    3670      && (pLmCmp(set[length].p,p.p) != pOrdSgn)))
     3670     && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
    36713671    return length+1;
    36723672
     
    36803680      op = set[an].GetpFDeg()+set[an].ecart;
    36813681      if (( op > o)
    3682       || (( op  == o) && (pLmCmp(set[an].p,p.p) == pOrdSgn)))
     3682      || (( op  == o) && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
    36833683        return an;
    36843684      return en;
     
    36873687    op = set[i].GetpFDeg()+set[i].ecart;
    36883688    if (( op > o)
    3689     || (( op == o) && (pLmCmp(set[i].p,p.p) == pOrdSgn)))
     3689    || (( op == o) && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
    36903690      en=i;
    36913691    else
     
    37133713*    || ((pFDeg(set[j].p)+set[j].ecart == o)
    37143714*      && (set[j].ecart==p.ecart)
    3715 *      && (pLmCmp(set[j].p,p.p)==pOrdSgn)))
     3715*      && (pLmCmp(set[j].p,p.p)==currRing->OrdSgn)))
    37163716*      return j;
    37173717*    j++;
     
    37293729  || (( op == o) && (set[length].ecart > p.ecart))
    37303730  || (( op == o) && (set[length].ecart==p.ecart)
    3731      && (pLmCmp(set[length].p,p.p) != pOrdSgn)))
     3731     && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
    37323732    return length+1;
    37333733
     
    37433743      || (( op == o) && (set[an].ecart < p.ecart))
    37443744      || (( op  == o) && (set[an].ecart==p.ecart)
    3745          && (pLmCmp(set[an].p,p.p) == pOrdSgn)))
     3745         && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
    37463746        return an;
    37473747      return en;
     
    37523752    || (( op == o) && (set[i].ecart < p.ecart))
    37533753    || (( op == o) && (set[i].ecart == p.ecart)
    3754        && (pLmCmp(set[i].p,p.p) == pOrdSgn)))
     3754       && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
    37553755      en=i;
    37563756    else
     
    37803780    || ((op == o) && (set[length].ecart > p.ecart))
    37813781    || ((op == o) && (set[length].ecart==p.ecart)
    3782        && (pLmCmp(set[length].p,p.p) != pOrdSgn)))
     3782       && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
    37833783      return length+1;
    37843784  }
     
    37993799        || ((op == o) && (set[an].ecart < p.ecart))
    38003800        || ((op == o) && (set[an].ecart==p.ecart)
    3801            && (pLmCmp(set[an].p,p.p) == pOrdSgn)))
     3801           && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
    38023802          return an;
    38033803      }
     
    38133813      || ((op == o) && (set[i].ecart < p.ecart))
    38143814      || ((op == o) && (set[i].ecart == p.ecart)
    3815          && (pLmCmp(set[i].p,p.p) == pOrdSgn)))
     3815         && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
    38163816        en=i;
    38173817      else
     
    38953895  if ((op > d)
    38963896  || ((op == d) && (p->p1!=NULL)&&(set[length].p1==NULL))
    3897   || (pLmCmp(set[length].p,p->p)== pOrdSgn))
     3897  || (pLmCmp(set[length].p,p->p)== currRing->OrdSgn))
    38983898     return length+1;
    38993899
     
    39083908      if ((op > d)
    39093909      || ((op == d) && (p->p1!=NULL) && (set[an].p1==NULL))
    3910       || (pLmCmp(set[an].p,p->p)== pOrdSgn))
     3910      || (pLmCmp(set[an].p,p->p)== currRing->OrdSgn))
    39113911         return en;
    39123912      return an;
     
    39163916    if ((op>d)
    39173917    || ((op==d) && (p->p1!=NULL) && (set[i].p1==NULL))
    3918     || (pLmCmp(set[i].p,p->p) == pOrdSgn))
     3918    || (pLmCmp(set[i].p,p->p) == currRing->OrdSgn))
    39193919      an=i;
    39203920    else
     
    39333933  if (length<0) return 0;
    39343934
    3935   if (pLmCmp(set[length].p,p->p)== pOrdSgn)
     3935  if (pLmCmp(set[length].p,p->p)== currRing->OrdSgn)
    39363936    return length+1;
    39373937
     
    39433943    if (an >= en-1)
    39443944    {
    3945       if (pLmCmp(set[an].p,p->p) == pOrdSgn) return en;
     3945      if (pLmCmp(set[an].p,p->p) == currRing->OrdSgn) return en;
    39463946      return an;
    39473947    }
    39483948    i=(an+en) / 2;
    3949     if (pLmCmp(set[i].p,p->p) == pOrdSgn) an=i;
     3949    if (pLmCmp(set[i].p,p->p) == currRing->OrdSgn) an=i;
    39503950    else                                 en=i;
    39513951    /*aend. fuer lazy == in !=- machen */
     
    39703970 *   if (j > length)            return j;
    39713971 *   if ((set[j].GetpFDeg() < o)) return j;
    3972  *   if ((set[j].GetpFDeg() == o) && (pLmCmp(set[j].p,p->p) == -pOrdSgn))
     3972 *   if ((set[j].GetpFDeg() == o) && (pLmCmp(set[j].p,p->p) == -currRing->OrdSgn))
    39733973 *   {
    39743974 *     return j;
     
    39853985
    39863986  if ((op > o)
    3987   || ((op == o) && (pLmCmp(set[length].p,p->p) != -pOrdSgn)))
     3987  || ((op == o) && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
    39883988    return length+1;
    39893989  int i;
     
    39963996      op = set[an].GetpFDeg();
    39973997      if ((op > o)
    3998       || ((op == o) && (pLmCmp(set[an].p,p->p) != -pOrdSgn)))
     3998      || ((op == o) && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
    39993999        return en;
    40004000      return an;
     
    40034003    op = set[i].GetpFDeg();
    40044004    if ((op > o)
    4005     || ((op == o) && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))
     4005    || ((op == o) && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
    40064006      an=i;
    40074007    else
     
    40454045  int op = set[length].GetpFDeg();
    40464046
    4047   if ((op > o) || ((op == o) && (pLmCmp(set[length].p,p->p) != -pOrdSgn)))
     4047  if ((op > o) || ((op == o) && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
    40484048    return length + 1;
    40494049  int i;
     
    40554055    {
    40564056      op = set[an].GetpFDeg();
    4057       if ((op > o) || ((op == o) && (pLmCmp(set[an].p,p->p) != -pOrdSgn)))
     4057      if ((op > o) || ((op == o) && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
    40584058        return en;
    40594059      return an;
     
    40614061    i = (an+en) / 2;
    40624062    op = set[i].GetpFDeg();
    4063     if ((op > o) || ((op == o) && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))
     4063    if ((op > o) || ((op == o) && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
    40644064      an = i;
    40654065    else
     
    40794079  int indi;
    40804080
    4081   if ((inda > indp) || ((inda == inde) && ((op > o) || ((op == o) && (pLmCmp(set[length].p,p->p) != -pOrdSgn)))))
     4081  if ((inda > indp) || ((inda == inde) && ((op > o) || ((op == o) && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))))
    40824082    return length + 1;
    40834083  int i;
     
    40904090    {
    40914091      op = set[an].GetpFDeg();
    4092       if ((indp > inda) || ((indp == inda) && ((op > o) || ((op == o) && (pLmCmp(set[an].p,p->p) != -pOrdSgn)))))
     4092      if ((indp > inda) || ((indp == inda) && ((op > o) || ((op == o) && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))))
    40934093        return en;
    40944094      return an;
     
    40974097    indi = getIndexRng((unsigned long) pGetCoeff(set[i].p));
    40984098    op = set[i].GetpFDeg();
    4099     if ((indi > indp) || ((indi == indp) && ((op > o) || ((op == o) && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))))
    4100     // if ((op > o) || ((op == o) && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))
     4099    if ((indi > indp) || ((indi == indp) && ((op > o) || ((op == o) && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))))
     4100    // if ((op > o) || ((op == o) && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
    41014101    {
    41024102      an = i;
     
    41244124  || ((op == o) && (set[length].length >p->length))
    41254125  || ((op == o) && (set[length].length <= p->length)
    4126      && (pLmCmp(set[length].p,p->p) != -pOrdSgn)))
     4126     && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
    41274127    return length+1;
    41284128  int i;
     
    41374137      || ((op == o) && (set[an].length >p->length))
    41384138      || ((op == o) && (set[an].length <=p->length)
    4139          && (pLmCmp(set[an].p,p->p) != -pOrdSgn)))
     4139         && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
    41404140        return en;
    41414141      return an;
     
    41464146    || ((op == o) && (set[i].length > p->length))
    41474147    || ((op == o) && (set[i].length <= p->length)
    4148        && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))
     4148       && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
    41494149      an=i;
    41504150    else
     
    42064206 *   if (set[j].GetpFDeg()+set[j].ecart < o) return j;
    42074207 *   if ((set[j].GetpFDeg()+set[j].ecart == o)
    4208  *   && (pLmCmp(set[j].p,p->p) == -pOrdSgn))
     4208 *   && (pLmCmp(set[j].p,p->p) == -currRing->OrdSgn))
    42094209 *   {
    42104210 *     return j;
     
    42214221
    42224222  if ((op > o)
    4223   || ((op == o) && (pLmCmp(set[length].p,p->p) != -pOrdSgn)))
     4223  || ((op == o) && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
    42244224    return length+1;
    42254225  int i;
     
    42324232      op = set[an].GetpFDeg() + set[an].ecart;
    42334233      if ((op > o)
    4234       || ((op == o) && (pLmCmp(set[an].p,p->p) != -pOrdSgn)))
     4234      || ((op == o) && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
    42354235        return en;
    42364236      return an;
     
    42394239    op = set[i].GetpFDeg() + set[i].ecart;
    42404240    if ((op > o)
    4241     || ((op == o) && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))
     4241    || ((op == o) && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
    42424242      an=i;
    42434243    else
     
    42644264  || ((set[length].GetpFDeg() + set[length].ecart == o)
    42654265     && (set[length].ecart == p->ecart)
    4266      && (pLmCmp(set[length].p,p->p) != -pOrdSgn)))
     4266     && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
    42674267    return length+1;
    42684268  int i;
     
    42784278      || ((set[an].GetpFDeg() + set[an].ecart == o)
    42794279         && (set[an].ecart == p->ecart)
    4280          && (pLmCmp(set[an].p,p->p) != -pOrdSgn)))
     4280         && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
    42814281        return en;
    42824282      return an;
     
    42884288    || ((set[i].GetpFDeg() +set[i].ecart == o)
    42894289       && (set[i].ecart == p->ecart)
    4290        && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))
     4290       && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
    42914291      an=i;
    42924292    else
     
    43194319    || ((set[length].GetpFDeg() + set[length].ecart == o)
    43204320       && (set[length].ecart == p->ecart)
    4321        && (pLmCmp(set[length].p,p->p) != -pOrdSgn)))
     4321       && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
    43224322      return length+1;
    43234323  }
     
    43384338        || ((set[an].GetpFDeg() + set[an].ecart == o)
    43394339           && (set[an].ecart == p->ecart)
    4340            && (pLmCmp(set[an].p,p->p) != -pOrdSgn)))
     4340           && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
    43414341          return en;
    43424342      }
     
    43534353      || ((set[i].GetpFDeg() +set[i].ecart == o)
    43544354         && (set[i].ecart == p->ecart)
    4355          && (pLmCmp(set[i].p,p->p) != -pOrdSgn)))
     4355         && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
    43564356        an=i;
    43574357      else
     
    48624862          h.pNorm();
    48634863        }
    4864         if (pOrdSgn==-1)
     4864        if (currRing->OrdSgn==-1)
    48654865        {
    48664866          deleteHC(&h, strat);
     
    48884888      LObject h;
    48894889      h.p = pCopy(F->m[i]);
    4890       if (pOrdSgn==-1)
     4890      if (currRing->OrdSgn==-1)
    48914891      {
    48924892        cancelunit(&h);  /*- tries to cancel a unit -*/
     
    49494949        LObject h;
    49504950        h.p = pCopy(Q->m[i]);
    4951         if (pOrdSgn==-1)
     4951        if (currRing->OrdSgn==-1)
    49524952        {
    49534953          deleteHC(&h,strat);
     
    49864986      if (h.p!=NULL)
    49874987      {
    4988         if (pOrdSgn==-1)
     4988        if (currRing->OrdSgn==-1)
    49894989        {
    49904990          cancelunit(&h);  /*- tries to cancel a unit -*/
     
    50635063        //  h.pNorm();
    50645064        //}
    5065         if (pOrdSgn==-1)
     5065        if (currRing->OrdSgn==-1)
    50665066        {
    50675067          deleteHC(&h,strat);
     
    50915091      LObject h;
    50925092      h.p = pCopy(F->m[i]);
    5093       if (pOrdSgn==-1)
     5093      if (currRing->OrdSgn==-1)
    50945094      {
    50955095        deleteHC(&h,strat);
     
    51285128      if(strat->sl>=0)
    51295129      {
    5130         if (pOrdSgn==1)
     5130        if (currRing->OrdSgn==1)
    51315131        {
    51325132          h.p=redBba(h.p,strat->sl,strat);
     
    53565356//    pWrite(strat->S[i]);
    53575357//  }
    5358 //  Print("pOrdSgn=%d\n", pOrdSgn);
     5358//  Print("currRing->OrdSgn=%d\n", currRing->OrdSgn);
    53595359  any_change=FALSE;
    5360   if (pOrdSgn==1)
     5360  if (currRing->OrdSgn==1)
    53615361  {
    53625362    while (suc != -1)
     
    58215821void initBuchMoraPos (kStrategy strat)
    58225822{
    5823   if (pOrdSgn==1)
     5823  if (currRing->OrdSgn==1)
    58245824  {
    58255825    if (strat->honey)
     
    59155915  strat->interpt = BTEST1(OPT_INTERRUPT);
    59165916  strat->kHEdge=NULL;
    5917   if (pOrdSgn==1) strat->kHEdgeFound=FALSE;
     5917  if (currRing->OrdSgn==1) strat->kHEdgeFound=FALSE;
    59185918  /*- creating temp data structures------------------- -*/
    59195919  strat->cp = 0;
     
    59395939  strat->P.ecart=0;
    59405940  strat->P.length=0;
    5941   if (pOrdSgn==-1)
     5941  if (currRing->OrdSgn==-1)
    59425942  {
    59435943    if (strat->kHEdge!=NULL) pSetComp(strat->kHEdge, strat->ak);
     
    60986098{
    60996099  int i;
    6100   int low = (((pOrdSgn==1) && (strat->ak==0)) ? 1 : 0);
     6100  int low = (((currRing->OrdSgn==1) && (strat->ak==0)) ? 1 : 0);
    61016101  LObject L;
    61026102
     
    61356135      #endif
    61366136      poly p;
    6137       if (pOrdSgn == 1)
     6137      if (currRing->OrdSgn == 1)
    61386138        strat->S[i] = redtailBba(&L, end_pos, strat, withT);
    61396139      else
     
    61706170      }
    61716171      #endif
    6172       if (pOrdSgn == 1)
     6172      if (currRing->OrdSgn == 1)
    61736173        strat->S[i] = redtailBba(strat->S[i], end_pos, strat, withT);
    61746174      else
     
    69146914  strat->interpt = BTEST1(OPT_INTERRUPT);
    69156915  strat->kHEdge=NULL;
    6916   if (pOrdSgn==1) strat->kHEdgeFound=FALSE;
     6916  if (currRing->OrdSgn==1) strat->kHEdgeFound=FALSE;
    69176917  /*- creating temp data structures------------------- -*/
    69186918  strat->cp = 0;
     
    69396939  strat->P.ecart=0;
    69406940  strat->P.length=0;
    6941   if (pOrdSgn==-1)
     6941  if (currRing->OrdSgn==-1)
    69426942  {
    69436943    if (strat->kHEdge!=NULL) pSetComp(strat->kHEdge, strat->ak);
  • libpolys/polys/polys.h

    rd02a0a1 rd5e030  
    224224
    225225typedef poly*   polyset;
    226 extern int      pOrdSgn;
    227226extern poly     ppNoether;
    228227extern BOOLEAN  pVectorOut;
Note: See TracChangeset for help on using the changeset viewer.