source: git/Singular/walk.h @ a04a05

spielwiese
Last change on this file since a04a05 was 6ce030f, checked in by Oleksandr Motsak <motsak@…>, 12 years ago
removal of the $Id$ svn tag from everywhere NOTE: the git SHA1 may be used instead (only on special places) NOTE: the libraries Singular/LIB/*.lib still contain the marker due to our current use of svn
  • Property mode set to 100644
File size: 2.0 KB
Line 
1/*****************************************
2*  Computer Algebra System SINGULAR      *
3*****************************************/
4/*
5* ABSTRACT: Declaration of the Groebner walk
6*/
7
8#ifndef WALK_H
9#define WALK_H
10
11#include <kernel/structs.h>
12
13ideal  MwalkInitialForm(ideal G, intvec* curr_weight);
14
15//compute the next weight vector
16intvec* MwalkNextWeight(intvec* curr_weight,intvec* target_weight, ideal G);
17
18int MivSame(intvec* u , intvec* v);
19int M3ivSame(intvec* next_weight, intvec* u , intvec* v);
20
21
22
23intvec* Mivdp(int nR);
24intvec* Mivlp(int nR);
25
26intvec* MivMatrixOrder(intvec* iv); 
27intvec* MivMatrixOrderdp(int iv); 
28intvec* MPertVectors(ideal G, intvec* ivtarget, int pdeg); 
29intvec* MPertVectorslp(ideal G, intvec* ivtarget, int pdeg); 
30
31
32intvec* MivMatrixOrderlp(int nV);
33
34intvec* Mfpertvector(ideal G, intvec* iv); 
35intvec* MivUnit(int nV);
36
37intvec* MivWeightOrderlp(intvec* ivstart); 
38intvec* MivWeightOrderdp(intvec* ivstart); 
39
40ideal MidLift(ideal Gomega, ideal M); 
41ideal MLiftLmalG(ideal L, ideal G);
42ideal MLiftLmalGNew(ideal Gomega, ideal M, ideal G); 
43ideal MLiftLmalGMin(ideal L, ideal G); 
44
45
46intvec* MkInterRedNextWeight(intvec* iva, intvec* ivb, ideal G);
47intvec* MPertNextWeight(intvec* iva, ideal G, int deg);
48intvec* Mivperttarget(ideal G, int ndeg);
49
50
51intvec* MSimpleIV(intvec* iv);
52
53/* Okt -- Nov'01 */
54// compute a Groebner basis of an ideal G w.r.t. lexicographic order
55ideal Mwalk(ideal G, intvec* curr_weight, intvec* target_weight); 
56
57/* the perturbation walk algorithm */
58ideal Mpwalk(ideal G,int op,int tp,intvec* curr_weight,intvec* target_weight, int nP); 
59
60/* The fractal walk algorithm */
61ideal Mfwalk(ideal G, intvec* ivstart, intvec* ivtarget);
62
63
64/* Implement Tran's idea */
65intvec* TranMPertVectorslp(ideal G);
66ideal TranMImprovwalk(ideal Go, intvec* curr_weight,intvec* target_weight, int nP);
67
68/* the first alternative algorithm */
69ideal MAltwalk1(ideal G,int op,int tp,intvec* curr_weight,intvec* target_weight); 
70
71/* the second alternative algorithm */
72ideal MAltwalk2(ideal G, intvec* curr_weight, intvec* target_weight); 
73
74#endif  //WALK_H
Note: See TracBrowser for help on using the repository browser.