walkSupport.h
Go to the documentation of this file.
1 #ifndef WALKSUPPORT_H
2 #define WALKSUPPORT_H
3 
4 #include <misc/intvec.h>
5 #include <misc/int64vec.h>
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);
12 intvec* getNthRow(intvec *v, int n);
13 int64vec* getNthRow64(intvec *v, int n);
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);
23 //int64vec* getiv64(lists l);
24 //int64 getint64(lists l);// not used
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);
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())); }
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);
44 inline int64 abs64(int64 i) { return ABS(i); }
45 //static inline long scalarProduct(intvec* a, intvec* b);
46 //static inline int64 scalarProduct64(int64vec* a, int64vec* b);
47 ideal sortRedSB(ideal G);
50 
51 #endif
int64vec * leadExp64(poly p)
Definition: walkSupport.cc:772
const poly a
Definition: syzextra.cc:212
BOOLEAN noPolysWithMoreThanTwoTerms(ideal Gw)
Definition: walkSupport.cc:383
intvec * DIFF(ideal G)
Definition: walkSupport.cc:438
return P p
Definition: myNF.cc:203
int64 getInvEps64(ideal G, intvec *targm, int pertdeg)
Definition: walkSupport.cc:112
ideal idInterRed(ideal G)
Definition: walkSupport.cc:961
intvec * int64VecToIntVec(int64vec *source)
const CanonicalForm CFMap CFMap int &both_non_zero int n
Definition: cfEzgcd.cc:52
long int64
Definition: auxiliary.h:112
intvec * leadExp(poly p)
Definition: walkSupport.cc:749
int gcd(int a, int b)
Definition: walkSupport.cc:839
poly getNthPolyOfId(ideal I, int n)
Definition: walkSupport.cc:689
int ivSize(intvec *v)
Definition: walkSupport.h:36
int getMaxTdeg(ideal I)
Definition: walkSupport.cc:57
static TreeM * G
Definition: janet.cc:38
int64vec * rGetGlobalOrderWeightVec(ring r)
int tdeg(poly p)
Definition: walkSupport.cc:38
#define M
Definition: sirandom.c:24
int64 abs64(int64 i)
Definition: walkSupport.h:44
const ring r
Definition: syzextra.cc:208
Definition: intvec.h:16
int j
Definition: myNF.cc:70
int rows() const
Definition: int64vec.h:57
ideal sortRedSB(ideal G)
void setPosOfIM(intvec *im, int i, int j, int val)
int DIFFspy(ideal G)
Definition: walkSupport.cc:410
void nextt64(ideal G, int64vec *currw, int64vec *targw, int64 &t1, int64 &t2)
Definition: walkSupport.cc:563
matrix matIdLift(ideal Gomega, ideal M)
Definition: walkSupport.cc:981
int i
Definition: cfEzgcd.cc:123
int iv64Size(int64vec *v)
Definition: walkSupport.h:37
int cols() const
Definition: int64vec.h:56
void getTaun64(ideal G, intvec *targm, int pertdeg, int64vec **v64, int64 &i64)
Definition: walkSupport.cc:212
int64 gcd64(int64 a, int64 b)
Definition: walkSupport.cc:867
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
int cols() const
Definition: intvec.h:87
ideal init64(ideal G, int64vec *currw)
Definition: walkSupport.cc:302
int rows() const
Definition: intvec.h:88
#define ABS(x)
Definition: auxiliary.h:157
void gett64(int64vec *listw, int64vec *currw, int64vec *targw, int64 &t1, int64 &t2)
const CanonicalForm & w
Definition: facAbsFact.cc:55
int getMaxPosOfNthRow(intvec *v, int n)
Definition: walkSupport.cc:83
int64vec * rGetGlobalOrderMatrix(ring r)
int64vec * nextw64(int64vec *currw, int64vec *targw, int64 nexttvec0, int64 nexttvec1)
Definition: walkSupport.cc:607
BOOLEAN currwOnBorder64(ideal I, int64vec *currw64)
Definition: walkSupport.cc:353
void rCopyAndChangeA(int64vec *w)
polyrec * poly
Definition: hilb.h:10
ideal idStd(ideal G)
Definition: walkSupport.cc:941
int invEpsOk64(ideal I, intvec *targm, int pertdeg, int64 inveps64)
Definition: walkSupport.cc:144
int BOOLEAN
Definition: auxiliary.h:131
const poly b
Definition: syzextra.cc:213
intvec * getNthRow(intvec *v, int n)
Definition: walkSupport.cc:168
int64vec * getNthRow64(intvec *v, int n)
Definition: walkSupport.cc:184