My Project
Loading...
Searching...
No Matches
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
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/*
35overflow_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)
4510: getinveps64 mult
4611: getinveps64 add
4712: gettaun64 mult
4813: gettaun64 add (not necessarily overflow but quite probable)
49*/
50
51
52WalkState walkstep64(ideal & G,int64vec* currw,int step);
53WalkState 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
57WalkState fractalWalk64(ideal sourceIdeal,ring destRing,ideal & destIdeal,BOOLEAN sourceIsSB,BOOLEAN unperturbedStartVectorStrategy);
58//REPLACES firstWalkStep64 FOR fractalWalk64
59WalkState unperturbedFirstStep64(ideal & G,int64vec* currw64, ring destRing);
60
61#endif
int BOOLEAN
Definition auxiliary.h:88
#define FALSE
Definition auxiliary.h:97
STATIC_VAR TreeM * G
Definition janet.cc:31
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)