source: git/Singular/walk.h @ 1085d4

spielwiese
Last change on this file since 1085d4 was 599326, checked in by Kai Krüger <krueger@…>, 14 years ago
Anne, Kai, Frank: - changes to #include "..." statements to allow cleaner build structure - affected directories: omalloc, kernel, Singular - not yet done: IntergerProgramming git-svn-id: file:///usr/local/Singular/svn/trunk@13032 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.1 KB
Line 
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
14ideal  MwalkInitialForm(ideal G, intvec* curr_weight);
15
16//compute the next weight vector
17intvec* MwalkNextWeight(intvec* curr_weight,intvec* target_weight, ideal G);
18
19int MivSame(intvec* u , intvec* v);
20int M3ivSame(intvec* next_weight, intvec* u , intvec* v);
21
22
23
24intvec* Mivdp(int nR);
25intvec* Mivlp(int nR);
26
27intvec* MivMatrixOrder(intvec* iv); 
28intvec* MivMatrixOrderdp(int iv); 
29intvec* MPertVectors(ideal G, intvec* ivtarget, int pdeg); 
30intvec* MPertVectorslp(ideal G, intvec* ivtarget, int pdeg); 
31
32
33intvec* MivMatrixOrderlp(int nV);
34
35intvec* Mfpertvector(ideal G, intvec* iv); 
36intvec* MivUnit(int nV);
37
38intvec* MivWeightOrderlp(intvec* ivstart); 
39intvec* MivWeightOrderdp(intvec* ivstart); 
40
41ideal MidLift(ideal Gomega, ideal M); 
42ideal MLiftLmalG(ideal L, ideal G);
43ideal MLiftLmalGNew(ideal Gomega, ideal M, ideal G); 
44ideal MLiftLmalGMin(ideal L, ideal G); 
45
46
47intvec* MkInterRedNextWeight(intvec* iva, intvec* ivb, ideal G);
48intvec* MPertNextWeight(intvec* iva, ideal G, int deg);
49intvec* Mivperttarget(ideal G, int ndeg);
50
51
52intvec* MSimpleIV(intvec* iv);
53
54/* Okt -- Nov'01 */
55// compute a Groebner basis of an ideal G w.r.t. lexicographic order
56ideal Mwalk(ideal G, intvec* curr_weight, intvec* target_weight); 
57
58/* the perturbation walk algorithm */
59ideal Mpwalk(ideal G,int op,int tp,intvec* curr_weight,intvec* target_weight, int nP); 
60
61/* The fractal walk algorithm */
62ideal Mfwalk(ideal G, intvec* ivstart, intvec* ivtarget);
63
64
65/* Implement Tran's idea */
66intvec* TranMPertVectorslp(ideal G);
67ideal TranMImprovwalk(ideal Go, intvec* curr_weight,intvec* target_weight, int nP);
68
69/* the first alternative algorithm */
70ideal MAltwalk1(ideal G,int op,int tp,intvec* curr_weight,intvec* target_weight); 
71
72/* the second alternative algorithm */
73ideal MAltwalk2(ideal G, intvec* curr_weight, intvec* target_weight); 
74
75#endif  //WALK_H
Note: See TracBrowser for help on using the repository browser.