[b92f8fe] | 1 | #ifndef WALKSUPPORT_H |
---|
| 2 | #define WALKSUPPORT_H |
---|
| 3 | |
---|
[210e07] | 4 | #include <misc/intvec.h> |
---|
[1745e5] | 5 | #include <misc/int64vec.h> |
---|
[841e96d] | 6 | |
---|
| 7 | int tdeg(poly p); |
---|
| 8 | int getMaxTdeg(ideal I); |
---|
| 9 | int getMaxPosOfNthRow(intvec *v,int n); |
---|
| 10 | int64 getInvEps64(ideal G,intvec *targm,int pertdeg); |
---|
| 11 | int invEpsOk64(ideal I, intvec *targm, int pertdeg, int64 inveps64); |
---|
[a9c298] | 12 | intvec* getNthRow(intvec *v, int n); |
---|
| 13 | int64vec* getNthRow64(intvec *v, int n); |
---|
[841e96d] | 14 | //int64vec* gett64(int64vec* listw, int64vec* currw, int64vec* targw); |
---|
| 15 | void gett64(int64vec* listw, int64vec* currw, int64vec* targw, int64 &t1, int64 &t2); |
---|
| 16 | void nextt64(ideal G, int64vec* currw, int64vec* targw, int64 &t1, int64 &t2); |
---|
| 17 | int64vec* nextw64(int64vec* currw, int64vec* targw, int64 nexttvec0, int64 nexttvec1); |
---|
| 18 | int DIFFspy(ideal G); |
---|
| 19 | intvec* DIFF(ideal G); |
---|
| 20 | ideal init64(ideal G,int64vec* currw); |
---|
| 21 | BOOLEAN currwOnBorder64(ideal I, int64vec* currw64); |
---|
| 22 | void getTaun64(ideal G,intvec* targm,int pertdeg, int64vec** v64, int64 & i64); |
---|
[38f8dfc] | 23 | //int64vec* getiv64(lists l); |
---|
[def568] | 24 | //int64 getint64(lists l);// not used |
---|
[841e96d] | 25 | |
---|
| 26 | |
---|
| 27 | //functions not originating from the oroginal SINGULAR implementation |
---|
| 28 | ideal idStd(ideal G); |
---|
| 29 | ideal idInterRed(ideal G); |
---|
| 30 | matrix matIdLift(ideal Gomega, ideal M); |
---|
| 31 | void rCopyAndChangeA(int64vec* w); |
---|
| 32 | int64vec* rGetGlobalOrderMatrix(ring r); |
---|
| 33 | int64vec* rGetGlobalOrderWeightVec(ring r); |
---|
| 34 | BOOLEAN noPolysWithMoreThanTwoTerms(ideal Gw); |
---|
| 35 | #define idealSize(I) IDELEMS(I) |
---|
| 36 | inline int ivSize(intvec* v){ return((v->rows())*(v->cols())); } |
---|
| 37 | inline int iv64Size(int64vec* v){ return((v->rows())*(v->cols())); } |
---|
| 38 | intvec* leadExp(poly p); |
---|
| 39 | int64vec* leadExp64(poly p); |
---|
| 40 | void setPosOfIM(intvec* im,int i,int j,int val); |
---|
| 41 | poly getNthPolyOfId(ideal I,int n); |
---|
| 42 | int gcd(int a, int b); |
---|
| 43 | int64 gcd64(int64 a, int64 b); |
---|
| 44 | inline int64 abs64(int64 i) { return ABS(i); } |
---|
[283ef7] | 45 | //static inline long scalarProduct(intvec* a, intvec* b); |
---|
| 46 | //static inline int64 scalarProduct64(int64vec* a, int64vec* b); |
---|
[841e96d] | 47 | ideal sortRedSB(ideal G); |
---|
| 48 | intvec* int64VecToIntVec(int64vec* source); |
---|
| 49 | int64vec* rGetGlobalOrderWeightVec(ring r); |
---|
| 50 | |
---|
[b92f8fe] | 51 | #endif |
---|