Changeset 367c32 in git for kernel/pInline2.h
- Timestamp:
- Jun 23, 2010, 7:56:34 PM (14 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- a0372edbdfea84d99acb5f2b7dcceeb4ac1bf891
- Parents:
- c9eaea8b70d2cc5a19ab2acca23a712e92fb7de6
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/pInline2.h
rc9eaea8 r367c32 87 87 p_LmCheckPolyRing2(p, r); 88 88 pAssume2(rRing_has_Comp(r)); 89 pPolyAssume2(__p_GetComp(p,r) > 0 );89 pPolyAssume2(__p_GetComp(p,r) > 0,p,r); 90 90 return --(__p_GetComp(p,r)); 91 91 } … … 100 100 p_LmCheckPolyRing2(p, r); 101 101 pAssume2(rRing_has_Comp(r)); 102 pPolyAssume2(__p_GetComp(p,r) >= v );102 pPolyAssume2(__p_GetComp(p,r) >= v,p,r); 103 103 return __p_GetComp(p,r) -= v; 104 104 } … … 344 344 { 345 345 p_LmCheckPolyRing2(p, r); 346 n_Delete(& _pGetCoeff(p), r);346 n_Delete(&pGetCoeff(p), r); 347 347 omFreeBinAddr(p); 348 348 } … … 358 358 { 359 359 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); 362 362 omFreeBinAddr(p); 363 363 return pnext;
Note: See TracChangeset
for help on using the changeset viewer.