Searched refs:p_sev (Results 1 – 3 of 3) sorted by relevance
| /dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
| H A D | kInline.h | 1205 KINLINE void clearS (poly p, unsigned long p_sev, int* at, int* k, in clearS() argument
1208 assume(p_sev == pGetShortExpVector(p)); in clearS()
1213 if (!pLmShortDivisibleBy(p,p_sev, strat->S[*at], ~ strat->sevS[*at])) in clearS()
1221 if (!pLmShortDivisibleBy(p,p_sev, strat->S[*at], ~ strat->sevS[*at])) return; in clearS()
|
| H A D | kutil.h | 845 KINLINE void clearS (poly p, unsigned long p_sev, int* at, int* k,
|
| H A D | tgb.cc | 1323 clearS (poly p, unsigned long p_sev, int l, int *at, int *k, kStrategy strat) in clearS() argument
1325 assume (p_sev == pGetShortExpVector (p)); in clearS()
1326 if(!pLmShortDivisibleBy (p, p_sev, strat->S[*at], ~strat->sevS[*at])) in clearS()
|