source: git/kernel/walkMain.h @ fbc7cb

spielwiese
Last change on this file since fbc7cb was 57592b3, checked in by Hans Schoenemann <hannes@…>, 13 years ago
fix includes for int64vec.h
  • Property mode set to 100644
File size: 1.7 KB
Line 
1#ifndef WALKMAIN_H
2#define WALKMAIN_H
3
4#include <misc/intvec.h>
5#include <misc/int64vec.h>
6
7enum WalkState{
8    WalkNoIdeal,
9    WalkIncompatibleRings,
10    WalkIntvecProblem,
11    WalkOverFlowError,
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    */
28    WalkIncompatibleDestRing,
29    WalkIncompatibleSourceRing,
30    WalkOk
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
Note: See TracBrowser for help on using the repository browser.