Loading...
Searching...
No Matches
walkMain.h
Go to the documentation of this file.
#ifndef WALKMAIN_H
#define WALKMAIN_H
#include "misc/intvec.h"
#include "misc/int64vec.h"
enum WalkState{
WalkNoIdeal,
WalkIncompatibleRings,
WalkIntvecProblem,
WalkOverFlowError,
/*
these could be defined to make error management more elegant
WalkOverFlowError1,
WalkOverFlowError2,
WalkOverFlowError3,
WalkOverFlowError4,
WalkOverFlowError5,
WalkOverFlowError6,
WalkOverFlowError7,
WalkOverFlowError8,
WalkOverFlowError9,
WalkOverFlowError10,
WalkOverFlowError11,
WalkOverFlowError12,
WalkOverFlowError13,
*/
WalkIncompatibleDestRing,
WalkIncompatibleSourceRing,
WalkOk
};
/*
overflow_error table
1: Miv64DotProduct mult
2: Miv64DotProduct add
3: gett64 zaehler mult
4: gett64 zaehler add (not necessarily overflow but quite probable)
5: gett64 nenner mult
6: gett64 nenner add (not necessarily overflow but quite probable)
7: nextw64 mult a
8: nextw64 mult b
9: nextw64 add (not necessarily overflow but quite probable)
10: getinveps64 mult
11: getinveps64 add
12: gettaun64 mult
13: gettaun64 add (not necessarily overflow but quite probable)
*/
WalkState walkstep64(ideal & G,int64vec* currw,int step);
WalkState walk64(ideal I,int64vec* currw64,ring destRing,int64vec* destVec64,ideal & destIdeal,BOOLEAN sourceIsSB=FALSE);
//ANOTHER INPUT-VARIABLE ADDED: unperturbedStartVectorStrategy
//THIS SHOULD BE SET IN walkProc.cc BY THE USER
WalkState fractalWalk64(ideal sourceIdeal,ring destRing,ideal & destIdeal,BOOLEAN sourceIsSB,BOOLEAN unperturbedStartVectorStrategy);
//REPLACES firstWalkStep64 FOR fractalWalk64
WalkState unperturbedFirstStep64(ideal & G,int64vec* currw64, ring destRing);
#endif
BOOLEAN
int BOOLEAN
Definition auxiliary.h:88
FALSE
#define FALSE
Definition auxiliary.h:97
int64vec
Definition int64vec.h:24
int64vec.h
intvec.h
G
STATIC_VAR TreeM * G
Definition janet.cc:31
walk64
WalkState walk64(ideal I, int64vec *currw64, ring destRing, int64vec *destVec64, ideal &destIdeal, BOOLEAN sourceIsSB=FALSE)
Definition walkMain.cc:222
unperturbedFirstStep64
WalkState unperturbedFirstStep64(ideal &G, int64vec *currw64, ring destRing)
Definition walkMain.cc:358
WalkState
WalkState
Definition walkMain.h:7
WalkIncompatibleDestRing
@ WalkIncompatibleDestRing
Definition walkMain.h:28
WalkIntvecProblem
@ WalkIntvecProblem
Definition walkMain.h:10
WalkIncompatibleRings
@ WalkIncompatibleRings
Definition walkMain.h:9
WalkOverFlowError
@ WalkOverFlowError
Definition walkMain.h:11
WalkOk
@ WalkOk
Definition walkMain.h:30
WalkNoIdeal
@ WalkNoIdeal
Definition walkMain.h:8
WalkIncompatibleSourceRing
@ WalkIncompatibleSourceRing
Definition walkMain.h:29
fractalWalk64
WalkState fractalWalk64(ideal sourceIdeal, ring destRing, ideal &destIdeal, BOOLEAN sourceIsSB, BOOLEAN unperturbedStartVectorStrategy)
Definition walkMain.cc:614
walkstep64
WalkState walkstep64(ideal &G, int64vec *currw, int step)