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  */
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
WalkState unperturbedFirstStep64(ideal &G, int64vec *currw64, ring destRing)
Definition: walkMain.cc:358
WalkState fractalWalk64(ideal sourceIdeal, ring destRing, ideal &destIdeal, BOOLEAN sourceIsSB, BOOLEAN unperturbedStartVectorStrategy)
Definition: walkMain.cc:614
WalkState
Definition: walkMain.h:7
#define FALSE
Definition: auxiliary.h:97
static TreeM * G
Definition: janet.cc:38
WalkState walkstep64(ideal &G, int64vec *currw, int step)
WalkState walk64(ideal I, int64vec *currw64, ring destRing, int64vec *destVec64, ideal &destIdeal, BOOLEAN sourceIsSB=FALSE)
Definition: walkMain.cc:222
int BOOLEAN
Definition: auxiliary.h:88