Changeset 009bd5 in git


Ignore:
Timestamp:
Dec 4, 2014, 11:23:02 AM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
d50995160fd4a66b8b49207ac2c86fa22afea1ee
Parents:
d5771f0b547225409cbbd4793cbfe2cb394b5416
Message:
kstd1/kutil: clean r->OrdSgn: rHasGlobalOrdering
Location:
kernel/GBEngine
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • kernel/GBEngine/kstd1.cc

    rd5771f0 r009bd5  
    11871187    strat->use_buckets = kMoraUseBucket(strat);
    11881188#else
    1189   if ( (!rField_is_Ring(currRing)) || (currRing->OrdSgn != -1))
    1190     {
    1191     strat->red = redFirst;
     1189    if ( (!rField_is_Ring(currRing)) || (rHasGlobalOrdering(currRing)))
     1190    {
     1191      strat->red = redFirst;
    11921192      strat->use_buckets = kMoraUseBucket(strat);
    1193       }
    1194 #endif
    1195 
     1193    }
     1194#endif
    11961195    updateT(strat);
    11971196
    … …  
    12001199    reorderT(strat);
    12011200#else
    1202   if ( (!rField_is_Ring(currRing)) || (currRing->OrdSgn != -1))
    1203     {
    1204     strat->posInT = posInT2;
     1201    if ( (!rField_is_Ring(currRing)) || (rHasGlobalOrdering(currRing)))
     1202    {
     1203      strat->posInT = posInT2;
    12051204      reorderT(strat);
    1206       }
     1205    }
    12071206#endif
    12081207  }
    … …  
    13631362  if (rField_is_Ring(currRing))
    13641363  {
    1365     if(currRing->OrdSgn == -1)
     1364    if(rHasLocalOrMixedOrdering(currRing))
    13661365      {strat->red = redRiloc;}
    13671366    else
    … …  
    21782177#ifdef HAVE_RINGS
    21792178  if (rField_is_Ring(currRing))
    2180     {
    2181     if(currRing->OrdSgn == -1)
     2179  {
     2180    if(rHasLocalOrMixedOrdering(currRing))
    21822181      r=mora(F,Q,NULL,hilb,strat);
    21832182    else
    21842183      r=bba(F,Q,NULL,hilb,strat);
    2185     }
     2184  }
    21862185  else
    21872186#endif
    21882187  {
    2189     if (currRing->OrdSgn==-1)
     2188    if (rHasLocalOrMixedOrdering(currRing))
    21902189    {
    21912190      if (w!=NULL)
    … …  
    23292328#endif
    23302329  {
    2331     if (currRing->OrdSgn==-1)
     2330    if (rHasLocalOrMixedOrdering(currRing))
    23322331    {
    23332332      if (w!=NULL)
    … …  
    24262425  idTest(F);
    24272426#endif
    2428   if (currRing->OrdSgn==-1)
     2427  if (rHasLocalOrMixedOrdering(currRing))
    24292428  {
    24302429    /* error: no local ord yet with shifts */
    … …  
    25522551  }
    25532552  strat->homog=h;
    2554   if (currRing->OrdSgn==-1)
     2553  if (rHasLocalOrMixedOrdering(currRing))
    25552554  {
    25562555    if (w!=NULL)
    … …  
    26472646  poly res;
    26482647
    2649   if (currRing->OrdSgn==-1)
     2648  if (rHasLocalOrMixedOrdering(currRing))
    26502649    res=kNF1(F,Q,pp,strat,lazyReduce);
    26512650  else
    … …  
    27002699  }
    27012700
    2702   if (currRing->OrdSgn==-1)
     2701  if (rHasLocalOrMixedOrdering(currRing))
    27032702    res=kNF1(F,Q,pp,strat,lazyReduce);
    27042703  else
    … …  
    27702769  strat->R           = initR();
    27712770  strat->sevT        = initsevT();
    2772   if (currRing->OrdSgn == -1)   strat->honey = TRUE;
     2771  if (rHasLocalOrMixedOrdering(currRing))   strat->honey = TRUE;
    27732772  initS(tempF, tempQ, strat);
    27742773  if (TEST_OPT_REDSB)
    … …  
    30803079  if(rIsPluralRing(currRing)) return kInterRedOld(F,Q);
    30813080#endif
    3082   if ((currRing->OrdSgn==-1)|| (rField_is_numeric(currRing))
     3081  if ((rHasLocalOrMixedOrdering(currRing))|| (rField_is_numeric(currRing))
    30833082  #ifdef HAVE_RINGS
    30843083  ||(rField_is_Ring(currRing))

  • kernel/GBEngine/kutil.cc

    rd5771f0 r009bd5  
    335335
    336336#ifdef HAVE_RINGS
    337     if (rField_is_Ring(r) /*&& (!rHasGlobalOrdering(r))*/)
     337    if (rField_is_Ring(r) /*&& (rHasLocalOrMixedOrdering(r))*/)
    338338      lc = p_GetCoeff(p,r);
    339339#endif
    … …  
    361361        number eins;
    362362#ifdef HAVE_RINGS
    363         if (rField_is_Ring(r) /*&& (!rHasGlobalOrdering(r))*/)
     363        if (rField_is_Ring(r) /*&& (rHasLocalOrMixedOrdering(r))*/)
    364364          eins = nCopy(lc);
    365365        else
    … …  
    398398      // Note: As long as qring j forbidden if j contains integer (i.e. ground rings are
    399399      //       domains), no zerodivisor test needed  CAUTION
    400       if (rField_is_Ring(r) /*&&(!rHasGlobalOrdering(r)) */)
     400      if (rField_is_Ring(r) /*&&(rHasLocalOrMixedOrdering(r)) */)
    401401        if(n_DivBy(p_GetCoeff(h,r->cf),lc,r->cf) == 0)
    402402          return;
    … …  
    10691069    {
    10701070      // search p in T, if it is there, do not delete it
    1071       if (currRing->OrdSgn != -1 || kFindInT(set[j].p, strat) < 0)
     1071      if (rHasGlobalOrdering(currRing) || (kFindInT(set[j].p, strat) < 0))
    10721072      {
    10731073        // assure that for global orderings kFindInT fails
    1074         assume(currRing->OrdSgn == -1 || kFindInT(set[j].p, strat) < 0);
     1074        //assume((rHasLocalOrMixedOrdering(currRing)) && (kFindInT(set[j].p, strat) >= 0));
    10751075        set[j].Delete();
    10761076      }
    … …  
    22212221      {
    22222222        if (sugarDivisibleBy(ecart,strat->L[j].ecart)
    2223         && ((pNext(strat->L[j].p) == strat->tail) || (currRing->OrdSgn==1))
     2223        && ((pNext(strat->L[j].p) == strat->tail) || (rHasGlobalOrdering(currRing)))
    22242224        && pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    22252225        {
    … …  
    22742274        if (pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    22752275        {
    2276           if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
     2276          if ((pNext(strat->L[j].p) == strat->tail)||(rHasGlobalOrdering(currRing)))
    22772277          {
    22782278            deleteInL(strat->L,&strat->Ll,j,strat);
    … …  
    23132313      if (pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    23142314      {
    2315         if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
     2315        if ((pNext(strat->L[j].p) == strat->tail)||(rHasGlobalOrdering(currRing)))
    23162316        {
    23172317          deleteInL(strat->L,&strat->Ll,j,strat);
    … …  
    25052505      {
    25062506        if (sugarDivisibleBy(ecart,strat->L[j].ecart)
    2507         && ((pNext(strat->L[j].p) == strat->tail) || (currRing->OrdSgn==1))
     2507        && ((pNext(strat->L[j].p) == strat->tail) || (rHasGlobalOrdering(currRing)))
    25082508        && pCompareChainPart(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    25092509        {
    … …  
    25822582        if (pCompareChainPart(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    25832583        {
    2584           if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
     2584          if ((pNext(strat->L[j].p) == strat->tail)||(rHasGlobalOrdering(currRing)))
    25852585          {
    25862586              if(TEST_OPT_DEBUG)
    … …  
    26352635      if (pCompareChainPart(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    26362636      {
    2637         if ((pNext(strat->L[j].p) == strat->tail)||(currRing->OrdSgn==1))
     2637        if ((pNext(strat->L[j].p) == strat->tail)||(rHasGlobalOrdering(currRing)))
    26382638        {
    26392639              if(TEST_OPT_DEBUG)
    … …  
    27722772        for (j=0; j<=k; j++)
    27732773        {
    2774         #if ADIDEBUG
    2775         PrintS("\n initenterpairs: \n");
    2776         PrintS("                ");p_Write(h, strat->tailRing);
    2777         PrintS("                ");p_Write(strat->S[j],strat->tailRing);
    2778         #endif
     2774          #if ADIDEBUG
     2775          PrintS("\n initenterpairs: \n");
     2776          PrintS("                ");p_Write(h, strat->tailRing);
     2777          PrintS("                ");p_Write(strat->S[j],strat->tailRing);
     2778          #endif
    27792779          strat->enterOnePair(j,h,ecart,isFromQ,strat, atR);
    27802780          //Print("j:%d, Ll:%d\n",j,strat->Ll);
    … …  
    29252925      if (pCompareChain(p,strat->L[j].p1,strat->L[j].p2,strat->L[j].lcm))
    29262926      {
    2927         if ((pNext(strat->L[j].p) == strat->tail) || (currRing->OrdSgn==1))
     2927        if ((pNext(strat->L[j].p) == strat->tail) || (rHasGlobalOrdering(currRing)))
    29282928        {
    29292929          deleteInL(strat->L,&strat->Ll,j,strat);
    … …  
    57575757          h.pNorm();
    57585758        }
    5759         if (currRing->OrdSgn==-1)
     5759        if (rHasLocalOrMixedOrdering(currRing))
    57605760        {
    57615761          deleteHC(&h, strat);
    … …  
    57835783      LObject h;
    57845784      h.p = pCopy(F->m[i]);
    5785       if (currRing->OrdSgn==-1)
     5785      if (rHasLocalOrMixedOrdering(currRing))
    57865786      {
    57875787                    /*#ifdef HAVE_RINGS
    … …  
    58515851        LObject h;
    58525852        h.p = pCopy(Q->m[i]);
    5853         if (currRing->OrdSgn==-1)
     5853        if (rHasLocalOrMixedOrdering(currRing))
    58545854        {
    58555855          deleteHC(&h,strat);
    … …  
    58885888      if (h.p!=NULL)
    58895889      {
    5890         if (currRing->OrdSgn==-1)
     5890        if (rHasLocalOrMixedOrdering(currRing))
    58915891        {
    58925892          cancelunit(&h);  /*- tries to cancel a unit -*/
    … …  
    59585958        LObject h;
    59595959        h.p = pCopy(Q->m[i]);
    5960         if (currRing->OrdSgn==-1)
     5960        if (rHasLocalOrMixedOrdering(currRing))
    59615961        {
    59625962          deleteHC(&h,strat);
    … …  
    60136013      if (h.p!=NULL)
    60146014      {
    6015         if (currRing->OrdSgn==-1)
     6015        if (rHasLocalOrMixedOrdering(currRing))
    60166016        {
    60176017          cancelunit(&h);  /*- tries to cancel a unit -*/
    … …  
    62626262        //  h.pNorm();
    62636263        //}
    6264         if (currRing->OrdSgn==-1)
     6264        if (rHasLocalOrMixedOrdering(currRing))
    62656265        {
    62666266          deleteHC(&h,strat);
    … …  
    62906290      LObject h;
    62916291      h.p = pCopy(F->m[i]);
    6292       if (currRing->OrdSgn==-1)
     6292      if (rHasLocalOrMixedOrdering(currRing))
    62936293      {
    62946294        deleteHC(&h,strat);
    … …  
    63276327      if(strat->sl>=0)
    63286328      {
    6329         if (currRing->OrdSgn==1)
     6329        if (rHasGlobalOrdering(currRing))
    63306330        {
    63316331          h.p=redBba(h.p,strat->sl,strat);
    … …  
    64076407        //  h.pNorm();
    64086408        //}
    6409         if (currRing->OrdSgn==-1)
     6409        if (rHasLocalOrMixedOrdering(currRing))
    64106410        {
    64116411          deleteHC(&h,strat);
    … …  
    64356435      LObject h;
    64366436      h.p = pCopy(F->m[i]);
    6437       if (currRing->OrdSgn==-1)
     6437      if (rHasLocalOrMixedOrdering(currRing))
    64386438      {
    64396439        deleteHC(&h,strat);
    … …  
    64726472      if(strat->sl>=0)
    64736473      {
    6474         if (currRing->OrdSgn==1)
     6474        if (rHasGlobalOrdering(currRing))
    64756475        {
    64766476          h.p=redBba(h.p,strat->sl,strat);
    … …  
    67026702//  Print("currRing->OrdSgn=%d\n", currRing->OrdSgn);
    67036703  any_change=FALSE;
    6704   if (currRing->OrdSgn==1)
     6704  if (rHasGlobalOrdering(currRing))
    67056705  {
    67066706    while (suc != -1)
    … …  
    73027302  //if the ordering is local, then hilb criterion
    73037303  //can be used also if tzhe ideal is not homogenous
    7304   if((currRing->OrdSgn == -1) && (currRing->MixedOrder == 0 ))
     7304  if((rHasLocalOrMixedOrdering(currRing)) && (currRing->MixedOrder == 0 ))
    73057305  #ifdef HAVE_RINGS
    73067306  {
    … …  
    74607460void initBuchMoraPos (kStrategy strat)
    74617461{
    7462   if (currRing->OrdSgn==1)
     7462  if (rHasGlobalOrdering(currRing))
    74637463  {
    74647464    if (strat->honey)
    … …  
    75547554  strat->interpt = BTEST1(OPT_INTERRUPT);
    75557555  strat->kHEdge=NULL;
    7556   if (currRing->OrdSgn==1) strat->kHEdgeFound=FALSE;
     7556  if (rHasGlobalOrdering(currRing)) strat->kHEdgeFound=FALSE;
    75577557  /*- creating temp data structures------------------- -*/
    75587558  strat->cp = 0;
    … …  
    75787578  strat->P.ecart=0;
    75797579  strat->P.length=0;
    7580   if (currRing->OrdSgn==-1)
     7580  if (rHasLocalOrMixedOrdering(currRing))
    75817581  {
    75827582    if (strat->kHEdge!=NULL) pSetComp(strat->kHEdge, strat->ak);
    … …  
    76497649void initSbaPos (kStrategy strat)
    76507650{
    7651   if (currRing->OrdSgn==1)
     7651  if (rHasGlobalOrdering(currRing))
    76527652  {
    76537653    if (strat->honey)
    … …  
    77477747  strat->interpt = BTEST1(OPT_INTERRUPT);
    77487748  strat->kHEdge=NULL;
    7749   if (currRing->OrdSgn==1) strat->kHEdgeFound=FALSE;
     7749  if (rHasGlobalOrdering(currRing)) strat->kHEdgeFound=FALSE;
    77507750  /*- creating temp data structures------------------- -*/
    77517751  strat->cp = 0;
    … …  
    77737773  strat->P.ecart=0;
    77747774  strat->P.length=0;
    7775   if (currRing->OrdSgn==-1)
     7775  if (rHasLocalOrMixedOrdering(currRing))
    77767776  {
    77777777    if (strat->kHEdge!=NULL) pSetComp(strat->kHEdge, strat->ak);
    … …  
    79867986{
    79877987  int i;
    7988   int low = (((currRing->OrdSgn==1) && (strat->ak==0)) ? 1 : 0);
     7988  int low = (((rHasGlobalOrdering(currRing)) && (strat->ak==0)) ? 1 : 0);
    79897989  LObject L;
    79907990
    … …  
    80228022      }
    80238023      #endif
    8024       if (currRing->OrdSgn == 1)
     8024      if (rHasGlobalOrdering(currRing))
    80258025        strat->S[i] = redtailBba(&L, end_pos, strat, withT);
    80268026      else
    … …  
    80578057      }
    80588058      #endif
    8059       if (currRing->OrdSgn == 1)
     8059      if (rHasGlobalOrdering(currRing))
    80608060        strat->S[i] = redtailBba(strat->S[i], end_pos, strat, withT);
    80618061      else
    … …  
    90459045  strat->interpt = BTEST1(OPT_INTERRUPT);
    90469046  strat->kHEdge=NULL;
    9047   if (currRing->OrdSgn==1) strat->kHEdgeFound=FALSE;
     9047  if (rHasGlobalOrdering(currRing)) strat->kHEdgeFound=FALSE;
    90489048  /*- creating temp data structures------------------- -*/
    90499049  strat->cp = 0;
    … …  
    90709070  strat->P.ecart=0;
    90719071  strat->P.length=0;
    9072   if (currRing->OrdSgn==-1)
     9072  if (rHasLocalOrMixedOrdering(currRing))
    90739073  {
    90749074    if (strat->kHEdge!=NULL) pSetComp(strat->kHEdge, strat->ak);
Note: See TracChangeset for help on using the changeset viewer.