My Project
Loading...
Searching...
No Matches
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
7int tdeg(poly p);
8int getMaxTdeg(ideal I);
9int getMaxPosOfNthRow(intvec *v,int n);
10int64 getInvEps64(ideal G,intvec *targm,int pertdeg);
11int invEpsOk64(ideal I, intvec *targm, int pertdeg, int64 inveps64);
12intvec* getNthRow(intvec *v, int n);
14//int64vec* gett64(int64vec* listw, int64vec* currw, int64vec* targw);
15void gett64(int64vec* listw, int64vec* currw, int64vec* targw, int64 &t1, int64 &t2);
16void nextt64(ideal G, int64vec* currw, int64vec* targw, int64 &t1, int64 &t2);
17int64vec* nextw64(int64vec* currw, int64vec* targw, int64 nexttvec0, int64 nexttvec1);
18int DIFFspy(ideal G);
19intvec* DIFF(ideal G);
20ideal init64(ideal G,int64vec* currw);
21BOOLEAN currwOnBorder64(ideal I, int64vec* currw64);
22void 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
28ideal idStd(ideal G);
29ideal idInterRed(ideal G);
30matrix matIdLift(ideal Gomega, ideal M);
35#define idealSize(I) IDELEMS(I)
36inline int ivSize(intvec* v){ return((v->rows())*(v->cols())); }
37inline int iv64Size(int64vec* v){ return((v->rows())*(v->cols())); }
38intvec* leadExp(poly p);
39int64vec* leadExp64(poly p);
40void setPosOfIM(intvec* im,int i,int j,int val);
41poly getNthPolyOfId(ideal I,int n);
42int gcd(int a, int b);
44inline 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);
47ideal sortRedSB(ideal G);
50
51#endif
static int ABS(int v)
Definition: auxiliary.h:112
long int64
Definition: auxiliary.h:68
int BOOLEAN
Definition: auxiliary.h:87
int i
Definition: cfEzgcd.cc:132
int p
Definition: cfModGcd.cc:4078
CanonicalForm b
Definition: cfModGcd.cc:4103
Definition: intvec.h:23
const CanonicalForm & w
Definition: facAbsFact.cc:51
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:39
int j
Definition: facHensel.cc:110
STATIC_VAR TreeM * G
Definition: janet.cc:31
#define M
Definition: sirandom.c:25
int64vec * rGetGlobalOrderMatrix(ring r)
int iv64Size(int64vec *v)
Definition: walkSupport.h:37
void gett64(int64vec *listw, int64vec *currw, int64vec *targw, int64 &t1, int64 &t2)
poly getNthPolyOfId(ideal I, int n)
Definition: walkSupport.cc:686
int ivSize(intvec *v)
Definition: walkSupport.h:36
matrix matIdLift(ideal Gomega, ideal M)
Definition: walkSupport.cc:978
BOOLEAN currwOnBorder64(ideal I, int64vec *currw64)
Definition: walkSupport.cc:350
int invEpsOk64(ideal I, intvec *targm, int pertdeg, int64 inveps64)
Definition: walkSupport.cc:141
void nextt64(ideal G, int64vec *currw, int64vec *targw, int64 &t1, int64 &t2)
Definition: walkSupport.cc:560
void getTaun64(ideal G, intvec *targm, int pertdeg, int64vec **v64, int64 &i64)
Definition: walkSupport.cc:209
int getMaxTdeg(ideal I)
Definition: walkSupport.cc:54
intvec * DIFF(ideal G)
Definition: walkSupport.cc:435
int getMaxPosOfNthRow(intvec *v, int n)
Definition: walkSupport.cc:80
intvec * getNthRow(intvec *v, int n)
Definition: walkSupport.cc:165
int64vec * nextw64(int64vec *currw, int64vec *targw, int64 nexttvec0, int64 nexttvec1)
Definition: walkSupport.cc:604
ideal sortRedSB(ideal G)
void setPosOfIM(intvec *im, int i, int j, int val)
BOOLEAN noPolysWithMoreThanTwoTerms(ideal Gw)
Definition: walkSupport.cc:380
void rCopyAndChangeA(int64vec *w)
int tdeg(poly p)
Definition: walkSupport.cc:35
intvec * int64VecToIntVec(int64vec *source)
int64 gcd64(int64 a, int64 b)
Definition: walkSupport.cc:864
int64vec * getNthRow64(intvec *v, int n)
Definition: walkSupport.cc:181
int64vec * leadExp64(poly p)
Definition: walkSupport.cc:769
intvec * leadExp(poly p)
Definition: walkSupport.cc:746
int DIFFspy(ideal G)
Definition: walkSupport.cc:407
ideal idInterRed(ideal G)
Definition: walkSupport.cc:958
int64 getInvEps64(ideal G, intvec *targm, int pertdeg)
Definition: walkSupport.cc:109
int64 abs64(int64 i)
Definition: walkSupport.h:44
int64vec * rGetGlobalOrderWeightVec(ring r)
int gcd(int a, int b)
Definition: walkSupport.cc:836
ideal init64(ideal G, int64vec *currw)
Definition: walkSupport.cc:299
ideal idStd(ideal G)
Definition: walkSupport.cc:938