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