File tree
6 files changed
+78
-76
lines changed- src/sage/parallel
6 files changed
+78
-76
lines changedLines changed: 34 additions & 38 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
26 |
| - | |
| 26 | + | |
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 |
| - | |
31 |
| - | |
| 30 | + | |
| 31 | + | |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
| |||
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
44 |
| - | |
| 44 | + | |
45 | 45 |
| |
46 | 46 |
| |
47 | 47 |
| |
| |||
97 | 97 |
| |
98 | 98 |
| |
99 | 99 |
| |
100 |
| - | |
| 100 | + | |
101 | 101 |
| |
102 | 102 |
| |
103 | 103 |
| |
104 |
| - | |
| 104 | + | |
105 | 105 |
| |
106 | 106 |
| |
107 | 107 |
| |
| |||
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
134 |
| - | |
135 |
| - | |
| 134 | + | |
| 135 | + | |
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
| |||
159 | 159 |
| |
160 | 160 |
| |
161 | 161 |
| |
162 |
| - | |
163 |
| - | |
164 |
| - | |
| 162 | + | |
| 163 | + | |
165 | 164 |
| |
166 |
| - | |
167 |
| - | |
168 |
| - | |
| 165 | + | |
| 166 | + | |
169 | 167 |
| |
170 | 168 |
| |
171 | 169 |
| |
| |||
174 | 172 |
| |
175 | 173 |
| |
176 | 174 |
| |
177 |
| - | |
| 175 | + | |
178 | 176 |
| |
179 | 177 |
| |
180 | 178 |
| |
| |||
217 | 215 |
| |
218 | 216 |
| |
219 | 217 |
| |
220 |
| - | |
221 |
| - | |
222 |
| - | |
| 218 | + | |
| 219 | + | |
| 220 | + | |
223 | 221 |
| |
224 | 222 |
| |
225 |
| - | |
226 |
| - | |
227 |
| - | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
228 | 226 |
| |
229 | 227 |
| |
230 | 228 |
| |
| |||
413 | 411 |
| |
414 | 412 |
| |
415 | 413 |
| |
416 |
| - | |
417 |
| - | |
418 | 414 |
| |
419 | 415 |
| |
420 | 416 |
| |
| |||
437 | 433 |
| |
438 | 434 |
| |
439 | 435 |
| |
440 |
| - | |
441 |
| - | |
442 |
| - | |
443 |
| - | |
| 436 | + | |
| 437 | + | |
| 438 | + | |
| 439 | + | |
444 | 440 |
| |
445 | 441 |
| |
446 | 442 |
| |
| |||
456 | 452 |
| |
457 | 453 |
| |
458 | 454 |
| |
459 |
| - | |
| 455 | + | |
460 | 456 |
| |
461 | 457 |
| |
462 | 458 |
| |
463 |
| - | |
| 459 | + | |
464 | 460 |
| |
465 | 461 |
| |
466 | 462 |
| |
| |||
481 | 477 |
| |
482 | 478 |
| |
483 | 479 |
| |
484 |
| - | |
485 |
| - | |
486 |
| - | |
487 |
| - | |
| 480 | + | |
| 481 | + | |
| 482 | + | |
| 483 | + | |
488 | 484 |
| |
489 | 485 |
| |
490 | 486 |
| |
491 |
| - | |
492 |
| - | |
493 |
| - | |
494 |
| - | |
495 |
| - | |
| 487 | + | |
| 488 | + | |
| 489 | + | |
| 490 | + | |
| 491 | + | |
496 | 492 |
| |
497 | 493 |
| |
498 | 494 |
| |
|
Lines changed: 14 additions & 14 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
410 | 410 |
| |
411 | 411 |
| |
412 | 412 |
| |
413 |
| - | |
| 413 | + | |
414 | 414 |
| |
415 | 415 |
| |
416 | 416 |
| |
| |||
1196 | 1196 |
| |
1197 | 1197 |
| |
1198 | 1198 |
| |
1199 |
| - | |
1200 |
| - | |
1201 |
| - | |
| 1199 | + | |
| 1200 | + | |
| 1201 | + | |
1202 | 1202 |
| |
1203 | 1203 |
| |
1204 | 1204 |
| |
| |||
1249 | 1249 |
| |
1250 | 1250 |
| |
1251 | 1251 |
| |
1252 |
| - | |
| 1252 | + | |
1253 | 1253 |
| |
1254 | 1254 |
| |
1255 | 1255 |
| |
1256 | 1256 |
| |
1257 | 1257 |
| |
1258 |
| - | |
| 1258 | + | |
1259 | 1259 |
| |
1260 | 1260 |
| |
1261 | 1261 |
| |
| |||
1527 | 1527 |
| |
1528 | 1528 |
| |
1529 | 1529 |
| |
1530 |
| - | |
| 1530 | + | |
1531 | 1531 |
| |
1532 |
| - | |
| 1532 | + | |
1533 | 1533 |
| |
1534 | 1534 |
| |
1535 | 1535 |
| |
| |||
1613 | 1613 |
| |
1614 | 1614 |
| |
1615 | 1615 |
| |
1616 |
| - | |
| 1616 | + | |
1617 | 1617 |
| |
1618 | 1618 |
| |
1619 | 1619 |
| |
1620 | 1620 |
| |
1621 | 1621 |
| |
1622 |
| - | |
| 1622 | + | |
1623 | 1623 |
| |
1624 | 1624 |
| |
1625 | 1625 |
| |
1626 |
| - | |
| 1626 | + | |
1627 | 1627 |
| |
1628 | 1628 |
| |
1629 | 1629 |
| |
| |||
1668 | 1668 |
| |
1669 | 1669 |
| |
1670 | 1670 |
| |
1671 |
| - | |
| 1671 | + | |
1672 | 1672 |
| |
1673 | 1673 |
| |
1674 |
| - | |
| 1674 | + | |
1675 | 1675 |
| |
1676 | 1676 |
| |
1677 | 1677 |
| |
| |||
1713 | 1713 |
| |
1714 | 1714 |
| |
1715 | 1715 |
| |
1716 |
| - | |
| 1716 | + | |
1717 | 1717 |
| |
1718 | 1718 |
| |
1719 | 1719 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
| 11 | + | |
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
| 19 | + | |
19 | 20 |
| |
20 | 21 |
| |
21 | 22 |
| |
|
Lines changed: 11 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
| 36 | + | |
36 | 37 |
| |
37 | 38 |
| |
38 | 39 |
| |
| |||
52 | 53 |
| |
53 | 54 |
| |
54 | 55 |
| |
55 |
| - | |
| 56 | + | |
56 | 57 |
| |
57 | 58 |
| |
58 |
| - | |
| 59 | + | |
59 | 60 |
| |
60 | 61 |
| |
61 | 62 |
| |
62 | 63 |
| |
63 |
| - | |
64 |
| - | |
65 |
| - | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
66 | 70 |
| |
67 |
| - | |
| 71 | + | |
68 | 72 |
| |
69 | 73 |
| |
70 | 74 |
| |
71 | 75 |
| |
72 |
| - | |
| 76 | + | |
73 | 77 |
|
Lines changed: 9 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
| 31 | + | |
31 | 32 |
| |
32 | 33 |
| |
33 | 34 |
| |
| |||
106 | 107 |
| |
107 | 108 |
| |
108 | 109 |
| |
109 |
| - | |
110 |
| - | |
111 |
| - | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
112 | 116 |
| |
113 | 117 |
| |
114 | 118 |
| |
| |||
242 | 246 |
| |
243 | 247 |
| |
244 | 248 |
| |
245 |
| - | |
| 249 | + | |
246 | 250 |
| |
247 | 251 |
| |
248 | 252 |
| |
| |||
281 | 285 |
| |
282 | 286 |
| |
283 | 287 |
| |
284 |
| - | |
285 | 288 |
| |
286 | 289 |
| |
287 | 290 |
| |
| |||
307 | 310 |
| |
308 | 311 |
| |
309 | 312 |
| |
310 |
| - | |
311 | 313 |
| |
312 | 314 |
| |
313 | 315 |
| |
| |||
343 | 345 |
| |
344 | 346 |
| |
345 | 347 |
| |
346 |
| - | |
| 348 | + | |
347 | 349 |
| |
348 | 350 |
| |
349 | 351 |
| |
|
0 commit comments