Changeset 24cece in git
- Timestamp:
- Apr 14, 2010, 3:30:27 PM (13 years ago)
- Branches:
- (u'spielwiese', '8d54773d6c9e2f1d2593a28bc68b7eeab54ed529')
- Children:
- 40ef69eb0356769b3a3348ce89e3d83e8a3dc731
- Parents:
- 835793055d9c6a6ad786cbcc0c96dbf391395716
- Location:
- kernel
- Files:
-
- 6 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/modulop.cc
r8357930 r24cece 149 149 #endif 150 150 151 inline number npInversM (number c)151 static inline number npInversM (number c) 152 152 { 153 153 #ifndef HAVE_DIV_MOD … … 606 606 } 607 607 608 inline number nvInversM (number c)608 static inline number nvInversM (number c) 609 609 { 610 610 long inv=nvInvMod((long)c); -
kernel/p_polys.cc
r8357930 r24cece 414 414 // pWTotalDegree for weighted orderings 415 415 // whose first block covers all variables 416 inline long _pWFirstTotalDegree(poly p, const ring r)416 static inline long _pWFirstTotalDegree(poly p, const ring r) 417 417 { 418 418 int i; -
kernel/ring.cc
r8357930 r24cece 4143 4143 4144 4144 /// debug-print monomial poly/vector p, assuming that it lives in the ring R 4145 inline void m_DebugPrint(const poly p, const ring R)4145 static inline void m_DebugPrint(const poly p, const ring R) 4146 4146 { 4147 4147 Print("\nexp[0..%d]\n", R->ExpL_Size - 1); -
kernel/ring.h
r8357930 r24cece 76 76 77 77 /// we must always have this test! 78 inline bool rIsPluralRing(const ring r)78 static inline bool rIsPluralRing(const ring r) 79 79 { 80 80 #ifdef HAVE_PLURAL … … 86 86 } 87 87 88 inline bool rIsRatGRing(const ring r)88 static inline bool rIsRatGRing(const ring r) 89 89 { 90 90 #ifdef HAVE_PLURAL … … 146 146 147 147 #ifdef HAVE_RINGS 148 inline BOOLEAN rField_is_Ring_2toM(ring r=currRing)148 static inline BOOLEAN rField_is_Ring_2toM(ring r=currRing) 149 149 { return (r->ringtype == 1); } 150 150 151 inline BOOLEAN rField_is_Ring_ModN(ring r=currRing)151 static inline BOOLEAN rField_is_Ring_ModN(ring r=currRing) 152 152 { return (r->ringtype == 2); } 153 153 154 inline BOOLEAN rField_is_Ring_PtoM(ring r=currRing)154 static inline BOOLEAN rField_is_Ring_PtoM(ring r=currRing) 155 155 { return (r->ringtype == 3); } 156 156 157 inline BOOLEAN rField_is_Ring_Z(ring r=currRing)157 static inline BOOLEAN rField_is_Ring_Z(ring r=currRing) 158 158 { return (r->ringtype == 4); } 159 159 160 inline BOOLEAN rField_is_Ring(ring r=currRing)160 static inline BOOLEAN rField_is_Ring(ring r=currRing) 161 161 { return (r->ringtype != 0); } 162 162 163 inline BOOLEAN rField_is_Domain(ring r=currRing)163 static inline BOOLEAN rField_is_Domain(ring r=currRing) 164 164 { return (r->ringtype == 4 || r->ringtype == 0); } 165 165 166 inline BOOLEAN rField_has_Units(ring r=currRing)166 static inline BOOLEAN rField_has_Units(ring r=currRing) 167 167 { return ((r->ringtype == 1) || (r->ringtype == 2) || (r->ringtype == 3)); } 168 168 #else … … 171 171 172 172 #ifdef HAVE_RINGS 173 inline BOOLEAN rField_is_Zp(ring r=currRing)173 static inline BOOLEAN rField_is_Zp(ring r=currRing) 174 174 { return (r->ringtype == 0) && (r->ch > 1) && (r->parameter==NULL); } 175 175 176 inline BOOLEAN rField_is_Zp(ring r, int p)176 static inline BOOLEAN rField_is_Zp(ring r, int p) 177 177 { return (r->ringtype == 0) && (r->ch > 1 && r->ch == ABS(p) && r->parameter==NULL); } 178 178 179 inline BOOLEAN rField_is_Q(ring r=currRing)179 static inline BOOLEAN rField_is_Q(ring r=currRing) 180 180 { return (r->ringtype == 0) && (r->ch == 0) && (r->parameter==NULL); } 181 181 182 inline BOOLEAN rField_is_numeric(ring r=currRing) /* R, long R, long C */182 static inline BOOLEAN rField_is_numeric(ring r=currRing) /* R, long R, long C */ 183 183 { return (r->ringtype == 0) && (r->ch == -1); } 184 184 185 inline BOOLEAN rField_is_R(ring r=currRing)185 static inline BOOLEAN rField_is_R(ring r=currRing) 186 186 { 187 187 if (rField_is_numeric(r) && (r->float_len <= (short)SHORT_REAL_LENGTH)) … … 190 190 } 191 191 192 inline BOOLEAN rField_is_GF(ring r=currRing)192 static inline BOOLEAN rField_is_GF(ring r=currRing) 193 193 { return (r->ringtype == 0) && (r->ch > 1) && (r->parameter!=NULL); } 194 194 195 inline BOOLEAN rField_is_GF(ring r, int q)195 static inline BOOLEAN rField_is_GF(ring r, int q) 196 196 { return (r->ringtype == 0) && (r->ch == q); } 197 197 198 inline BOOLEAN rField_is_Zp_a(ring r=currRing)198 static inline BOOLEAN rField_is_Zp_a(ring r=currRing) 199 199 { return (r->ringtype == 0) && (r->ch < -1); } 200 200 201 inline BOOLEAN rField_is_Zp_a(ring r, int p)201 static inline BOOLEAN rField_is_Zp_a(ring r, int p) 202 202 { return (r->ringtype == 0) && (r->ch < -1 ) && (-(r->ch) == ABS(p)); } 203 203 204 inline BOOLEAN rField_is_Q_a(ring r=currRing)204 static inline BOOLEAN rField_is_Q_a(ring r=currRing) 205 205 { return (r->ringtype == 0) && (r->ch == 1); } 206 206 207 inline BOOLEAN rField_is_long_R(ring r=currRing)207 static inline BOOLEAN rField_is_long_R(ring r=currRing) 208 208 { 209 209 if (rField_is_numeric(r) && (r->float_len >(short)SHORT_REAL_LENGTH)) … … 212 212 } 213 213 214 inline BOOLEAN rField_is_long_C(ring r=currRing)214 static inline BOOLEAN rField_is_long_C(ring r=currRing) 215 215 { 216 216 if (rField_is_numeric(r)) … … 219 219 } 220 220 #else 221 inline BOOLEAN rField_is_Zp(ring r=currRing)221 static inline BOOLEAN rField_is_Zp(ring r=currRing) 222 222 { return (r->ch > 1) && (r->parameter==NULL); } 223 223 224 inline BOOLEAN rField_is_Zp(ring r, int p)224 static inline BOOLEAN rField_is_Zp(ring r, int p) 225 225 { return (r->ch > 1 && r->ch == ABS(p) && r->parameter==NULL); } 226 226 227 inline BOOLEAN rField_is_Q(ring r=currRing)227 static inline BOOLEAN rField_is_Q(ring r=currRing) 228 228 { return (r->ch == 0) && (r->parameter==NULL); } 229 229 230 inline BOOLEAN rField_is_numeric(ring r=currRing) /* R, long R, long C */230 static inline BOOLEAN rField_is_numeric(ring r=currRing) /* R, long R, long C */ 231 231 { return (r->ch == -1); } 232 232 233 inline BOOLEAN rField_is_R(ring r=currRing)233 static inline BOOLEAN rField_is_R(ring r=currRing) 234 234 { 235 235 if (rField_is_numeric(r) && (r->float_len <= (short)SHORT_REAL_LENGTH)) … … 238 238 } 239 239 240 inline BOOLEAN rField_is_GF(ring r=currRing)240 static inline BOOLEAN rField_is_GF(ring r=currRing) 241 241 { return (r->ch > 1) && (r->parameter!=NULL); } 242 242 243 inline BOOLEAN rField_is_GF(ring r, int q)243 static inline BOOLEAN rField_is_GF(ring r, int q) 244 244 { return (r->ch == q); } 245 245 246 inline BOOLEAN rField_is_Zp_a(ring r=currRing)246 static inline BOOLEAN rField_is_Zp_a(ring r=currRing) 247 247 { return (r->ch < -1); } 248 248 249 inline BOOLEAN rField_is_Zp_a(ring r, int p)249 static inline BOOLEAN rField_is_Zp_a(ring r, int p) 250 250 { return (r->ch < -1 ) && (-(r->ch) == ABS(p)); } 251 251 252 inline BOOLEAN rField_is_Q_a(ring r=currRing)252 static inline BOOLEAN rField_is_Q_a(ring r=currRing) 253 253 { return (r->ch == 1); } 254 254 255 inline BOOLEAN rField_is_long_R(ring r=currRing)255 static inline BOOLEAN rField_is_long_R(ring r=currRing) 256 256 { 257 257 if (rField_is_numeric(r) && (r->float_len >(short)SHORT_REAL_LENGTH)) … … 260 260 } 261 261 262 inline BOOLEAN rField_is_long_C(ring r=currRing)262 static inline BOOLEAN rField_is_long_C(ring r=currRing) 263 263 { 264 264 if (rField_is_numeric(r)) … … 268 268 #endif 269 269 270 inline BOOLEAN rField_has_simple_inverse(ring r=currRing)270 static inline BOOLEAN rField_has_simple_inverse(ring r=currRing) 271 271 /* { return (r->ch>1) || (r->ch== -1); } *//* Z/p, GF(p,n), R, long_R, long_C*/ 272 272 #ifdef HAVE_RINGS … … 276 276 #endif 277 277 278 inline BOOLEAN rField_has_simple_Alloc(ring r=currRing)278 static inline BOOLEAN rField_has_simple_Alloc(ring r=currRing) 279 279 { return (rField_is_Zp(r) 280 280 || rField_is_GF(r) … … 285 285 286 286 /* Z/p, GF(p,n), R: nCopy, nNew, nDelete are dummies*/ 287 inline BOOLEAN rField_is_Extension(ring r=currRing)287 static inline BOOLEAN rField_is_Extension(ring r=currRing) 288 288 { return (rField_is_Q_a(r)) || (rField_is_Zp_a(r)); } /* Z/p(a) and Q(a)*/ 289 289 … … 297 297 // use this to free fields created by rComplete //? 298 298 299 inline int rBlocks(ring r)299 static inline int rBlocks(ring r) 300 300 { 301 301 int i=0; … … 305 305 306 306 // misc things 307 inline char* rRingVar(short i)307 static inline char* rRingVar(short i) 308 308 { 309 309 return currRing->names[i]; 310 310 } 311 inline char* rRingVar(short i, ring r)311 static inline char* rRingVar(short i, ring r) 312 312 { 313 313 return r->names[i]; 314 314 } 315 inline BOOLEAN rShortOut(ring r)315 static inline BOOLEAN rShortOut(ring r) 316 316 { 317 317 return (r->ShortOut); … … 363 363 } rOrderType_t; 364 364 365 inline BOOLEAN rIsSyzIndexRing(const ring r)365 static inline BOOLEAN rIsSyzIndexRing(const ring r) 366 366 { return r->order[0] == ringorder_s;} 367 367 368 inline int rGetCurrSyzLimit(const ring r = currRing)368 static inline int rGetCurrSyzLimit(const ring r = currRing) 369 369 { return (rIsSyzIndexRing(r)? r->typ[0].data.syz.limit : 0);} 370 370 … … 411 411 BOOLEAN rIsPolyVar(int i, ring r = currRing); 412 412 413 inline BOOLEAN rOrd_is_Comp_dp(ring r)413 static inline BOOLEAN rOrd_is_Comp_dp(ring r) 414 414 { 415 415 return ((r->order[0] == ringorder_c || r->order[0] == ringorder_C) && -
kernel/sbuckets.cc
r8357930 r24cece 76 76 // 77 77 // returns floor(log_2(i)) 78 inline int LOG2(int i)78 static inline int LOG2(int i) 79 79 { 80 80 assume (i > 0); -
kernel/tgb.cc
r8357930 r24cece 130 130 #ifdef LEN_VAR1 131 131 // erste Variante: Laenge: Anzahl der Monome 132 inline int pSLength(poly p, int l) { 133 return l; } 134 inline int kSBucketLength(kBucket* bucket, poly lm){return bucket_guess(bucket);}132 static inline int pSLength(poly p, int l) { return l; } 133 static inline int kSBucketLength(kBucket* bucket, poly lm) 134 {return bucket_guess(bucket);} 135 135 #endif 136 136 … … 182 182 183 183 #ifdef LEN_VAR3 184 inline wlen_type pSLength(poly p,int l)184 static inline wlen_type pSLength(poly p,int l) 185 185 { 186 186 wlen_type c; … … 249 249 #endif 250 250 #ifdef LEN_VAR5 251 inline wlen_type pSLength(poly p,int l)251 static inline wlen_type pSLength(poly p,int l) 252 252 { 253 253 int c;
Note: See TracChangeset
for help on using the changeset viewer.