File tree
77 files changed
+409
-359
lines changed- src
- doc
- en
- constructions
- developer
- pt/tutorial
- sage
- calculus
- categories
- combinat
- crystals
- designs
- root_system
- doctest
- functions
- geometry
- polyhedron
- combinatorial_polyhedron
- graphs
- base
- generators
- groups
- perm_gps/partn_ref
- interfaces
- lfunctions
- manifolds/differentiable
- matrix
- matroids
- misc
- numerical/backends
- plot
- plot3d
- quadratic_forms/genera
- rings
- asymptotic
- padics
- schemes
- cyclic_covers
- elliptic_curves
- hyperelliptic_curves
- sets
- symbolic
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
77 files changed
+409
-359
lines changedLines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + |
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
301 | 301 |
| |
302 | 302 |
| |
303 | 303 |
| |
304 |
| - | |
| 304 | + | |
305 | 305 |
| |
306 | 306 |
| |
307 |
| - | |
| 307 | + | |
308 | 308 |
| |
309 | 309 |
| |
310 | 310 |
| |
|
Lines changed: 18 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1092 | 1092 |
| |
1093 | 1093 |
| |
1094 | 1094 |
| |
1095 |
| - | |
| 1095 | + | |
1096 | 1096 |
| |
1097 |
| - | |
| 1097 | + | |
1098 | 1098 |
| |
1099 | 1099 |
| |
1100 | 1100 |
| |
| |||
1219 | 1219 |
| |
1220 | 1220 |
| |
1221 | 1221 |
| |
| 1222 | + | |
| 1223 | + | |
| 1224 | + | |
| 1225 | + | |
| 1226 | + | |
| 1227 | + | |
| 1228 | + | |
| 1229 | + | |
| 1230 | + | |
| 1231 | + | |
| 1232 | + | |
| 1233 | + | |
| 1234 | + | |
| 1235 | + | |
| 1236 | + | |
| 1237 | + | |
1222 | 1238 |
| |
1223 | 1239 |
| |
1224 | 1240 |
| |
|
Lines changed: 14 additions & 14 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
233 | 233 |
| |
234 | 234 |
| |
235 | 235 |
| |
236 |
| - | |
237 |
| - | |
| 236 | + | |
| 237 | + | |
238 | 238 |
| |
239 | 239 |
| |
240 | 240 |
| |
| |||
305 | 305 |
| |
306 | 306 |
| |
307 | 307 |
| |
308 |
| - | |
309 |
| - | |
| 308 | + | |
| 309 | + | |
310 | 310 |
| |
311 | 311 |
| |
312 | 312 |
| |
313 | 313 |
| |
314 | 314 |
| |
315 | 315 |
| |
316 |
| - | |
| 316 | + | |
317 | 317 |
| |
318 |
| - | |
319 |
| - | |
| 318 | + | |
| 319 | + | |
320 | 320 |
| |
321 | 321 |
| |
322 | 322 |
| |
323 | 323 |
| |
324 | 324 |
| |
325 |
| - | |
326 |
| - | |
327 |
| - | |
| 325 | + | |
| 326 | + | |
| 327 | + | |
328 | 328 |
| |
329 | 329 |
| |
330 | 330 |
| |
331 | 331 |
| |
332 | 332 |
| |
333 |
| - | |
334 |
| - | |
| 333 | + | |
| 334 | + | |
335 | 335 |
| |
336 | 336 |
| |
337 | 337 |
| |
338 | 338 |
| |
339 | 339 |
| |
340 | 340 |
| |
341 |
| - | |
342 |
| - | |
| 341 | + | |
| 342 | + |
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
327 | 327 |
| |
328 | 328 |
| |
329 | 329 |
| |
330 |
| - | |
331 |
| - | |
332 |
| - | |
| 330 | + | |
| 331 | + | |
| 332 | + | |
333 | 333 |
| |
334 | 334 |
| |
335 |
| - | |
| 335 | + | |
336 | 336 |
| |
337 | 337 |
| |
338 | 338 |
| |
|
Lines changed: 11 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
197 | 197 |
| |
198 | 198 |
| |
199 | 199 |
| |
200 |
| - | |
| 200 | + | |
201 | 201 |
| |
202 | 202 |
| |
203 | 203 |
| |
| |||
447 | 447 |
| |
448 | 448 |
| |
449 | 449 |
| |
450 |
| - | |
| 450 | + | |
451 | 451 |
| |
452 | 452 |
| |
453 | 453 |
| |
| |||
472 | 472 |
| |
473 | 473 |
| |
474 | 474 |
| |
475 |
| - | |
| 475 | + | |
476 | 476 |
| |
477 | 477 |
| |
478 | 478 |
| |
479 | 479 |
| |
480 | 480 |
| |
481 | 481 |
| |
482 | 482 |
| |
483 |
| - | |
| 483 | + | |
484 | 484 |
| |
485 | 485 |
| |
486 | 486 |
| |
487 | 487 |
| |
488 | 488 |
| |
489 | 489 |
| |
490 | 490 |
| |
491 |
| - | |
| 491 | + | |
492 | 492 |
| |
493 | 493 |
| |
494 | 494 |
| |
495 | 495 |
| |
496 | 496 |
| |
497 | 497 |
| |
498 |
| - | |
| 498 | + | |
499 | 499 |
| |
500 | 500 |
| |
501 | 501 |
| |
| |||
562 | 562 |
| |
563 | 563 |
| |
564 | 564 |
| |
565 |
| - | |
| 565 | + | |
566 | 566 |
| |
567 | 567 |
| |
568 | 568 |
| |
| |||
596 | 596 |
| |
597 | 597 |
| |
598 | 598 |
| |
599 |
| - | |
| 599 | + | |
600 | 600 |
| |
601 | 601 |
| |
602 | 602 |
| |
603 | 603 |
| |
604 | 604 |
| |
605 | 605 |
| |
606 | 606 |
| |
607 |
| - | |
| 607 | + | |
608 | 608 |
| |
609 | 609 |
| |
610 | 610 |
| |
611 | 611 |
| |
612 | 612 |
| |
613 | 613 |
| |
614 | 614 |
| |
615 |
| - | |
| 615 | + | |
616 | 616 |
| |
617 | 617 |
| |
618 | 618 |
| |
619 | 619 |
| |
620 | 620 |
| |
621 |
| - | |
| 621 | + | |
622 | 622 |
| |
623 | 623 |
| |
624 | 624 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
898 | 898 |
| |
899 | 899 |
| |
900 | 900 |
| |
901 |
| - | |
| 901 | + | |
902 | 902 |
| |
903 | 903 |
| |
904 | 904 |
| |
| |||
913 | 913 |
| |
914 | 914 |
| |
915 | 915 |
| |
916 |
| - | |
| 916 | + | |
917 | 917 |
| |
918 | 918 |
| |
919 | 919 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1937 | 1937 |
| |
1938 | 1938 |
| |
1939 | 1939 |
| |
1940 |
| - | |
1941 |
| - | |
| 1940 | + | |
| 1941 | + | |
1942 | 1942 |
| |
1943 | 1943 |
| |
1944 | 1944 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
193 | 193 |
| |
194 | 194 |
| |
195 | 195 |
| |
196 |
| - | |
197 |
| - | |
198 |
| - | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
199 | 199 |
| |
200 | 200 |
| |
201 | 201 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
772 | 772 |
| |
773 | 773 |
| |
774 | 774 |
| |
775 |
| - | |
776 |
| - | |
| 775 | + | |
| 776 | + | |
777 | 777 |
| |
778 | 778 |
| |
779 | 779 |
| |
| |||
787 | 787 |
| |
788 | 788 |
| |
789 | 789 |
| |
790 |
| - | |
791 |
| - | |
| 790 | + | |
| 791 | + | |
792 | 792 |
| |
793 | 793 |
| |
794 | 794 |
| |
| |||
1262 | 1262 |
| |
1263 | 1263 |
| |
1264 | 1264 |
| |
1265 |
| - | |
| 1265 | + | |
1266 | 1266 |
| |
1267 | 1267 |
| |
1268 | 1268 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2201 | 2201 |
| |
2202 | 2202 |
| |
2203 | 2203 |
| |
2204 |
| - | |
| 2204 | + | |
2205 | 2205 |
| |
2206 | 2206 |
| |
2207 | 2207 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1183 | 1183 |
| |
1184 | 1184 |
| |
1185 | 1185 |
| |
1186 |
| - | |
| 1186 | + | |
1187 | 1187 |
| |
1188 | 1188 |
| |
1189 | 1189 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
668 | 668 |
| |
669 | 669 |
| |
670 | 670 |
| |
671 |
| - | |
672 |
| - | |
| 671 | + | |
| 672 | + | |
673 | 673 |
| |
674 | 674 |
| |
675 | 675 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
541 | 541 |
| |
542 | 542 |
| |
543 | 543 |
| |
544 |
| - | |
| 544 | + | |
545 | 545 |
| |
546 | 546 |
| |
547 | 547 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
399 | 399 |
| |
400 | 400 |
| |
401 | 401 |
| |
402 |
| - | |
| 402 | + | |
403 | 403 |
| |
404 |
| - | |
| 404 | + | |
405 | 405 |
| |
406 | 406 |
| |
407 | 407 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
705 | 705 |
| |
706 | 706 |
| |
707 | 707 |
| |
708 |
| - | |
709 |
| - | |
| 708 | + | |
| 709 | + | |
710 | 710 |
| |
711 | 711 |
| |
712 | 712 |
| |
|
0 commit comments