My Project
Toggle main menu visibility
Loading...
Searching...
No Matches
kernel
groebner_walk
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
);
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
); }
45
//static inline long scalarProduct(intvec* a, intvec* b);
46
//static inline int64 scalarProduct64(int64vec* a, int64vec* b);
47
ideal
sortRedSB
(ideal
G
);
48
intvec
*
int64VecToIntVec
(
int64vec
* source);
49
int64vec
*
rGetGlobalOrderWeightVec
(ring r);
50
51
#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
Generated on
for My Project by
doxygen 1.17.0
for
Singular