Loading...
Searching...
No Matches
walkSupport.h
Go to the documentation of this file.
#ifndef WALKSUPPORT_H
#define WALKSUPPORT_H
#include "misc/intvec.h"
#include "misc/int64vec.h"
int tdeg(poly p);
int getMaxTdeg(ideal I);
int getMaxPosOfNthRow(intvec *v,int n);
int64 getInvEps64(ideal G,intvec *targm,int pertdeg);
int invEpsOk64(ideal I, intvec *targm, int pertdeg, int64 inveps64);
intvec* getNthRow(intvec *v, int n);
int64vec* getNthRow64(intvec *v, int n);
//int64vec* gett64(int64vec* listw, int64vec* currw, int64vec* targw);
void gett64(int64vec* listw, int64vec* currw, int64vec* targw, int64 &t1, int64 &t2);
void nextt64(ideal G, int64vec* currw, int64vec* targw, int64 &t1, int64 &t2);
int64vec* nextw64(int64vec* currw, int64vec* targw, int64 nexttvec0, int64 nexttvec1);
int DIFFspy(ideal G);
intvec* DIFF(ideal G);
ideal init64(ideal G,int64vec* currw);
BOOLEAN currwOnBorder64(ideal I, int64vec* currw64);
void getTaun64(ideal G,intvec* targm,int pertdeg, int64vec** v64, int64 & i64);
//int64vec* getiv64(lists l);
//int64 getint64(lists l);// not used
//functions not originating from the oroginal SINGULAR implementation
ideal idStd(ideal G);
ideal idInterRed(ideal G);
matrix matIdLift(ideal Gomega, ideal M);
void rCopyAndChangeA(int64vec* w);
int64vec* rGetGlobalOrderMatrix(ring r);
int64vec* rGetGlobalOrderWeightVec(ring r);
BOOLEAN noPolysWithMoreThanTwoTerms(ideal Gw);
#define idealSize(I) IDELEMS(I)
inline int ivSize(intvec* v){ return((v->rows())*(v->cols())); }
inline int iv64Size(int64vec* v){ return((v->rows())*(v->cols())); }
intvec* leadExp(poly p);
int64vec* leadExp64(poly p);
void setPosOfIM(intvec* im,int i,int j,int val);
poly getNthPolyOfId(ideal I,int n);
int gcd(int a, int b);
int64 gcd64(int64 a, int64 b);
inline int64 abs64(int64 i) { return ABS(i); }
//static inline long scalarProduct(intvec* a, intvec* b);
//static inline int64 scalarProduct64(int64vec* a, int64vec* b);
ideal sortRedSB(ideal G);
intvec* int64VecToIntVec(int64vec* source);
int64vec* rGetGlobalOrderWeightVec(ring r);
#endif
ABS
static int ABS(int v)
Definition auxiliary.h:113
int64
long int64
Definition auxiliary.h:68
BOOLEAN
int BOOLEAN
Definition auxiliary.h:88
i
int i
Definition cfEzgcd.cc:132
p
int p
Definition cfModGcd.cc:4086
b
CanonicalForm b
Definition cfModGcd.cc:4111
int64vec
Definition int64vec.h:24
intvec
Definition intvec.h:24
w
const CanonicalForm & w
Definition facAbsFact.cc:51
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition facBivar.h:39
j
int j
Definition facHensel.cc:110
int64vec.h
intvec.h
G
STATIC_VAR TreeM * G
Definition janet.cc:31
matrix
ip_smatrix * matrix
Definition matpol.h:43
M
#define M
Definition sirandom.c:25
rGetGlobalOrderMatrix
int64vec * rGetGlobalOrderMatrix(ring r)
Definition walkSupport.cc:1019
iv64Size
int iv64Size(int64vec *v)
Definition walkSupport.h:37
gett64
void gett64(int64vec *listw, int64vec *currw, int64vec *targw, int64 &t1, int64 &t2)
getNthPolyOfId
poly getNthPolyOfId(ideal I, int n)
Definition walkSupport.cc:686
ivSize
int ivSize(intvec *v)
Definition walkSupport.h:36
matIdLift
matrix matIdLift(ideal Gomega, ideal M)
Definition walkSupport.cc:978
currwOnBorder64
BOOLEAN currwOnBorder64(ideal I, int64vec *currw64)
Definition walkSupport.cc:350
invEpsOk64
int invEpsOk64(ideal I, intvec *targm, int pertdeg, int64 inveps64)
Definition walkSupport.cc:141
nextt64
void nextt64(ideal G, int64vec *currw, int64vec *targw, int64 &t1, int64 &t2)
Definition walkSupport.cc:560
getTaun64
void getTaun64(ideal G, intvec *targm, int pertdeg, int64vec **v64, int64 &i64)
Definition walkSupport.cc:209
getMaxTdeg
int getMaxTdeg(ideal I)
Definition walkSupport.cc:54
DIFF
intvec * DIFF(ideal G)
Definition walkSupport.cc:435
getMaxPosOfNthRow
int getMaxPosOfNthRow(intvec *v, int n)
Definition walkSupport.cc:80
getNthRow
intvec * getNthRow(intvec *v, int n)
Definition walkSupport.cc:165
nextw64
int64vec * nextw64(int64vec *currw, int64vec *targw, int64 nexttvec0, int64 nexttvec1)
Definition walkSupport.cc:604
sortRedSB
ideal sortRedSB(ideal G)
Definition walkSupport.cc:1146
setPosOfIM
void setPosOfIM(intvec *im, int i, int j, int val)
noPolysWithMoreThanTwoTerms
BOOLEAN noPolysWithMoreThanTwoTerms(ideal Gw)
Definition walkSupport.cc:380
rCopyAndChangeA
void rCopyAndChangeA(int64vec *w)
Definition walkSupport.cc:1000
tdeg
int tdeg(poly p)
Definition walkSupport.cc:35
int64VecToIntVec
intvec * int64VecToIntVec(int64vec *source)
Definition walkSupport.cc:1181
gcd64
int64 gcd64(int64 a, int64 b)
Definition walkSupport.cc:864
getNthRow64
int64vec * getNthRow64(intvec *v, int n)
Definition walkSupport.cc:181
leadExp64
int64vec * leadExp64(poly p)
Definition walkSupport.cc:769
leadExp
intvec * leadExp(poly p)
Definition walkSupport.cc:746
DIFFspy
int DIFFspy(ideal G)
Definition walkSupport.cc:407
idInterRed
ideal idInterRed(ideal G)
Definition walkSupport.cc:958
getInvEps64
int64 getInvEps64(ideal G, intvec *targm, int pertdeg)
Definition walkSupport.cc:109
abs64
int64 abs64(int64 i)
Definition walkSupport.h:44
rGetGlobalOrderWeightVec
int64vec * rGetGlobalOrderWeightVec(ring r)
Definition walkSupport.cc:1094
gcd
int gcd(int a, int b)
Definition walkSupport.cc:836
init64
ideal init64(ideal G, int64vec *currw)
Definition walkSupport.cc:299
idStd
ideal idStd(ideal G)
Definition walkSupport.cc:938