Changeset 367c32 in git


Ignore:
Timestamp:
Jun 23, 2010, 7:56:34 PM (14 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4188d308699580d975efd0f6cca8dcb41c396f70')
Children:
a0372edbdfea84d99acb5f2b7dcceeb4ac1bf891
Parents:
c9eaea8b70d2cc5a19ab2acca23a712e92fb7de6
Message:
remove _pNext,_pIter,_pGetCoeff etc.

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

Legend:

Unmodified
Added
Removed
  • kernel/pDebug.cc

    rc9eaea8 r367c32  
    8484                            omSizeWOfAddr(p)==r->PolyBin->sizeW) ||
    8585                           rSamePolyRep((ring) custom, r),
    86                            "monomial not from specified ring");
     86                           "monomial not from specified ring",p,r);
    8787      return TRUE;
    8888    }
     
    9090    #endif
    9191    {
    92       pPolyAssumeReturn(omIsBinPageAddr(p) && omSizeWOfAddr(p)==r->PolyBin->sizeW);
     92      pPolyAssumeReturn(omIsBinPageAddr(p) && omSizeWOfAddr(p)==r->PolyBin->sizeW,p,r);
    9393      return TRUE;
    9494    }
     
    214214  // check addr with level+1 so as to check bin/page of addr
    215215  pPolyAssumeReturnMsg(omTestBinAddrSize(p, (r->PolyBin->sizeW)*SIZEOF_LONG, level+1)
    216                         == omError_NoError, "memory error");
     216                        == omError_NoError, "memory error",p,r);
    217217  #endif
    218218
     
    234234    // omAddr check
    235235    pPolyAssumeReturnMsg(omTestBinAddrSize(p, (r->PolyBin->sizeW)*SIZEOF_LONG, 1)
    236                      == omError_NoError, "memory error");
     236                     == omError_NoError, "memory error",p,r);
    237237    #endif
    238238    // number/coef check
    239     pPolyAssumeReturnMsg(p->coef != NULL || (n_GetChar(r) >= 2), "NULL coef");
     239    pPolyAssumeReturnMsg(p->coef != NULL || (n_GetChar(r) >= 2), "NULL coef",p,r);
    240240    #ifdef LDEBUG
    241241    r->cf->nDBTest(p->coef,__FILE__,__LINE__);
    242242    #endif
    243     pPolyAssumeReturnMsg(!n_IsZero(p->coef, r), "Zero coef");
     243    pPolyAssumeReturnMsg(!n_IsZero(p->coef, r), "Zero coef",p,r);
    244244
    245245    // check for valid comp
    246     pPolyAssumeReturnMsg(p_GetComp(p, r) >= 0 && (p_GetComp(p, r)<65000), "component out of range ?");
     246    pPolyAssumeReturnMsg(p_GetComp(p, r) >= 0 && (p_GetComp(p, r)<65000), "component out of range ?",p,r);
    247247    // check for mix poly/vec representation
    248     pPolyAssumeReturnMsg(ismod == (p_GetComp(p, r) != 0), "mixed poly/vector");
     248    pPolyAssumeReturnMsg(ismod == (p_GetComp(p, r) != 0), "mixed poly/vector",p,r);
    249249
    250250    // special check for ringorder_s/S
     
    261261      }
    262262      else { cc1=0; ccc1=0; }
    263       pPolyAssumeReturnMsg(c1 == 0 || cc1 != 0, "Component <-> TrueComponent zero mismatch");
    264       pPolyAssumeReturnMsg(c1 == 0 || ccc1 != 0,"Component <-> ShiftedComponent zero mismatch");
     263      pPolyAssumeReturnMsg(c1 == 0 || cc1 != 0, "Component <-> TrueComponent zero mismatch",p,r);
     264      pPolyAssumeReturnMsg(c1 == 0 || ccc1 != 0,"Component <-> ShiftedComponent zero mismatch",p,r);
    265265      ec1 = p->exp[o->data.syzcomp.place];
    266266      //pPolyAssumeReturnMsg(ec1 == ccc1, "Shifted comp out of sync. should %d, is %d");
     
    276276    {
    277277      poly p_should_equal = p_DebugInit(p, r, r);
    278       pPolyAssumeReturnMsg(p_ExpVectorEqual(p, p_should_equal, r), "p_Setm field(s) out of sync");
     278      pPolyAssumeReturnMsg(p_ExpVectorEqual(p, p_should_equal, r), "p_Setm field(s) out of sync",p,r);
    279279      p_LmFree(p_should_equal, r);
    280280    }
     
    286286      if (cmp == 0)
    287287      {
    288         _pPolyAssumeReturnMsg(0, "monoms p and p->next are equal", p_prev, r);
     288        pPolyAssumeReturnMsg(0, "monoms p and p->next are equal", p_prev, r);
    289289      }
    290290      else
    291         _pPolyAssumeReturnMsg(p_LmCmp(p_prev, p, r) == 1, "wrong order", p_prev, r);
     291        pPolyAssumeReturnMsg(p_LmCmp(p_prev, p, r) == 1, "wrong order", p_prev, r);
    292292
    293293      // check that compare worked sensibly
     
    299299          if (p_GetExp(p_prev, i, r) != p_GetExp(p, i, r)) break;
    300300        }
    301         _pPolyAssumeReturnMsg(i > 0, "Exponents equal but compare different", p_prev, r);
     301        pPolyAssumeReturnMsg(i > 0, "Exponents equal but compare different", p_prev, r);
    302302      }
    303303    }
     
    355355                               poly p2, unsigned long not_sev_2, ring r_2)
    356356{
    357   _pPolyAssume(p_GetShortExpVector(p1, r_1) == sev_1, p1, r_1);
    358   _pPolyAssume(p_GetShortExpVector(p2, r_2) == ~ not_sev_2, p2, r_2);
     357  pPolyAssume(p_GetShortExpVector(p1, r_1) == sev_1, p1, r_1);
     358  pPolyAssume(p_GetShortExpVector(p2, r_2) == ~ not_sev_2, p2, r_2);
    359359
    360360  pDivisibleBy_number++;
  • kernel/pInline1.h

    rc9eaea8 r367c32  
    115115  p_SetRingOfLm(np, r);
    116116  p_ExpVectorCopy(np, p, r);
    117   _pNext(np) = NULL;
    118   _pSetCoeff0(np, NULL);
     117  pNext(np) = NULL;
     118  pSetCoeff0(np, NULL);
    119119  return np;
    120120}
     
    149149  p_SetRingOfLm(np, r);
    150150  p_ExpVectorCopy(np, p, r);
    151   _pNext(np) = NULL;
    152   _pSetCoeff0(np, n_Copy(_pGetCoeff(p), r));
     151  pNext(np) = NULL;
     152  pSetCoeff0(np, n_Copy(pGetCoeff(p), r));
    153153  return np;
    154154}
     
    164164  p_SetRingOfLm(np, r);
    165165  p_ExpVectorCopy(np, p, r);
    166   _pNext(np) = NULL;
    167   _pSetCoeff0(np, n_Init(1, r));
     166  pNext(np) = NULL;
     167  pSetCoeff0(np, n_Init(1, r));
    168168  int i;
    169169  for(i=l;i<=k;i++)
     
    507507  p_LmCheckPolyRing1(b, r);
    508508#ifndef PDIV_DEBUG
    509   _pPolyAssume2(p_GetShortExpVector(a, r) == sev_a, a, r);
    510   _pPolyAssume2(p_GetShortExpVector(b, r) == ~ not_sev_b, b, r);
     509  pPolyAssume2(p_GetShortExpVector(a, r) == sev_a, a, r);
     510  pPolyAssume2(p_GetShortExpVector(b, r) == ~ not_sev_b, b, r);
    511511
    512512  if (sev_a & not_sev_b)
     
    527527  p_LmCheckPolyRing1(b, r_b);
    528528#ifndef PDIV_DEBUG
    529   _pPolyAssume2(p_GetShortExpVector(a, r_a) == sev_a, a, r_a);
    530   _pPolyAssume2(p_GetShortExpVector(b, r_b) == ~ not_sev_b, b, r_b);
     529  pPolyAssume2(p_GetShortExpVector(a, r_a) == sev_a, a, r_a);
     530  pPolyAssume2(p_GetShortExpVector(b, r_b) == ~ not_sev_b, b, r_b);
    531531
    532532  if (sev_a & not_sev_b)
  • kernel/pInline2.h

    rc9eaea8 r367c32  
    8787  p_LmCheckPolyRing2(p, r);
    8888  pAssume2(rRing_has_Comp(r));
    89   pPolyAssume2(__p_GetComp(p,r) > 0);
     89  pPolyAssume2(__p_GetComp(p,r) > 0,p,r);
    9090  return --(__p_GetComp(p,r));
    9191}
     
    100100  p_LmCheckPolyRing2(p, r);
    101101  pAssume2(rRing_has_Comp(r));
    102   pPolyAssume2(__p_GetComp(p,r) >= v);
     102  pPolyAssume2(__p_GetComp(p,r) >= v,p,r);
    103103  return __p_GetComp(p,r) -= v;
    104104}
     
    344344{
    345345  p_LmCheckPolyRing2(p, r);
    346   n_Delete(&_pGetCoeff(p), r);
     346  n_Delete(&pGetCoeff(p), r);
    347347  omFreeBinAddr(p);
    348348}
     
    358358{
    359359  p_LmCheckPolyRing2(p, r);
    360   poly pnext = _pNext(p);
    361   n_Delete(&_pGetCoeff(p), r);
     360  poly pnext = pNext(p);
     361  n_Delete(&pGetCoeff(p), r);
    362362  omFreeBinAddr(p);
    363363  return pnext;
  • kernel/p_polys.h

    rc9eaea8 r367c32  
    5454 ***************************************************************/
    5555// next
    56 #define pNext(p)            _pNext(p)
    57 #define pIter(p)            _pIter(p)
     56#define pNext(p)            ((p)->next)
     57#define pIter(p)            ((p) = (p)->next)
    5858
    5959// coeff
    60 #define pGetCoeff(p)        _pGetCoeff(p)
     60#define pGetCoeff(p)        ((p)->coef)
    6161// deletes old coeff before setting the new one
    62 #define pSetCoeff0(p,n)     _pSetCoeff0(p,n)
    63 #define p_GetCoeff(p,r)     _pGetCoeff(p)
    64 #define p_SetCoeff0(p,n,r)  _pSetCoeff0(p,n)
     62#define pSetCoeff0(p,n)     (p)->coef=(n)
     63#define p_GetCoeff(p,r)     pGetCoeff(p)
     64#define p_SetCoeff0(p,n,r)  pSetCoeff0(p,n)
    6565// deletes old p->coef and sets new one
    6666PINLINE2 number p_SetCoeff(poly p, number n, ring r);
  • kernel/polys-impl.h

    rc9eaea8 r367c32  
    127127while (0)
    128128
    129 #define _pPolyAssumeReturn(cond, p, r)                       \
     129#define pPolyAssumeReturn(cond, p, r)                       \
    130130do                                                          \
    131131{                                                           \
     
    139139while (0)
    140140
    141 #define _pPolyAssume(cond,p,r)                                   \
     141#define pPolyAssume(cond,p,r)                                   \
    142142do                                                              \
    143143{                                                               \
     
    150150while (0)
    151151
    152 #define _pPolyAssumeReturnMsg(cond, msg, p, r)   \
     152#define pPolyAssumeReturnMsg(cond, msg, p, r)   \
    153153do                                              \
    154154{                                               \
     
    161161while (0)
    162162
    163 #define pPolyAssume(cond)        _pPolyAssume(cond, p, r)
    164 #define pPolyAssumeReturn(cond)  _pPolyAssumeReturn(cond, p, r)
    165 #define pPolyAssumeReturnMsg(cond, msg)  _pPolyAssumeReturnMsg(cond, msg, p, r)
    166 
    167163#define pFalseReturn(cond)  do {if (! (cond)) return FALSE;} while (0)
    168164#if (OM_TRACK > 2) && defined(OM_TRACK_CUSTOM)
     
    177173#define pFalseReturn(cond)           ((void)0)
    178174#define pAssume(cond)                ((void)0)
    179 #define pPolyAssume(cond)            ((void)0)
    180 #define _pPolyAssume(cond, p,r)      ((void)0)
    181 #define pAssumeReturn(cond)          ((void)0)
     175#define pPolyAssume(cond, p,r)      ((void)0)
    182176#define pPolyAssumeReturn(cond)      ((void)0)
    183 #define _pPolyAssumeReturn(cond,p,r) ((void)0)
     177#define pPolyAssumeReturn(cond,p,r) ((void)0)
    184178#define p_SetRingOfLm(p, r)          ((void)0)
    185179#define p_SetRingOfLeftv(l, r)       ((void)0)
     
    189183#define pAssume1             pAssume
    190184#define pPolyAssume1         pPolyAssume
    191 #define _pPolyAssume1        _pPolyAssume
    192185#define pAssumeReturn1       pAssumeReturn
    193186#define pPolyAssumeReturn1   pPolyAssumeReturn
     
    199192#define pAssume1(cond)               ((void)0)
    200193#define pPolyAssume1(cond)           ((void)0)
    201 #define _pPolyAssume1(cond,p,r)      ((void)0)
    202194#define pAssumeReturn1(cond)         ((void)0)
    203195#define pPolyAssumeReturn1(cond)     ((void)0)
    204 #define _pPolyAssumeReturn1(cond,p,r)((void)0)
    205196#define p_LmCheckPolyRing1(p,r)       ((void)0)
    206197#define p_CheckRing1(r)             ((void)0)
     
    211202#define pAssume2             pAssume
    212203#define pPolyAssume2         pPolyAssume
    213 #define _pPolyAssume2        _pPolyAssume
    214204#define pAssumeReturn2       pAssumeReturn
    215205#define pPolyAssumeReturn2   pPolyAssumeReturn
    216 #define _pPolyAssumeReturn2  _pPolyAssumeReturn
    217206#define p_LmCheckPolyRing2    p_LmCheckPolyRing
    218207#define p_CheckRing2        p_CheckRing
    219208#define pIfThen2          pIfThen
    220209#else
    221 #define pAssume2(cond)               ((void)0)
    222 #define pPolyAssume2(cond)           ((void)0)
    223 #define _pPolyAssume2(cond,p,r)      ((void)0)
    224 #define pAssumeReturn2(cond)         ((void)0)
    225 #define pPolyAssumeReturn2(cond)     ((void)0)
    226 #define _pPolyAssumeReturn2(cond,p,r)((void)0)
    227 #define p_LmCheckPolyRing2(p,r)       ((void)0)
    228 #define p_CheckRing2(r)             ((void)0)
    229 #define pIfThen2(cond, check)     ((void)0)
     210#define pAssume2(cond)                   ((void)0)
     211#define pPolyAssume2(cond,p,r)           ((void)0)
     212#define pAssumeReturn2(cond,p,r)         ((void)0)
     213#define pPolyAssumeReturn2(cond,p,r)     ((void)0)
     214#define p_LmCheckPolyRing2(p,r)          ((void)0)
     215#define p_CheckRing2(r)                  ((void)0)
     216#define pIfThen2(cond, check)            ((void)0)
    230217#endif // PDEBUG >= 2
    231218
     
    235222 *
    236223 ***************************************************************/
    237 #define _pNext(p)           ((p)->next)
    238 #define _pIter(p)           ((p) = (p)->next)
    239 
    240 // coeff
    241 #define _pGetCoeff(p)       ((p)->coef)
    242 #define _pSetCoeff0(p,n)    (p)->coef=n
     224
    243225#define __p_GetComp(p, r)   (p)->exp[r->pCompIndex]
    244226#define _p_GetComp(p, r)    ((long) (r->pCompIndex >= 0 ? __p_GetComp(p, r) : 0))
Note: See TracChangeset for help on using the changeset viewer.