1 | /***************************************** |
---|
2 | * Computer Algebra System SINGULAR * |
---|
3 | *****************************************/ |
---|
4 | /* $Id$ */ |
---|
5 | /* |
---|
6 | * ABSTRACT: Declaration of the Groebner walk |
---|
7 | */ |
---|
8 | |
---|
9 | #ifndef WALK_H |
---|
10 | #define WALK_H |
---|
11 | |
---|
12 | #include <kernel/structs.h> |
---|
13 | |
---|
14 | ideal MwalkInitialForm(ideal G, intvec* curr_weight); |
---|
15 | |
---|
16 | //compute the next weight vector |
---|
17 | intvec* MwalkNextWeight(intvec* curr_weight,intvec* target_weight, ideal G); |
---|
18 | |
---|
19 | int MivSame(intvec* u , intvec* v); |
---|
20 | int M3ivSame(intvec* next_weight, intvec* u , intvec* v); |
---|
21 | |
---|
22 | |
---|
23 | |
---|
24 | intvec* Mivdp(int nR); |
---|
25 | intvec* Mivlp(int nR); |
---|
26 | |
---|
27 | intvec* MivMatrixOrder(intvec* iv); |
---|
28 | intvec* MivMatrixOrderdp(int iv); |
---|
29 | intvec* MPertVectors(ideal G, intvec* ivtarget, int pdeg); |
---|
30 | intvec* MPertVectorslp(ideal G, intvec* ivtarget, int pdeg); |
---|
31 | |
---|
32 | |
---|
33 | intvec* MivMatrixOrderlp(int nV); |
---|
34 | |
---|
35 | intvec* Mfpertvector(ideal G, intvec* iv); |
---|
36 | intvec* MivUnit(int nV); |
---|
37 | |
---|
38 | intvec* MivWeightOrderlp(intvec* ivstart); |
---|
39 | intvec* MivWeightOrderdp(intvec* ivstart); |
---|
40 | |
---|
41 | ideal MidLift(ideal Gomega, ideal M); |
---|
42 | ideal MLiftLmalG(ideal L, ideal G); |
---|
43 | ideal MLiftLmalGNew(ideal Gomega, ideal M, ideal G); |
---|
44 | ideal MLiftLmalGMin(ideal L, ideal G); |
---|
45 | |
---|
46 | |
---|
47 | intvec* MkInterRedNextWeight(intvec* iva, intvec* ivb, ideal G); |
---|
48 | intvec* MPertNextWeight(intvec* iva, ideal G, int deg); |
---|
49 | intvec* Mivperttarget(ideal G, int ndeg); |
---|
50 | |
---|
51 | |
---|
52 | intvec* MSimpleIV(intvec* iv); |
---|
53 | |
---|
54 | /* Okt -- Nov'01 */ |
---|
55 | // compute a Groebner basis of an ideal G w.r.t. lexicographic order |
---|
56 | ideal Mwalk(ideal G, intvec* curr_weight, intvec* target_weight); |
---|
57 | |
---|
58 | /* the perturbation walk algorithm */ |
---|
59 | ideal Mpwalk(ideal G,int op,int tp,intvec* curr_weight,intvec* target_weight, int nP); |
---|
60 | |
---|
61 | /* The fractal walk algorithm */ |
---|
62 | ideal Mfwalk(ideal G, intvec* ivstart, intvec* ivtarget); |
---|
63 | |
---|
64 | |
---|
65 | /* Implement Tran's idea */ |
---|
66 | intvec* TranMPertVectorslp(ideal G); |
---|
67 | ideal TranMImprovwalk(ideal Go, intvec* curr_weight,intvec* target_weight, int nP); |
---|
68 | |
---|
69 | /* the first alternative algorithm */ |
---|
70 | ideal MAltwalk1(ideal G,int op,int tp,intvec* curr_weight,intvec* target_weight); |
---|
71 | |
---|
72 | /* the second alternative algorithm */ |
---|
73 | ideal MAltwalk2(ideal G, intvec* curr_weight, intvec* target_weight); |
---|
74 | |
---|
75 | #endif //WALK_H |
---|