File tree
14 files changed
+676
-613
lines changed- src/sage/misc
14 files changed
+676
-613
lines changedLines changed: 200 additions & 190 deletions
Large diffs are not rendered by default.
Lines changed: 343 additions & 312 deletions
Large diffs are not rendered by default.
Lines changed: 6 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
51 | 51 |
| |
52 | 52 |
| |
53 | 53 |
| |
54 |
| - | |
| 54 | + | |
| 55 | + | |
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
| |||
71 | 72 |
| |
72 | 73 |
| |
73 | 74 |
| |
74 |
| - | |
75 |
| - | |
| 75 | + | |
| 76 | + | |
76 | 77 |
| |
77 |
| - | |
78 |
| - | |
| 78 | + | |
| 79 | + | |
79 | 80 |
| |
80 | 81 |
| |
81 | 82 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
69 |
| - | |
| 69 | + | |
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
74 | 74 |
| |
75 |
| - | |
| 75 | + | |
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
|
Lines changed: 9 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
305 | 305 |
| |
306 | 306 |
| |
307 | 307 |
| |
| 308 | + | |
308 | 309 |
| |
309 |
| - | |
| 310 | + | |
310 | 311 |
| |
311 | 312 |
| |
312 | 313 |
| |
313 |
| - | |
| 314 | + | |
314 | 315 |
| |
315 |
| - | |
| 316 | + | |
316 | 317 |
| |
317 |
| - | |
| 318 | + | |
318 | 319 |
| |
319 |
| - | |
| 320 | + | |
320 | 321 |
| |
321 |
| - | |
| 322 | + | |
322 | 323 |
| |
323 |
| - | |
| 324 | + | |
324 | 325 |
| |
325 |
| - | |
| 326 | + | |
326 | 327 |
| |
327 | 328 |
| |
328 | 329 |
| |
|
Lines changed: 8 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
519 | 519 |
| |
520 | 520 |
| |
521 | 521 |
| |
| 522 | + | |
522 | 523 |
| |
523 | 524 |
| |
524 | 525 |
| |
525 |
| - | |
526 |
| - | |
527 |
| - | |
528 |
| - | |
| 526 | + | |
| 527 | + | |
| 528 | + | |
| 529 | + | |
529 | 530 |
| |
530 |
| - | |
| 531 | + | |
531 | 532 |
| |
532 | 533 |
| |
533 | 534 |
| |
534 |
| - | |
| 535 | + | |
535 | 536 |
| |
536 | 537 |
| |
537 | 538 |
| |
538 | 539 |
| |
539 |
| - | |
| 540 | + | |
540 | 541 |
| |
541 | 542 |
| |
542 | 543 |
| |
|
Lines changed: 7 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
162 | 162 |
| |
163 | 163 |
| |
164 | 164 |
| |
165 |
| - | |
| 165 | + | |
166 | 166 |
| |
167 | 167 |
| |
168 | 168 |
| |
169 |
| - | |
| 169 | + | |
| 170 | + | |
170 | 171 |
| |
171 |
| - | |
| 172 | + | |
172 | 173 |
| |
173 |
| - | |
174 |
| - | |
| 174 | + | |
| 175 | + | |
175 | 176 |
| |
176 |
| - | |
| 177 | + | |
177 | 178 |
| |
178 | 179 |
| |
179 | 180 |
| |
|
Lines changed: 35 additions & 30 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
| 179 | + | |
179 | 180 |
| |
180 |
| - | |
181 |
| - | |
| 181 | + | |
| 182 | + | |
182 | 183 |
| |
183 |
| - | |
| 184 | + | |
184 | 185 |
| |
185 |
| - | |
| 186 | + | |
186 | 187 |
| |
187 |
| - | |
188 |
| - | |
| 188 | + | |
| 189 | + | |
189 | 190 |
| |
190 |
| - | |
| 191 | + | |
191 | 192 |
| |
192 | 193 |
| |
193 | 194 |
| |
| |||
293 | 294 |
| |
294 | 295 |
| |
295 | 296 |
| |
| 297 | + | |
296 | 298 |
| |
297 |
| - | |
298 |
| - | |
| 299 | + | |
| 300 | + | |
299 | 301 |
| |
300 | 302 |
| |
301 | 303 |
| |
302 | 304 |
| |
303 | 305 |
| |
304 |
| - | |
305 |
| - | |
| 306 | + | |
| 307 | + | |
306 | 308 |
| |
307 |
| - | |
| 309 | + | |
308 | 310 |
| |
309 |
| - | |
| 311 | + | |
310 | 312 |
| |
311 | 313 |
| |
312 |
| - | |
313 |
| - | |
314 |
| - | |
| 314 | + | |
| 315 | + | |
| 316 | + | |
| 317 | + | |
315 | 318 |
| |
316 |
| - | |
| 319 | + | |
317 | 320 |
| |
318 | 321 |
| |
319 | 322 |
| |
| |||
424 | 427 |
| |
425 | 428 |
| |
426 | 429 |
| |
427 |
| - | |
428 |
| - | |
| 430 | + | |
| 431 | + | |
429 | 432 |
| |
430 |
| - | |
| 433 | + | |
431 | 434 |
| |
432 | 435 |
| |
433 | 436 |
| |
| |||
534 | 537 |
| |
535 | 538 |
| |
536 | 539 |
| |
537 |
| - | |
538 |
| - | |
539 |
| - | |
| 540 | + | |
| 541 | + | |
| 542 | + | |
540 | 543 |
| |
541 |
| - | |
| 544 | + | |
542 | 545 |
| |
543 | 546 |
| |
544 | 547 |
| |
| |||
597 | 600 |
| |
598 | 601 |
| |
599 | 602 |
| |
| 603 | + | |
600 | 604 |
| |
601 |
| - | |
| 605 | + | |
602 | 606 |
| |
603 |
| - | |
| 607 | + | |
604 | 608 |
| |
605 |
| - | |
| 609 | + | |
606 | 610 |
| |
607 | 611 |
| |
608 | 612 |
| |
| |||
661 | 665 |
| |
662 | 666 |
| |
663 | 667 |
| |
| 668 | + | |
664 | 669 |
| |
665 |
| - | |
666 |
| - | |
| 670 | + | |
| 671 | + | |
667 | 672 |
| |
668 |
| - | |
| 673 | + | |
669 | 674 |
| |
670 | 675 |
| |
671 | 676 |
| |
|
Lines changed: 8 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
| 23 | + | |
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
27 |
| - | |
| 27 | + | |
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
| |||
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
134 |
| - | |
135 |
| - | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
136 | 137 |
| |
137 |
| - | |
138 |
| - | |
139 |
| - | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
140 | 141 |
| |
141 | 142 |
| |
142 | 143 |
| |
|
Lines changed: 8 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
229 | 229 |
| |
230 | 230 |
| |
231 | 231 |
| |
232 |
| - | |
233 |
| - | |
| 232 | + | |
| 233 | + | |
| 234 | + | |
234 | 235 |
| |
235 | 236 |
| |
236 |
| - | |
| 237 | + | |
237 | 238 |
| |
238 |
| - | |
| 239 | + | |
239 | 240 |
| |
240 |
| - | |
| 241 | + | |
241 | 242 |
| |
242 | 243 |
| |
243 | 244 |
| |
| |||
406 | 407 |
| |
407 | 408 |
| |
408 | 409 |
| |
409 |
| - | |
| 410 | + | |
410 | 411 |
| |
411 | 412 |
| |
412 | 413 |
| |
| |||
427 | 428 |
| |
428 | 429 |
| |
429 | 430 |
| |
430 |
| - | |
| 431 | + | |
431 | 432 |
| |
432 | 433 |
| |
433 | 434 |
| |
|
0 commit comments