1 | #ifndef NTL_LLL__H |
---|
2 | #define NTL_LLL__H |
---|
3 | |
---|
4 | #include <NTL/mat_ZZ.h> |
---|
5 | #include <NTL/mat_RR.h> |
---|
6 | |
---|
7 | NTL_OPEN_NNS |
---|
8 | |
---|
9 | long LLL(ZZ& det, mat_ZZ& B, long verbose = 0); |
---|
10 | long LLL(ZZ& det, mat_ZZ& B, mat_ZZ& U, long verbose = 0); |
---|
11 | |
---|
12 | long LLL(ZZ& det, mat_ZZ& B, long a, long b, long verbose = 0); |
---|
13 | long LLL(ZZ& det, mat_ZZ& B, mat_ZZ& U, long a, long b, long verbose = 0); |
---|
14 | |
---|
15 | long LLL_plus(vec_ZZ& D, mat_ZZ& B, mat_ZZ& U, long verbose=0); |
---|
16 | long LLL_plus(vec_ZZ& D, mat_ZZ& B, long verbose=0); |
---|
17 | long LLL_plus(vec_ZZ& D, mat_ZZ& B, mat_ZZ& U, long a, long b, long verbose=0); |
---|
18 | long LLL_plus(vec_ZZ& D, mat_ZZ& B, long a, long b, long verbose=0); |
---|
19 | |
---|
20 | long image(ZZ& det, mat_ZZ& B, long verbose = 0); |
---|
21 | long image(ZZ& det, mat_ZZ& B, mat_ZZ& U, long verbose = 0); |
---|
22 | |
---|
23 | long LatticeSolve(vec_ZZ& x, const mat_ZZ& A, const vec_ZZ& y, long reduce=0); |
---|
24 | |
---|
25 | |
---|
26 | |
---|
27 | typedef long (*LLLCheckFct)(const vec_ZZ&); |
---|
28 | |
---|
29 | extern double LLLStatusInterval; |
---|
30 | extern char *LLLDumpFile; |
---|
31 | |
---|
32 | |
---|
33 | // classical Gramm-Schmidt versions |
---|
34 | |
---|
35 | long LLL_FP(mat_ZZ& B, double delta = 0.99, |
---|
36 | long deep = 0, LLLCheckFct check = 0, long verbose = 0); |
---|
37 | |
---|
38 | long LLL_FP(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, long deep = 0, |
---|
39 | LLLCheckFct check = 0, long verbose = 0); |
---|
40 | |
---|
41 | |
---|
42 | long BKZ_FP(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
43 | LLLCheckFct check = 0, long verbose = 0) ; |
---|
44 | long BKZ_FP(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
45 | long BlockSize=10, long prune=0, |
---|
46 | LLLCheckFct check = 0, long verbose = 0); |
---|
47 | |
---|
48 | long LLL_XD(mat_ZZ& B, double delta = 0.99, long deep = 0, |
---|
49 | LLLCheckFct check = 0, long verbose = 0); |
---|
50 | long LLL_XD(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, long deep = 0, |
---|
51 | LLLCheckFct check = 0, long verbose = 0); |
---|
52 | |
---|
53 | |
---|
54 | long BKZ_XD(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
55 | LLLCheckFct check = 0, long verbose = 0); |
---|
56 | long BKZ_XD(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
57 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
58 | |
---|
59 | long LLL_QP(mat_ZZ& B, double delta = 0.99, long deep = 0, |
---|
60 | LLLCheckFct check = 0, long verbose = 0); |
---|
61 | long LLL_QP(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, long deep = 0, |
---|
62 | LLLCheckFct check = 0, long verbose = 0); |
---|
63 | |
---|
64 | |
---|
65 | long BKZ_QP(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
66 | LLLCheckFct check = 0, long verbose = 0); |
---|
67 | long BKZ_QP(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
68 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
69 | |
---|
70 | long BKZ_QP1(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
71 | LLLCheckFct check = 0, long verbose = 0); |
---|
72 | long BKZ_QP1(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
73 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
74 | |
---|
75 | long LLL_RR(mat_ZZ& B, double delta = 0.99, long deep = 0, |
---|
76 | LLLCheckFct check = 0, long verbose = 0); |
---|
77 | long LLL_RR(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, |
---|
78 | long deep = 0, LLLCheckFct check = 0, long verbose = 0); |
---|
79 | |
---|
80 | |
---|
81 | long BKZ_RR(mat_ZZ& BB, double delta=0.99, long BlockSize=10, |
---|
82 | long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
83 | |
---|
84 | long BKZ_RR(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
85 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
86 | |
---|
87 | |
---|
88 | // Givens rotations versions |
---|
89 | |
---|
90 | long G_LLL_FP(mat_ZZ& B, double delta = 0.99, |
---|
91 | long deep = 0, LLLCheckFct check = 0, long verbose = 0); |
---|
92 | |
---|
93 | long G_LLL_FP(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, long deep = 0, |
---|
94 | LLLCheckFct check = 0, long verbose = 0); |
---|
95 | |
---|
96 | |
---|
97 | long G_BKZ_FP(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
98 | LLLCheckFct check = 0, long verbose = 0) ; |
---|
99 | long G_BKZ_FP(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
100 | long BlockSize=10, long prune=0, |
---|
101 | LLLCheckFct check = 0, long verbose = 0); |
---|
102 | |
---|
103 | long G_LLL_XD(mat_ZZ& B, double delta = 0.99, long deep = 0, |
---|
104 | LLLCheckFct check = 0, long verbose = 0); |
---|
105 | long G_LLL_XD(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, long deep = 0, |
---|
106 | LLLCheckFct check = 0, long verbose = 0); |
---|
107 | |
---|
108 | |
---|
109 | long G_BKZ_XD(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
110 | LLLCheckFct check = 0, long verbose = 0); |
---|
111 | long G_BKZ_XD(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
112 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
113 | |
---|
114 | long G_LLL_QP(mat_ZZ& B, double delta = 0.99, long deep = 0, |
---|
115 | LLLCheckFct check = 0, long verbose = 0); |
---|
116 | long G_LLL_QP(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, long deep = 0, |
---|
117 | LLLCheckFct check = 0, long verbose = 0); |
---|
118 | |
---|
119 | |
---|
120 | long G_BKZ_QP(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
121 | LLLCheckFct check = 0, long verbose = 0); |
---|
122 | long G_BKZ_QP(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
123 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
124 | |
---|
125 | long G_BKZ_QP1(mat_ZZ& BB, double delta=0.99, long BlockSize=10, long prune=0, |
---|
126 | LLLCheckFct check = 0, long verbose = 0); |
---|
127 | long G_BKZ_QP1(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
128 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
129 | |
---|
130 | long G_LLL_RR(mat_ZZ& B, double delta = 0.99, long deep = 0, |
---|
131 | LLLCheckFct check = 0, long verbose = 0); |
---|
132 | long G_LLL_RR(mat_ZZ& B, mat_ZZ& U, double delta = 0.99, |
---|
133 | long deep = 0, LLLCheckFct check = 0, long verbose = 0); |
---|
134 | |
---|
135 | |
---|
136 | long G_BKZ_RR(mat_ZZ& BB, double delta=0.99, long BlockSize=10, |
---|
137 | long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
138 | |
---|
139 | long G_BKZ_RR(mat_ZZ& BB, mat_ZZ& U, double delta=0.99, |
---|
140 | long BlockSize=10, long prune=0, LLLCheckFct check = 0, long verbose = 0); |
---|
141 | |
---|
142 | void ComputeGS(const mat_ZZ& B, mat_RR& mu, vec_RR& c); |
---|
143 | |
---|
144 | |
---|
145 | void NearVector(vec_ZZ& ww, const mat_ZZ& BB, const vec_ZZ& a); |
---|
146 | |
---|
147 | NTL_CLOSE_NNS |
---|
148 | |
---|
149 | #endif |
---|