Changeset 4301a7 in git


Ignore:
Timestamp:
Mar 22, 2000, 6:07:25 PM (24 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
779a2193d9b850b4c0d7900e062f8df304a49ab6
Parents:
8b4b7b107ee9c6977877873cd4967addac43fb12
Message:
*hannes; -1 strikes again


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

Legend:

Unmodified
Added
Removed

  • Singular/polys-impl.cc

    r8b4b7b r4301a7  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: polys-impl.cc,v 1.37 2000-03-22 16:56:52 Singular Exp $ */
     4/* $Id: polys-impl.cc,v 1.38 2000-03-22 17:07:25 Singular Exp $ */
    55
    66/***************************************************************
    … …  
    939939  if (o1>o2)
    940940  {
    941     return  -1;
     941    return  1;
    942942  }
    943943  if (o1<o2)
    944944  {
    945     return 1;
     945    return -1;
    946946  }
    947947  return 0;
    … …  
    10321032      case ringorder_a:
    10331033        r=rComp_a(p1,p2,i);
    1034         if (r!=0) { assume(r==rr);return r;}
     1034        if (r!=0) { assume(r==rr);return rr;}
    10351035        break;
    10361036
    … …  
    10391039        {
    10401040          assume(rr==1);
    1041           return 1;
     1041          return rr;
    10421042        }
    10431043        if (pGetComp(p1) > pGetComp(p2))
    10441044        {
    10451045          assume(rr==-1);
    1046           return -1;
     1046          return rr;
    10471047        }
    10481048        break;
    … …  
    10521052        {
    10531053          assume(rr==1);
    1054           return 1;
     1054          return rr;
    10551055        }
    10561056        if (pGetComp(p1) < pGetComp(p2))
    10571057        {
    10581058          assume(rr==-1);
    1059           return -1;
     1059          return rr;
    10601060        }
    10611061        break;
    … …  
    10641064        {
    10651065          assume(0); // not yet implemented
    1066           break;
     1066          return rr;
    10671067        }
    10681068
    10691069      case ringorder_lp:
    10701070        r=rComp_lex(p1,p2,i);
    1071         if (r!=0) { assume(r==rr);return r;}
     1071        if (r!=0) { assume(r==rr);return rr;}
    10721072        break;
    10731073
    10741074      case ringorder_ls:
    1075         r=rComp_lex(p1,p2,i);
    1076         if (r!=0) { assume(r== -rr);return -r;}
     1075        r= -rComp_lex(p1,p2,i);
     1076        if (r!=0) { assume(r==rr);return rr;}
    10771077        break;
    10781078
    10791079      case ringorder_dp:
    10801080        r=rComp_deg(p1,p2,i);
    1081         if (r!=0) { assume(r==rr);return r;}
     1081        if (r!=0) { assume(r==rr);return rr;}
    10821082        r=rComp_revlex(p1,p2,i);
    1083         if (r!=0) { assume(r==rr);return r;}
     1083        if (r!=0) { assume(r==rr);return rr;}
    10841084        break;
    10851085
    10861086      case ringorder_Dp:
    10871087        r=rComp_deg(p1,p2,i);
    1088         if (r!=0) { assume(r==rr);return r;}
     1088        if (r!=0) { assume(r==rr);return rr;}
    10891089        r=rComp_lex(p1,p2,i);
    1090         if (r!=0) { assume(r==rr);return r;}
     1090        if (r!=0) { assume(r==rr);return rr;}
    10911091        break;
    10921092
    10931093      case ringorder_ds:
    10941094        r= -rComp_deg(p1,p2,i);
    1095         if (r!=0) { assume(r==rr);return r;}
     1095        if (r!=0) { assume(r==rr);return rr;}
    10961096        r=rComp_revlex(p1,p2,i);
    1097         if (r!=0) { assume(r==rr);return r;}
     1097        if (r!=0) { assume(r==rr);return rr;}
    10981098        break;
    10991099
    11001100      case ringorder_Ds:
    11011101        r= -rComp_deg(p1,p2,i);
    1102         if (r!=0) { assume(r==rr);return r;}
     1102        if (r!=0) { assume(r==rr);return rr;}
    11031103        r=rComp_lex(p1,p2,i);
    1104         if (r!=0) { assume(r==rr);return r;}
     1104        if (r!=0) { assume(r==rr);return rr;}
    11051105        break;
    11061106
    11071107      case ringorder_wp:
    11081108        r=rComp_a(p1,p2,i);
    1109         if (r!=0) { assume(r==rr);return r;}
     1109        if (r!=0) { assume(r==rr);return rr;}
    11101110        r=rComp_revlex(p1,p2,i);
    1111         if (r!=0) { assume(r==rr);return r;}
     1111        if (r!=0) { assume(r==rr);return rr;}
    11121112        break;
    11131113
    11141114      case ringorder_Wp:
    11151115        r=rComp_a(p1,p2,i);
    1116         if (r!=0) { assume(r==rr);return r;}
     1116        if (r!=0) { assume(r==rr);return rr;}
    11171117        r=rComp_lex(p1,p2,i);
    1118         if (r!=0) { assume(r==rr);return r;}
     1118        if (r!=0) { assume(r==rr);return rr;}
    11191119        break;
    11201120
    11211121      case ringorder_ws:
    11221122        r= -rComp_a(p1,p2,i);
    1123         if (r!=0) { assume(r==rr);return r;}
     1123        if (r!=0) { assume(r==rr);return rr;}
    11241124        r=rComp_revlex(p1,p2,i);
    1125         if (r!=0) { assume(r==rr);return r;}
     1125        if (r!=0) { assume(r==rr);return rr;}
    11261126        break;
    11271127
    11281128      case ringorder_Ws:
    11291129        r= -rComp_a(p1,p2,i);
    1130         if (r!=0) { assume(r==rr);return r;}
     1130        if (r!=0) { assume(r==rr);return rr;}
    11311131        r=rComp_lex(p1,p2,i);
    1132         if (r!=0) { assume(r==rr);return r;}
     1132        if (r!=0) { assume(r==rr);return rr;}
    11331133        break;
    11341134
    11351135      case ringorder_S:
    11361136        assume(0);
    1137         break;
     1137        return rr;
    11381138
    11391139      case ringorder_s:
    11401140        /*  ro_syz */
     1141        // shall not appear:
     1142        assume(0);
     1143        #if 0
    11411144        if ((pGetComp(p1) > pDBsyzComp) && (pGetComp(p2) > pDBsyzComp)) break;
    11421145        if ((pGetComp(p1) <= pDBsyzComp) && (pGetComp(p2) <= pDBsyzComp)) break;
    1143         if (pGetComp(p1) <= pDBsyzComp) { assume(rr==1); return 1;}
    1144         /* if (pGetComp(p2) <= pDBsyzComp) */ { assume (rr== -1); return -1; }
    1145         break;
     1146        if (pGetComp(p1) <= pDBsyzComp) { assume(rr==1); return rr;}
     1147        /* if (pGetComp(p2) <= pDBsyzComp) */ { assume (rr== -1); return rr; }
     1148        #endif
     1149        return rr;
    11461150
    11471151      case ringorder_unspec:
Note: See TracChangeset for help on using the changeset viewer.