My Project  UNKNOWN_GIT_VERSION
walkMain.h
Go to the documentation of this file.
1 #ifndef WALKMAIN_H
2 #define WALKMAIN_H
3 
4 #include "misc/intvec.h"
5 #include "misc/int64vec.h"
6 
7 enum WalkState{
12  /*
13  these could be defined to make error management more elegant
14  WalkOverFlowError1,
15  WalkOverFlowError2,
16  WalkOverFlowError3,
17  WalkOverFlowError4,
18  WalkOverFlowError5,
19  WalkOverFlowError6,
20  WalkOverFlowError7,
21  WalkOverFlowError8,
22  WalkOverFlowError9,
23  WalkOverFlowError10,
24  WalkOverFlowError11,
25  WalkOverFlowError12,
26  WalkOverFlowError13,
27  */
30  WalkOk
31 
32 };
33 
34 /*
35 overflow_error table
36  1: Miv64DotProduct mult
37  2: Miv64DotProduct add
38  3: gett64 zaehler mult
39  4: gett64 zaehler add (not necessarily overflow but quite probable)
40  5: gett64 nenner mult
41  6: gett64 nenner add (not necessarily overflow but quite probable)
42  7: nextw64 mult a
43  8: nextw64 mult b
44  9: nextw64 add (not necessarily overflow but quite probable)
45 10: getinveps64 mult
46 11: getinveps64 add
47 12: gettaun64 mult
48 13: gettaun64 add (not necessarily overflow but quite probable)
49 */
50 
51 
52 WalkState walkstep64(ideal & G,int64vec* currw,int step);
53 WalkState walk64(ideal I,int64vec* currw64,ring destRing,int64vec* destVec64,ideal & destIdeal,BOOLEAN sourceIsSB=FALSE);
54 
55 //ANOTHER INPUT-VARIABLE ADDED: unperturbedStartVectorStrategy
56 //THIS SHOULD BE SET IN walkProc.cc BY THE USER
57 WalkState fractalWalk64(ideal sourceIdeal,ring destRing,ideal & destIdeal,BOOLEAN sourceIsSB,BOOLEAN unperturbedStartVectorStrategy);
58 //REPLACES firstWalkStep64 FOR fractalWalk64
59 WalkState unperturbedFirstStep64(ideal & G,int64vec* currw64, ring destRing);
60 
61 #endif
int BOOLEAN
Definition: auxiliary.h:85
#define FALSE
Definition: auxiliary.h:94
static TreeM * G
Definition: janet.cc:32
WalkState walk64(ideal I, int64vec *currw64, ring destRing, int64vec *destVec64, ideal &destIdeal, BOOLEAN sourceIsSB=FALSE)
Definition: walkMain.cc:222
WalkState unperturbedFirstStep64(ideal &G, int64vec *currw64, ring destRing)
Definition: walkMain.cc:358
WalkState
Definition: walkMain.h:7
@ WalkIncompatibleDestRing
Definition: walkMain.h:28
@ WalkIntvecProblem
Definition: walkMain.h:10
@ WalkIncompatibleRings
Definition: walkMain.h:9
@ WalkOverFlowError
Definition: walkMain.h:11
@ WalkOk
Definition: walkMain.h:30
@ WalkNoIdeal
Definition: walkMain.h:8
@ WalkIncompatibleSourceRing
Definition: walkMain.h:29
WalkState fractalWalk64(ideal sourceIdeal, ring destRing, ideal &destIdeal, BOOLEAN sourceIsSB, BOOLEAN unperturbedStartVectorStrategy)
Definition: walkMain.cc:614
WalkState walkstep64(ideal &G, int64vec *currw, int step)