File tree
32 files changed
+122
-112
lines changed- src/sage
- algebras/lie_conformal_algebras
- crypto
- block_cipher
- mq
- games
- geometry/polyhedron
- interfaces
- logic
- modular
- arithgroup
- btquotients
- modform_hecketriangle
- modform
- modsym
- overconvergent
- pollack_stevens
- quatalg
- ssmod
- modules
- with_basis
- monoids
- plot/plot3d
- quadratic_forms
- sat
- sets
- stats/distributions
- structure
- tests
- topology
32 files changed
+122
-112
lines changedLines changed: 10 additions & 8 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 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 |
| - | |
34 |
| - | |
| 33 | + | |
| 34 | + | |
35 | 35 |
| |
36 | 36 |
| |
37 |
| - | |
| 37 | + | |
38 | 38 |
| |
39 | 39 |
| |
40 | 40 |
| |
| 41 | + | |
41 | 42 |
| |
42 | 43 |
| |
43 | 44 |
| |
| |||
132 | 133 |
| |
133 | 134 |
| |
134 | 135 |
| |
135 |
| - | |
| 136 | + | |
136 | 137 |
| |
137 | 138 |
| |
138 | 139 |
| |
| |||
163 | 164 |
| |
164 | 165 |
| |
165 | 166 |
| |
166 |
| - | |
167 |
| - | |
| 167 | + | |
| 168 | + | |
| 169 | + | |
168 | 170 |
| |
169 | 171 |
| |
170 | 172 |
| |
| |||
182 | 184 |
| |
183 | 185 |
| |
184 | 186 |
| |
185 |
| - | |
| 187 | + | |
186 | 188 |
| |
187 | 189 |
| |
188 | 190 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
472 | 472 |
| |
473 | 473 |
| |
474 | 474 |
| |
475 |
| - | |
476 |
| - | |
| 475 | + | |
| 476 | + | |
477 | 477 |
| |
478 | 478 |
| |
479 | 479 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
665 | 665 |
| |
666 | 666 |
| |
667 | 667 |
| |
668 |
| - | |
| 668 | + | |
669 | 669 |
| |
670 | 670 |
| |
671 | 671 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
424 | 424 |
| |
425 | 425 |
| |
426 | 426 |
| |
427 |
| - | |
428 |
| - | |
| 427 | + | |
| 428 | + | |
429 | 429 |
| |
430 | 430 |
| |
431 | 431 |
| |
|
Lines changed: 26 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
10 |
| - | |
| 9 | + | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| |||
193 | 193 |
| |
194 | 194 |
| |
195 | 195 |
| |
196 |
| - | |
| 196 | + | |
197 | 197 |
| |
198 | 198 |
| |
199 | 199 |
| |
| |||
400 | 400 |
| |
401 | 401 |
| |
402 | 402 |
| |
403 |
| - | |
| 403 | + | |
404 | 404 |
| |
405 |
| - | |
406 |
| - | |
| 405 | + | |
| 406 | + | |
407 | 407 |
| |
408 | 408 |
| |
409 | 409 |
| |
| |||
421 | 421 |
| |
422 | 422 |
| |
423 | 423 |
| |
424 |
| - | |
| 424 | + | |
425 | 425 |
| |
426 | 426 |
| |
427 | 427 |
| |
| |||
454 | 454 |
| |
455 | 455 |
| |
456 | 456 |
| |
457 |
| - | |
| 457 | + | |
458 | 458 |
| |
459 | 459 |
| |
460 | 460 |
| |
| |||
502 | 502 |
| |
503 | 503 |
| |
504 | 504 |
| |
505 |
| - | |
506 |
| - | |
507 |
| - | |
508 |
| - | |
| 505 | + | |
| 506 | + | |
| 507 | + | |
509 | 508 |
| |
510 | 509 |
| |
511 | 510 |
| |
| |||
576 | 575 |
| |
577 | 576 |
| |
578 | 577 |
| |
579 |
| - | |
| 578 | + | |
580 | 579 |
| |
581 | 580 |
| |
582 | 581 |
| |
| |||
677 | 676 |
| |
678 | 677 |
| |
679 | 678 |
| |
680 |
| - | |
| 679 | + | |
681 | 680 |
| |
682 | 681 |
| |
683 | 682 |
| |
| |||
902 | 901 |
| |
903 | 902 |
| |
904 | 903 |
| |
905 |
| - | |
| 904 | + | |
906 | 905 |
| |
907 | 906 |
| |
908 | 907 |
| |
909 | 908 |
| |
910 | 909 |
| |
911 | 910 |
| |
912 |
| - | |
| 911 | + | |
913 | 912 |
| |
914 | 913 |
| |
915 | 914 |
| |
| |||
1214 | 1213 |
| |
1215 | 1214 |
| |
1216 | 1215 |
| |
| 1216 | + | |
1217 | 1217 |
| |
1218 | 1218 |
| |
1219 | 1219 |
| |
| 1220 | + | |
1220 | 1221 |
| |
1221 | 1222 |
| |
1222 | 1223 |
| |
| |||
1246 | 1247 |
| |
1247 | 1248 |
| |
1248 | 1249 |
| |
| 1250 | + | |
1249 | 1251 |
| |
1250 | 1252 |
| |
1251 | 1253 |
| |
| 1254 | + | |
1252 | 1255 |
| |
1253 | 1256 |
| |
1254 | 1257 |
| |
| 1258 | + | |
1255 | 1259 |
| |
1256 | 1260 |
| |
1257 | 1261 |
| |
| 1262 | + | |
1258 | 1263 |
| |
1259 | 1264 |
| |
1260 | 1265 |
| |
| 1266 | + | |
1261 | 1267 |
| |
1262 | 1268 |
| |
1263 | 1269 |
| |
| 1270 | + | |
1264 | 1271 |
| |
1265 | 1272 |
| |
1266 | 1273 |
| |
| 1274 | + | |
1267 | 1275 |
| |
1268 | 1276 |
| |
1269 | 1277 |
| |
| 1278 | + | |
1270 | 1279 |
| |
1271 | 1280 |
| |
1272 | 1281 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2427 | 2427 |
| |
2428 | 2428 |
| |
2429 | 2429 |
| |
2430 |
| - | |
| 2430 | + | |
2431 | 2431 |
| |
2432 | 2432 |
| |
2433 | 2433 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1167 | 1167 |
| |
1168 | 1168 |
| |
1169 | 1169 |
| |
1170 |
| - | |
| 1170 | + | |
1171 | 1171 |
| |
1172 | 1172 |
| |
1173 | 1173 |
| |
| |||
1557 | 1557 |
| |
1558 | 1558 |
| |
1559 | 1559 |
| |
| 1560 | + | |
1560 | 1561 |
| |
1561 | 1562 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
596 | 596 |
| |
597 | 597 |
| |
598 | 598 |
| |
599 |
| - | |
| 599 | + | |
600 | 600 |
| |
601 | 601 |
| |
602 | 602 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
412 | 412 |
| |
413 | 413 |
| |
414 | 414 |
| |
415 |
| - | |
| 415 | + | |
416 | 416 |
| |
417 | 417 |
| |
418 | 418 |
| |
| |||
428 | 428 |
| |
429 | 429 |
| |
430 | 430 |
| |
431 |
| - | |
432 |
| - | |
| 431 | + | |
| 432 | + | |
433 | 433 |
| |
434 | 434 |
| |
435 | 435 |
| |
| |||
2283 | 2283 |
| |
2284 | 2284 |
| |
2285 | 2285 |
| |
2286 |
| - | |
| 2286 | + | |
2287 | 2287 |
| |
2288 | 2288 |
| |
2289 | 2289 |
| |
|
Lines changed: 4 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
688 | 688 |
| |
689 | 689 |
| |
690 | 690 |
| |
691 |
| - | |
692 |
| - | |
693 |
| - | |
694 |
| - | |
695 |
| - | |
| 691 | + | |
| 692 | + | |
| 693 | + | |
| 694 | + | |
696 | 695 |
| |
697 | 696 |
| |
698 | 697 |
| |
|
0 commit comments