1 | Script started on November 1, 2010 12:15:08 AM GMT |
---|
2 | drkirkby@hawk:~/sage-4.6.1.alpha0$ ./sage |
---|
3 | ---------------------------------------------------------------------- |
---|
4 | | Sage Version 4.6.1.alpha0, Release Date: 2010-10-27 | |
---|
5 | | Type notebook() for the GUI, and license() for information. | |
---|
6 | ---------------------------------------------------------------------- |
---|
7 | ********************************************************************** |
---|
8 | * * |
---|
9 | * Warning: this is a prerelease version, and it may be unstable. * |
---|
10 | * * |
---|
11 | ********************************************************************** |
---|
12 | sage: from sage.libs.fplll.fplll import gen_ajtai |
---|
13 | sage: |
---|
14 | sage: runs=10000 |
---|
15 | sage: verbose=1 |
---|
16 | sage: failed=[] |
---|
17 | sage: |
---|
18 | sage: for i in xrange(1,runs): |
---|
19 | ....: A = gen_ajtai(10, 0.7) |
---|
20 | ....: L = A.LLL() |
---|
21 | ....: # L.is_LLL_reduced() |
---|
22 | ....: # True |
---|
23 | ....: if not (L.echelon_form() == A.echelon_form()): |
---|
24 | ....: failed += [ i ] |
---|
25 | ....: print "Test #%d failed:" % i |
---|
26 | ....: if verbose: |
---|
27 | ....: print "A:\n", A |
---|
28 | ....: print "L:\n", L |
---|
29 | ....: if verbose>1: |
---|
30 | ....: print "A.echelon_form()\n", A.echelon_form() |
---|
31 | ....: print "L.echelon_form()\n", L.echelon_form() |
---|
32 | ....: |
---|
33 | Test #432 failed: |
---|
34 | A: |
---|
35 | [122 0 0 0 0 0 0 0 0 0] |
---|
36 | [ 4 38 0 0 0 0 0 0 0 0] |
---|
37 | [ 5 12 95 0 0 0 0 0 0 0] |
---|
38 | [ 36 -4 -20 51 0 0 0 0 0 0] |
---|
39 | [-26 -8 24 16 4 0 0 0 0 0] |
---|
40 | [ 36 2 21 -3 1 26 0 0 0 0] |
---|
41 | [-21 10 -5 -8 0 7 39 0 0 0] |
---|
42 | [ 0 8 14 -5 -1 6 12 3 0 0] |
---|
43 | [ 58 -4 -20 4 0 -9 13 0 9 0] |
---|
44 | [ 6 -14 -3 -12 0 -11 -13 0 1 6] |
---|
45 | L: |
---|
46 | [ 7 6 -3 -3 12 0 0 0 0 0] |
---|
47 | [ -1 4 -5 8 8 4 -10 -9 1 6] |
---|
48 | [ -1 12 9 3 7 10 2 -6 1 6] |
---|
49 | [ -5 2 -6 9 -7 1 11 6 -2 -12] |
---|
50 | [ -5 0 -4 -5 7 16 -2 6 2 12] |
---|
51 | [-10 -10 -1 -9 6 -10 2 -6 8 -6] |
---|
52 | [ -1 10 -8 2 -5 -6 16 -9 -8 6] |
---|
53 | [ 4 -2 -1 6 10 -17 -1 3 -16 12] |
---|
54 | [ 3 18 0 -9 -12 -11 -13 0 1 6] |
---|
55 | [ 7 4 5 12 -7 -3 13 0 19 6] |
---|
56 | Test #654 failed: |
---|
57 | A: |
---|
58 | [237 0 0 0 0 0 0 0 0 0] |
---|
59 | [-76 13 0 0 0 0 0 0 0 0] |
---|
60 | [-99 -4 100 0 0 0 0 0 0 0] |
---|
61 | [-79 -5 -10 64 0 0 0 0 0 0] |
---|
62 | [ 47 -3 25 -16 26 0 0 0 0 0] |
---|
63 | [ 22 4 47 -1 11 19 0 0 0 0] |
---|
64 | [-99 -4 -9 -23 -2 0 42 0 0 0] |
---|
65 | [-51 -5 1 -21 12 4 11 63 0 0] |
---|
66 | [-64 -2 -46 16 3 6 2 -2 9 0] |
---|
67 | [ 3 5 17 8 2 0 12 12 -3 28] |
---|
68 | L: |
---|
69 | [-24 3 7 17 -8 -13 2 -2 9 0] |
---|
70 | [ -1 4 15 -2 -7 32 -2 2 -9 0] |
---|
71 | [ 3 5 17 8 2 0 12 12 -3 28] |
---|
72 | [ 17 5 21 0 -29 -6 -2 2 -9 0] |
---|
73 | [ -1 2 21 -1 -1 -5 -8 8 -36 0] |
---|
74 | [-10 10 -14 -33 -12 25 2 -2 9 0] |
---|
75 | [-11 13 25 -15 -2 -1 6 -6 27 0] |
---|
76 | [ 9 39 0 0 0 0 0 0 0 0] |
---|
77 | [ -8 11 3 0 1 7 26 -8 -15 -28] |
---|
78 | [ 7 19 -9 -12 2 -9 1 49 12 -28] |
---|
79 | Test #1219 failed: |
---|
80 | A: |
---|
81 | [ 91 0 0 0 0 0 0 0 0 0] |
---|
82 | [ 19 51 0 0 0 0 0 0 0 0] |
---|
83 | [-20 18 64 0 0 0 0 0 0 0] |
---|
84 | [ 23 -15 -29 126 0 0 0 0 0 0] |
---|
85 | [-19 -2 -10 20 61 0 0 0 0 0] |
---|
86 | [ -9 0 -21 31 -5 32 0 0 0 0] |
---|
87 | [ 34 -4 28 -8 1 4 17 0 0 0] |
---|
88 | [ 28 11 24 18 27 1 -5 36 0 0] |
---|
89 | [-40 16 18 -39 -23 9 -2 -1 10 0] |
---|
90 | [-31 -14 11 -24 -8 -10 -7 -11 0 30] |
---|
91 | L: |
---|
92 | [ 4 13 -28 -2 -3 -5 -6 -3 30 0] |
---|
93 | [ 34 -4 28 -8 1 4 17 0 0 0] |
---|
94 | [-22 16 -8 -6 4 9 23 3 -30 0] |
---|
95 | [ 3 26 8 16 -2 -8 -34 0 0 0] |
---|
96 | [ 13 7 18 -29 -21 10 -13 2 -20 0] |
---|
97 | [ 4 -4 6 -19 7 15 -1 38 -20 0] |
---|
98 | [ -6 5 8 -9 40 10 -13 2 -20 0] |
---|
99 | [-31 -14 11 -24 -8 -10 -7 -11 0 30] |
---|
100 | [ -6 -18 18 -1 -12 26 10 -11 0 30] |
---|
101 | [-25 5 15 1 -17 11 -29 10 10 -30] |
---|
102 | Test #1264 failed: |
---|
103 | A: |
---|
104 | [243 0 0 0 0 0 0 0 0 0] |
---|
105 | [ 82 121 0 0 0 0 0 0 0 0] |
---|
106 | [ 54 35 110 0 0 0 0 0 0 0] |
---|
107 | [ 66 9 -30 75 0 0 0 0 0 0] |
---|
108 | [-32 -4 -30 25 40 0 0 0 0 0] |
---|
109 | [-89 -24 7 -1 15 61 0 0 0 0] |
---|
110 | [ 57 -46 -50 -18 19 -21 63 0 0 0] |
---|
111 | [ 13 58 19 -32 17 23 -19 16 0 0] |
---|
112 | [-30 3 27 -36 12 6 10 -4 32 0] |
---|
113 | [-68 -36 -27 -35 -10 0 -7 -6 13 29] |
---|
114 | L: |
---|
115 | [-16 -8 26 26 18 -6 -17 -2 -19 29] |
---|
116 | [-32 -4 -30 25 40 0 0 0 0 0] |
---|
117 | [ -3 -6 34 9 -12 -36 18 26 13 29] |
---|
118 | [ 30 -3 -27 36 -12 -6 -10 4 -32 0] |
---|
119 | [ 36 12 -3 39 12 6 10 -4 32 0] |
---|
120 | [-20 39 -12 31 -2 38 19 -16 0 0] |
---|
121 | [-13 46 37 -17 1 -29 2 -18 -19 29] |
---|
122 | [ 0 -20 0 -21 -38 6 3 -10 45 29] |
---|
123 | [ 23 6 16 -6 4 16 -3 60 32 0] |
---|
124 | [ 8 -21 -17 -6 27 21 52 46 -19 29] |
---|
125 | Test #1326 failed: |
---|
126 | A: |
---|
127 | [196 0 0 0 0 0 0 0 0 0] |
---|
128 | [ 75 31 0 0 0 0 0 0 0 0] |
---|
129 | [ 67 3 89 0 0 0 0 0 0 0] |
---|
130 | [-80 3 -12 77 0 0 0 0 0 0] |
---|
131 | [ 87 14 0 -12 14 0 0 0 0 0] |
---|
132 | [ 55 13 -13 -3 -4 5 0 0 0 0] |
---|
133 | [-23 -4 4 16 4 -1 4 0 0 0] |
---|
134 | [-27 3 -38 -2 4 1 1 50 0 0] |
---|
135 | [ 60 -11 11 -33 -4 0 -1 16 23 0] |
---|
136 | [-75 -6 -21 19 1 1 0 -4 -1 31] |
---|
137 | L: |
---|
138 | [-11 7 -2 7 6 -6 -16 0 0 0] |
---|
139 | [ 12 -17 0 -12 14 0 0 0 0 0] |
---|
140 | [-12 -11 6 9 -2 5 20 0 0 0] |
---|
141 | [ 3 -14 -17 -19 -8 6 -4 0 0 0] |
---|
142 | [ 12 -9 -22 10 -4 9 4 0 0 0] |
---|
143 | [ 6 1 17 9 4 22 -8 0 0 0] |
---|
144 | [ -6 -9 0 -1 -12 -2 -13 16 23 0] |
---|
145 | [ -9 -8 -10 -13 9 3 12 -4 -1 31] |
---|
146 | [ 8 -17 3 3 -14 -7 -11 -16 -23 0] |
---|
147 | [ 12 -3 -20 -3 -12 -5 6 34 -23 0] |
---|
148 | Test #1490 failed: |
---|
149 | A: |
---|
150 | [ 93 0 0 0 0 0 0 0 0 0] |
---|
151 | [ 7 71 0 0 0 0 0 0 0 0] |
---|
152 | [ 0 0 41 0 0 0 0 0 0 0] |
---|
153 | [ 12 33 -3 104 0 0 0 0 0 0] |
---|
154 | [-43 27 0 22 61 0 0 0 0 0] |
---|
155 | [ 16 24 11 -30 25 64 0 0 0 0] |
---|
156 | [ 28 -5 3 22 29 -2 60 0 0 0] |
---|
157 | [ -9 18 9 17 18 23 -25 45 0 0] |
---|
158 | [-26 -15 7 14 -16 20 -10 -20 25 0] |
---|
159 | [ 13 17 9 -45 -20 19 13 9 8 5] |
---|
160 | L: |
---|
161 | [ -5 25 -4 -17 -10 -3 1 -7 -9 10] |
---|
162 | [ 0 0 41 0 0 0 0 0 0 0] |
---|
163 | [ 5 -2 -6 -4 2 8 20 -20 -15 -25] |
---|
164 | [-18 8 -13 28 10 -22 -12 -16 -17 5] |
---|
165 | [ 21 5 5 21 0 -25 3 -11 33 5] |
---|
166 | [ 12 46 4 17 10 3 -1 7 9 -10] |
---|
167 | [ 7 -9 -1 2 25 14 -8 -34 7 20] |
---|
168 | [-26 -15 7 14 -16 20 -10 -20 25 0] |
---|
169 | [ 29 -2 -7 -2 -1 -32 -28 -4 2 -30] |
---|
170 | [ 21 -3 -10 19 -31 9 -17 9 -32 -20] |
---|
171 | Test #1696 failed: |
---|
172 | A: |
---|
173 | [ 19 0 0 0 0 0 0 0 0 0] |
---|
174 | [ -4 26 0 0 0 0 0 0 0 0] |
---|
175 | [ 2 3 12 0 0 0 0 0 0 0] |
---|
176 | [ -2 -2 -5 118 0 0 0 0 0 0] |
---|
177 | [ 2 -12 4 44 50 0 0 0 0 0] |
---|
178 | [ 7 -5 3 -42 8 59 0 0 0 0] |
---|
179 | [ -2 -10 -4 -1 12 10 2 0 0 0] |
---|
180 | [ -5 -7 -2 -12 -22 21 0 57 0 0] |
---|
181 | [ -4 10 -2 -46 17 7 0 11 11 0] |
---|
182 | [ 0 -6 -3 14 23 21 0 -18 2 22] |
---|
183 | L: |
---|
184 | [ 2 3 12 0 0 0 0 0 0 0] |
---|
185 | [ 0 1 3 7 -2 9 -10 0 0 0] |
---|
186 | [ 0 -7 8 -1 12 10 2 0 0 0] |
---|
187 | [ 19 0 0 0 0 0 0 0 0 0] |
---|
188 | [ -6 16 -4 -1 12 10 2 0 0 0] |
---|
189 | [ 2 3 -2 8 13 2 8 -18 2 22] |
---|
190 | [ -8 4 -1 12 -5 9 24 11 11 0] |
---|
191 | [ -2 6 -1 9 15 -6 -6 -4 -24 -22] |
---|
192 | [ 5 -1 1 15 -5 -1 6 17 -20 22] |
---|
193 | [ 6 7 -3 9 17 -24 -18 11 11 0] |
---|
194 | Test #2366 failed: |
---|
195 | A: |
---|
196 | [ 62 0 0 0 0 0 0 0 0 0] |
---|
197 | [-23 56 0 0 0 0 0 0 0 0] |
---|
198 | [-23 -7 119 0 0 0 0 0 0 0] |
---|
199 | [-17 -11 54 98 0 0 0 0 0 0] |
---|
200 | [ 26 1 -36 36 21 0 0 0 0 0] |
---|
201 | [-21 -27 5 -32 1 41 0 0 0 0] |
---|
202 | [ -2 7 49 38 -6 6 45 0 0 0] |
---|
203 | [ 23 10 -47 -2 5 -8 12 18 0 0] |
---|
204 | [ -4 -22 40 -34 6 8 -20 -1 3 0] |
---|
205 | [ 8 -26 -35 39 4 -14 -15 -5 0 24] |
---|
206 | L: |
---|
207 | [ 0 4 -26 0 4 -11 10 5 -15 0] |
---|
208 | [ -5 3 -16 0 6 -16 7 11 21 0] |
---|
209 | [-28 -3 5 2 5 -19 5 -2 6 0] |
---|
210 | [ -6 -14 -9 6 -1 11 23 -14 -12 0] |
---|
211 | [-11 9 -26 -4 -4 22 -3 15 9 0] |
---|
212 | [ -2 0 -25 9 10 8 -10 -7 6 24] |
---|
213 | [ 15 15 -8 9 -18 -3 8 -19 -12 24] |
---|
214 | [ 6 0 -10 -25 -2 -22 5 -4 -3 24] |
---|
215 | [ -7 21 -5 8 26 19 3 -15 -9 0] |
---|
216 | [ -2 7 21 7 19 -11 12 16 -9 24] |
---|
217 | Test #2622 failed: |
---|
218 | A: |
---|
219 | [176 0 0 0 0 0 0 0 0 0] |
---|
220 | [-20 93 0 0 0 0 0 0 0 0] |
---|
221 | [-12 0 39 0 0 0 0 0 0 0] |
---|
222 | [ 47 4 -5 98 0 0 0 0 0 0] |
---|
223 | [-51 -1 -17 32 33 0 0 0 0 0] |
---|
224 | [-69 32 -5 39 10 46 0 0 0 0] |
---|
225 | [-36 39 -17 37 1 -13 47 0 0 0] |
---|
226 | [ 67 -13 3 8 -9 -13 -7 37 0 0] |
---|
227 | [-78 -22 -14 44 -7 -13 -4 0 17 0] |
---|
228 | [ 70 -10 -5 45 -3 -15 8 -15 5 17] |
---|
229 | L: |
---|
230 | [ 21 5 -2 -6 -2 18 1 22 5 17] |
---|
231 | [-28 12 9 1 4 -2 12 -15 -12 17] |
---|
232 | [-12 0 39 0 0 0 0 0 0 0] |
---|
233 | [-18 6 -14 -15 3 33 -4 0 17 0] |
---|
234 | [ 12 27 -13 22 -26 13 4 0 -17 0] |
---|
235 | [-23 -13 -26 31 29 2 -12 15 12 -17] |
---|
236 | [ 3 13 13 -17 -6 -26 43 0 17 0] |
---|
237 | [ 6 16 -1 -6 42 -5 3 -22 -22 -17] |
---|
238 | [ 19 -9 22 36 2 0 3 -37 17 0] |
---|
239 | [-23 31 15 16 -13 -15 -46 22 5 17] |
---|
240 | Test #3049 failed: |
---|
241 | A: |
---|
242 | [120 0 0 0 0 0 0 0 0 0] |
---|
243 | [-14 3 0 0 0 0 0 0 0 0] |
---|
244 | [ 26 0 7 0 0 0 0 0 0 0] |
---|
245 | [ 13 0 -1 30 0 0 0 0 0 0] |
---|
246 | [-16 0 1 2 46 0 0 0 0 0] |
---|
247 | [ 24 0 1 -2 11 30 0 0 0 0] |
---|
248 | [ 56 0 2 -10 8 -11 39 0 0 0] |
---|
249 | [-20 0 0 11 10 -7 -4 41 0 0] |
---|
250 | [-14 0 0 7 -5 7 8 12 23 0] |
---|
251 | [ 54 0 1 1 5 8 11 -6 6 5] |
---|
252 | L: |
---|
253 | [ -2 6 7 0 0 0 0 0 0 0] |
---|
254 | [-12 -3 -7 0 0 0 0 0 0 0] |
---|
255 | [ 0 6 -6 1 5 8 11 -6 6 5] |
---|
256 | [ -2 15 -14 0 0 0 0 0 0 0] |
---|
257 | [ 0 -3 0 7 -5 7 8 12 23 0] |
---|
258 | [ -2 -6 0 -3 6 22 -11 6 -6 -5] |
---|
259 | [ -3 0 2 -10 16 -1 -7 5 1 20] |
---|
260 | [ -1 3 -1 30 0 0 0 0 0 0] |
---|
261 | [ -1 -3 0 16 9 3 17 12 -12 -10] |
---|
262 | [ 2 0 -1 -4 21 -2 -10 -17 11 -10] |
---|
263 | Test #3626 failed: |
---|
264 | A: |
---|
265 | [ 5 0 0 0 0 0 0 0 0 0] |
---|
266 | [ 1 15 0 0 0 0 0 0 0 0] |
---|
267 | [ 0 -5 120 0 0 0 0 0 0 0] |
---|
268 | [ 0 -5 -56 88 0 0 0 0 0 0] |
---|
269 | [ 1 -6 57 26 26 0 0 0 0 0] |
---|
270 | [ -1 -2 59 -24 0 51 0 0 0 0] |
---|
271 | [ 0 5 25 -38 11 -14 48 0 0 0] |
---|
272 | [ 0 -5 49 22 -10 -9 -4 30 0 0] |
---|
273 | [ 0 0 -45 -39 2 13 10 -3 24 0] |
---|
274 | [ -1 -5 5 -43 -1 -5 19 14 -3 29] |
---|
275 | L: |
---|
276 | [ 5 0 0 0 0 0 0 0 0 0] |
---|
277 | [ 1 15 0 0 0 0 0 0 0 0] |
---|
278 | [ 0 -5 4 -17 -8 4 6 27 24 0] |
---|
279 | [ -1 6 -12 13 -28 -13 -10 3 -24 0] |
---|
280 | [ 1 4 -12 -1 24 18 -25 -16 -3 29] |
---|
281 | [ -1 3 -16 15 -2 38 -10 3 -24 0] |
---|
282 | [ 0 5 20 23 9 4 23 -16 -3 29] |
---|
283 | [ -1 0 1 -26 7 -9 13 -13 -27 29] |
---|
284 | [ 2 4 37 3 17 -4 -23 16 3 -29] |
---|
285 | [ 2 -2 -21 -14 42 -9 -4 30 0 0] |
---|
286 | Test #3835 failed: |
---|
287 | A: |
---|
288 | [ 94 0 0 0 0 0 0 0 0 0] |
---|
289 | [ -3 52 0 0 0 0 0 0 0 0] |
---|
290 | [ -1 9 43 0 0 0 0 0 0 0] |
---|
291 | [ 42 -19 7 54 0 0 0 0 0 0] |
---|
292 | [-23 10 -19 24 63 0 0 0 0 0] |
---|
293 | [-33 25 0 -23 -28 46 0 0 0 0] |
---|
294 | [-44 -4 8 12 -10 17 62 0 0 0] |
---|
295 | [ -9 0 7 -18 7 4 -13 62 0 0] |
---|
296 | [-29 10 -10 14 -1 -15 -18 29 13 0] |
---|
297 | [-23 14 2 -20 25 -15 -7 -23 -1 32] |
---|
298 | L: |
---|
299 | [ -1 9 43 0 0 0 0 0 0 0] |
---|
300 | [ -3 52 0 0 0 0 0 0 0 0] |
---|
301 | [-29 10 -10 14 -1 -15 -18 29 13 0] |
---|
302 | [ -5 4 -9 8 9 34 23 4 -26 0] |
---|
303 | [ 2 -25 -2 5 16 29 39 -4 26 0] |
---|
304 | [ -1 -7 2 1 -2 -42 -2 10 -14 32] |
---|
305 | [ 11 2 14 15 34 31 -18 29 13 0] |
---|
306 | [-20 10 -17 32 -8 -19 -5 -33 13 0] |
---|
307 | [-12 3 8 29 4 -16 25 -6 -12 -32] |
---|
308 | [ 8 -1 9 32 -30 4 -2 10 -14 32] |
---|
309 | Test #4239 failed: |
---|
310 | A: |
---|
311 | [ 9 0 0 0 0 0 0 0 0 0] |
---|
312 | [ -2 122 0 0 0 0 0 0 0 0] |
---|
313 | [ 3 53 113 0 0 0 0 0 0 0] |
---|
314 | [ 0 -59 -10 72 0 0 0 0 0 0] |
---|
315 | [ -2 -4 16 28 52 0 0 0 0 0] |
---|
316 | [ -3 -2 46 29 -21 29 0 0 0 0] |
---|
317 | [ 0 7 -22 8 -22 4 43 0 0 0] |
---|
318 | [ -1 -34 38 -4 -20 -4 4 24 0 0] |
---|
319 | [ 2 -17 -50 3 -16 13 0 -4 14 0] |
---|
320 | [ -2 27 53 9 -14 -2 2 3 5 20] |
---|
321 | L: |
---|
322 | [ 9 0 0 0 0 0 0 0 0 0] |
---|
323 | [ 2 -9 -10 6 2 -15 2 7 -9 20] |
---|
324 | [ 0 10 3 12 -30 11 2 -1 19 20] |
---|
325 | [ -1 27 12 -6 17 27 2 3 5 20] |
---|
326 | [ 0 13 -5 27 31 7 -4 -16 -28 0] |
---|
327 | [ 2 17 -21 -1 -21 7 -4 -16 -28 0] |
---|
328 | [ -1 -29 -7 20 -7 31 -2 -3 -5 -20] |
---|
329 | [ -1 17 -17 5 41 -3 0 -8 28 0] |
---|
330 | [ 0 7 -22 8 -22 4 43 0 0 0] |
---|
331 | [ -2 6 -11 14 10 7 6 41 9 -20] |
---|
332 | Test #5221 failed: |
---|
333 | A: |
---|
334 | [ 27 0 0 0 0 0 0 0 0 0] |
---|
335 | [ 3 106 0 0 0 0 0 0 0 0] |
---|
336 | [ 7 -11 113 0 0 0 0 0 0 0] |
---|
337 | [ -6 26 35 28 0 0 0 0 0 0] |
---|
338 | [ 6 -1 29 -13 37 0 0 0 0 0] |
---|
339 | [ 2 -39 17 -1 17 19 0 0 0 0] |
---|
340 | [ 2 12 54 10 -9 -7 26 0 0 0] |
---|
341 | [ 1 36 11 -8 13 5 -1 35 0 0] |
---|
342 | [ 3 -2 52 8 0 4 -10 -15 20 0] |
---|
343 | [ 11 18 45 -5 12 7 -3 -15 -1 18] |
---|
344 | L: |
---|
345 | [ 27 0 0 0 0 0 0 0 0 0] |
---|
346 | [ -3 4 22 4 -8 3 14 -5 -19 -18] |
---|
347 | [ 8 -14 19 -18 -9 -7 26 0 0 0] |
---|
348 | [ -6 -10 -13 11 -13 -17 15 20 20 0] |
---|
349 | [ -2 21 -7 18 -9 -3 16 -15 20 0] |
---|
350 | [ 7 11 0 -19 -17 -15 -10 -15 20 0] |
---|
351 | [ -2 -10 20 2 1 14 -22 -20 1 -18] |
---|
352 | [ 1 -12 10 1 -29 -7 -4 20 -1 18] |
---|
353 | [ 12 11 2 -11 -4 28 12 5 19 18] |
---|
354 | [-11 7 19 20 25 -7 3 15 1 -18] |
---|
355 | Test #5368 failed: |
---|
356 | A: |
---|
357 | [150 0 0 0 0 0 0 0 0 0] |
---|
358 | [ 56 36 0 0 0 0 0 0 0 0] |
---|
359 | [-47 -2 10 0 0 0 0 0 0 0] |
---|
360 | [ 0 -8 3 70 0 0 0 0 0 0] |
---|
361 | [ 67 -16 4 20 24 0 0 0 0 0] |
---|
362 | [-26 9 -4 -29 -9 62 0 0 0 0] |
---|
363 | [ 64 1 0 -4 -11 22 47 0 0 0] |
---|
364 | [ 68 7 -4 -17 -6 -3 8 51 0 0] |
---|
365 | [-69 15 0 -21 0 5 -20 -15 4 0] |
---|
366 | [ 65 -2 2 -8 -5 6 -3 -4 0 3] |
---|
367 | L: |
---|
368 | [ 9 2 -18 -8 -5 6 -3 -4 0 3] |
---|
369 | [ 18 -4 12 -8 -5 6 -3 -4 0 3] |
---|
370 | [ 2 -3 12 9 4 19 8 -1 -4 12] |
---|
371 | [ 0 18 -2 4 14 12 -6 -8 0 6] |
---|
372 | [ -9 3 -7 -16 9 3 0 -1 -8 -15] |
---|
373 | [ 2 19 -6 5 -10 7 14 7 -4 6] |
---|
374 | [ -4 -2 3 -10 -5 1 -22 9 -16 0] |
---|
375 | [ 20 4 -4 16 10 -12 6 8 0 -6] |
---|
376 | [-10 -8 11 -3 3 15 -13 7 16 -12] |
---|
377 | [ -7 -5 -6 -18 25 -15 6 9 8 9] |
---|
378 | Test #6148 failed: |
---|
379 | A: |
---|
380 | [211 0 0 0 0 0 0 0 0 0] |
---|
381 | [ 19 99 0 0 0 0 0 0 0 0] |
---|
382 | [ -1 31 123 0 0 0 0 0 0 0] |
---|
383 | [ 42 22 58 78 0 0 0 0 0 0] |
---|
384 | [-12 22 21 11 54 0 0 0 0 0] |
---|
385 | [ 41 48 -8 -32 17 57 0 0 0 0] |
---|
386 | [ 96 18 -22 -4 14 -16 7 0 0 0] |
---|
387 | [ 91 2 9 -21 24 -20 -1 64 0 0] |
---|
388 | [-30 -23 -1 -34 -20 -6 1 -24 16 0] |
---|
389 | [ 17 -45 -27 27 -25 10 1 7 6 17] |
---|
390 | L: |
---|
391 | [ -9 -3 -8 0 15 -20 -8 33 10 -17] |
---|
392 | [ 15 -16 5 4 25 19 15 -24 16 0] |
---|
393 | [ 1 4 3 -34 11 -11 6 2 20 -34] |
---|
394 | [ -6 26 3 -25 8 4 22 -2 -20 34] |
---|
395 | [ 12 -15 -21 -32 -6 3 29 7 6 17] |
---|
396 | [ 4 14 29 12 -4 16 -20 16 32 0] |
---|
397 | [ 12 12 -31 -3 -5 3 9 -8 48 0] |
---|
398 | [ 40 30 12 0 16 15 13 -7 -6 -17] |
---|
399 | [ 1 18 -20 -32 1 42 -13 7 6 17] |
---|
400 | [ -8 -6 11 31 8 36 12 26 4 -34] |
---|
401 | Test #7007 failed: |
---|
402 | A: |
---|
403 | [192 0 0 0 0 0 0 0 0 0] |
---|
404 | [-48 83 0 0 0 0 0 0 0 0] |
---|
405 | [ -4 13 32 0 0 0 0 0 0 0] |
---|
406 | [ 86 -15 -2 96 0 0 0 0 0 0] |
---|
407 | [-44 23 -1 9 46 0 0 0 0 0] |
---|
408 | [-51 -31 -10 10 20 24 0 0 0 0] |
---|
409 | [ 48 6 6 42 -14 2 32 0 0 0] |
---|
410 | [-24 -13 8 -28 2 -1 10 51 0 0] |
---|
411 | [ 88 -19 1 -12 0 -9 -10 24 25 0] |
---|
412 | [-27 -32 -13 5 -12 11 -14 0 -5 16] |
---|
413 | L: |
---|
414 | [ -4 13 32 0 0 0 0 0 0 0] |
---|
415 | [-20 22 -4 4 14 -13 -14 0 -5 16] |
---|
416 | [-24 1 3 5 32 13 14 0 5 -16] |
---|
417 | [-31 -19 19 5 -12 11 -14 0 -5 16] |
---|
418 | [ 9 11 -5 -6 6 28 4 24 30 -16] |
---|
419 | [ -3 -6 13 24 -18 -5 2 27 -20 -16] |
---|
420 | [ 7 21 -3 -6 20 -7 26 24 15 32] |
---|
421 | [ 1 -4 -11 51 -12 0 4 0 -10 32] |
---|
422 | [ 2 -24 -4 4 16 26 -20 3 -45 -16] |
---|
423 | [-13 15 -19 -2 -34 -2 24 -24 -20 -16] |
---|
424 | Test #9661 failed: |
---|
425 | A: |
---|
426 | [250 0 0 0 0 0 0 0 0 0] |
---|
427 | [ 81 58 0 0 0 0 0 0 0 0] |
---|
428 | [ -4 15 60 0 0 0 0 0 0 0] |
---|
429 | [109 4 -27 11 0 0 0 0 0 0] |
---|
430 | [-30 -16 -8 3 64 0 0 0 0 0] |
---|
431 | [-85 -3 20 -2 -2 24 0 0 0 0] |
---|
432 | [-45 -10 -23 -3 -27 -5 31 0 0 0] |
---|
433 | [ 22 -10 8 0 -1 8 -7 45 0 0] |
---|
434 | [-30 -21 0 2 12 11 0 17 28 0] |
---|
435 | [ 53 8 -28 0 23 7 -9 13 -8 28] |
---|
436 | L: |
---|
437 | [ 24 1 -7 9 -2 24 0 0 0 0] |
---|
438 | [ 4 13 9 -3 -4 2 22 13 -8 28] |
---|
439 | [ 12 -24 1 -31 2 -24 0 0 0 0] |
---|
440 | [ -2 -11 15 -9 1 -16 -7 45 0 0] |
---|
441 | [ 30 21 0 -2 -12 -11 0 -17 -28 0] |
---|
442 | [ 8 31 21 -33 0 0 0 0 0 0] |
---|
443 | [ 6 -13 17 1 -13 -18 31 17 28 0] |
---|
444 | [ 19 5 -14 26 14 -13 0 17 28 0] |
---|
445 | [-12 -16 39 33 0 0 0 0 0 0] |
---|
446 | [ 11 -12 16 -15 23 8 31 -17 -28 0] |
---|
447 | Test #9792 failed: |
---|
448 | A: |
---|
449 | [ 40 0 0 0 0 0 0 0 0 0] |
---|
450 | [ 14 91 0 0 0 0 0 0 0 0] |
---|
451 | [-14 -34 127 0 0 0 0 0 0 0] |
---|
452 | [-13 27 -46 126 0 0 0 0 0 0] |
---|
453 | [ -4 29 -5 18 54 0 0 0 0 0] |
---|
454 | [ 7 0 -9 -62 -5 55 0 0 0 0] |
---|
455 | [ 1 0 53 0 18 -5 22 0 0 0] |
---|
456 | [ 8 -16 23 -22 20 -19 -9 10 0 0] |
---|
457 | [ 17 -40 -41 38 7 20 -5 -2 26 0] |
---|
458 | [ 0 19 42 -19 -7 25 -9 -1 -9 10] |
---|
459 | L: |
---|
460 | [ 40 0 0 0 0 0 0 0 0 0] |
---|
461 | [ 3 13 -6 -22 18 9 10 -6 -8 -20] |
---|
462 | [ 3 6 -13 -2 -27 1 -14 8 26 0] |
---|
463 | [-10 0 -25 2 17 7 26 20 0 0] |
---|
464 | [ -3 -4 -3 -23 13 -4 5 -41 -9 10] |
---|
465 | [ 8 -16 23 -22 20 -19 -9 10 0 0] |
---|
466 | [ 4 6 40 -2 -9 -4 8 8 26 0] |
---|
467 | [-17 21 10 20 1 -26 8 -14 8 20] |
---|
468 | [ -4 13 2 -17 2 29 -17 -9 -35 10] |
---|
469 | [ 10 -5 -9 20 35 17 -18 20 0 0] |
---|
470 | sage: print "%d out of %d tests failed:\n" % (len(failed), runs) |
---|
471 | 19 out of 10000 tests failed: |
---|
472 | |
---|
473 | sage: print failed |
---|
474 | [432, 654, 1219, 1264, 1326, 1490, 1696, 2366, 2622, 3049, 3626, 3835, 4239, 5221, 5368, 6148, 7007, 9661, 9792] |
---|
475 | sage: quit |
---|
476 | Exiting Sage (CPU time 0m8.74s, Wall time 0m58.61s). |
---|
477 | drkirkby@hawk:~/sage-4.6.1.alpha0$ exit |
---|
478 | |
---|
479 | script done on November 1, 2010 12:16:16 AM GMT |
---|