File tree
94 files changed
+196
-205
lines changed- src/sage
- categories
- examples
- coding
- source_coding
- combinat
- root_system
- sf
- crypto/mq
- data_structures
- databases
- doctest
- dynamics
- arithmetic_dynamics
- cellular_automata
- complex_dynamics
- features
- functions
- game_theory
- games
- geometry
- groups
- homology
- interfaces
- knots
- lfunctions
- libs
- gap
- singular
- modular
- abvar
- arithgroup
- btquotients
- drinfeld_modform
- pollack_stevens
- parallel
- plot
- quivers
- repl
- display
- ipython_kernel
- rich_output
- rings
- asymptotic
- invariants
- number_field
- padics
- polynomial
- valuation
- sat/converters
- schemes/toric
- sets
- structure
- proof
- symbolic
- tensor/modules
- topology
- typeset
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
94 files changed
+196
-205
lines changedLines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
166 | 166 |
| |
167 | 167 |
| |
168 | 168 |
| |
169 |
| - | |
170 |
| - | |
| 169 | + | |
171 | 170 |
| |
172 | 171 |
| |
173 |
| - | |
| 172 | + | |
174 | 173 |
| |
175 | 174 |
| |
176 | 175 |
| |
| |||
182 | 181 |
| |
183 | 182 |
| |
184 | 183 |
| |
185 |
| - | |
186 |
| - | |
| 184 | + | |
| 185 | + | |
| 186 | + | |
187 | 187 |
| |
188 | 188 |
| |
189 | 189 |
| |
|
Lines changed: 3 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3055 | 3055 |
| |
3056 | 3056 |
| |
3057 | 3057 |
| |
3058 |
| - | |
3059 |
| - | |
3060 |
| - | |
3061 |
| - | |
| 3058 | + | |
| 3059 | + | |
3062 | 3060 |
| |
3063 | 3061 |
| |
3064 |
| - | |
| 3062 | + | |
3065 | 3063 |
| |
3066 | 3064 |
| |
3067 | 3065 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
737 | 737 |
| |
738 | 738 |
| |
739 | 739 |
| |
740 |
| - | |
| 740 | + | |
741 | 741 |
| |
742 | 742 |
| |
743 | 743 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
394 | 394 |
| |
395 | 395 |
| |
396 | 396 |
| |
397 |
| - | |
| 397 | + | |
398 | 398 |
| |
399 | 399 |
| |
400 | 400 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3533 | 3533 |
| |
3534 | 3534 |
| |
3535 | 3535 |
| |
3536 |
| - | |
3537 |
| - | |
| 3536 | + | |
3538 | 3537 |
| |
3539 | 3538 |
| |
3540 | 3539 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
525 | 525 |
| |
526 | 526 |
| |
527 | 527 |
| |
528 |
| - | |
| 528 | + | |
529 | 529 |
| |
530 | 530 |
| |
531 | 531 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1982 | 1982 |
| |
1983 | 1983 |
| |
1984 | 1984 |
| |
1985 |
| - | |
| 1985 | + | |
1986 | 1986 |
| |
1987 | 1987 |
| |
1988 | 1988 |
| |
|
Lines changed: 16 additions & 16 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
613 | 613 |
| |
614 | 614 |
| |
615 | 615 |
| |
616 |
| - | |
617 |
| - | |
| 616 | + | |
| 617 | + | |
618 | 618 |
| |
619 | 619 |
| |
620 | 620 |
| |
| |||
981 | 981 |
| |
982 | 982 |
| |
983 | 983 |
| |
984 |
| - | |
985 |
| - | |
| 984 | + | |
| 985 | + | |
986 | 986 |
| |
987 | 987 |
| |
988 | 988 |
| |
| |||
1057 | 1057 |
| |
1058 | 1058 |
| |
1059 | 1059 |
| |
1060 |
| - | |
1061 |
| - | |
| 1060 | + | |
| 1061 | + | |
1062 | 1062 |
| |
1063 | 1063 |
| |
1064 | 1064 |
| |
| |||
1072 | 1072 |
| |
1073 | 1073 |
| |
1074 | 1074 |
| |
1075 |
| - | |
1076 |
| - | |
| 1075 | + | |
| 1076 | + | |
1077 | 1077 |
| |
1078 | 1078 |
| |
1079 | 1079 |
| |
| |||
1874 | 1874 |
| |
1875 | 1875 |
| |
1876 | 1876 |
| |
1877 |
| - | |
1878 |
| - | |
| 1877 | + | |
| 1878 | + | |
1879 | 1879 |
| |
1880 | 1880 |
| |
1881 | 1881 |
| |
| |||
1910 | 1910 |
| |
1911 | 1911 |
| |
1912 | 1912 |
| |
1913 |
| - | |
1914 |
| - | |
| 1913 | + | |
| 1914 | + | |
1915 | 1915 |
| |
1916 | 1916 |
| |
1917 | 1917 |
| |
| |||
2010 | 2010 |
| |
2011 | 2011 |
| |
2012 | 2012 |
| |
2013 |
| - | |
2014 |
| - | |
| 2013 | + | |
| 2014 | + | |
2015 | 2015 |
| |
2016 | 2016 |
| |
2017 | 2017 |
| |
| |||
2109 | 2109 |
| |
2110 | 2110 |
| |
2111 | 2111 |
| |
2112 |
| - | |
2113 |
| - | |
| 2112 | + | |
| 2113 | + | |
2114 | 2114 |
| |
2115 | 2115 |
| |
2116 | 2116 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
107 | 107 |
| |
108 | 108 |
| |
109 | 109 |
| |
110 |
| - | |
| 110 | + | |
111 | 111 |
| |
112 | 112 |
| |
113 | 113 |
| |
| |||
2410 | 2410 |
| |
2411 | 2411 |
| |
2412 | 2412 |
| |
2413 |
| - | |
| 2413 | + | |
2414 | 2414 |
| |
2415 | 2415 |
| |
2416 | 2416 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1122 | 1122 |
| |
1123 | 1123 |
| |
1124 | 1124 |
| |
1125 |
| - | |
1126 |
| - | |
| 1125 | + | |
| 1126 | + | |
1127 | 1127 |
| |
1128 |
| - | |
| 1128 | + | |
1129 | 1129 |
| |
1130 | 1130 |
| |
1131 | 1131 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4352 | 4352 |
| |
4353 | 4353 |
| |
4354 | 4354 |
| |
4355 |
| - | |
| 4355 | + | |
4356 | 4356 |
| |
4357 | 4357 |
| |
4358 | 4358 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
254 | 254 |
| |
255 | 255 |
| |
256 | 256 |
| |
257 |
| - | |
| 257 | + | |
258 | 258 |
| |
259 | 259 |
| |
260 | 260 |
| |
| |||
482 | 482 |
| |
483 | 483 |
| |
484 | 484 |
| |
485 |
| - | |
| 485 | + | |
486 | 486 |
| |
487 | 487 |
| |
488 | 488 |
| |
| |||
2164 | 2164 |
| |
2165 | 2165 |
| |
2166 | 2166 |
| |
2167 |
| - | |
| 2167 | + | |
2168 | 2168 |
| |
2169 | 2169 |
| |
2170 | 2170 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
341 | 341 |
| |
342 | 342 |
| |
343 | 343 |
| |
344 |
| - | |
| 344 | + | |
345 | 345 |
| |
346 | 346 |
| |
347 | 347 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
379 | 379 |
| |
380 | 380 |
| |
381 | 381 |
| |
382 |
| - | |
| 382 | + | |
383 | 383 |
| |
384 | 384 |
| |
385 | 385 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
112 | 112 |
| |
113 | 113 |
| |
114 | 114 |
| |
115 |
| - | |
| 115 | + | |
116 | 116 |
| |
117 | 117 |
| |
118 | 118 |
| |
| |||
223 | 223 |
| |
224 | 224 |
| |
225 | 225 |
| |
226 |
| - | |
| 226 | + | |
227 | 227 |
| |
228 | 228 |
| |
229 | 229 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2476 | 2476 |
| |
2477 | 2477 |
| |
2478 | 2478 |
| |
2479 |
| - | |
| 2479 | + | |
2480 | 2480 |
| |
2481 | 2481 |
| |
2482 | 2482 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
652 | 652 |
| |
653 | 653 |
| |
654 | 654 |
| |
655 |
| - | |
| 655 | + | |
656 | 656 |
| |
657 | 657 |
| |
658 | 658 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
124 | 124 |
| |
125 | 125 |
| |
126 | 126 |
| |
127 |
| - | |
| 127 | + | |
128 | 128 |
| |
129 | 129 |
| |
130 | 130 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
869 | 869 |
| |
870 | 870 |
| |
871 | 871 |
| |
872 |
| - | |
| 872 | + | |
873 | 873 |
| |
874 | 874 |
| |
875 | 875 |
| |
|
Lines changed: 9 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
363 | 363 |
| |
364 | 364 |
| |
365 | 365 |
| |
366 |
| - | |
| 366 | + | |
367 | 367 |
| |
368 | 368 |
| |
369 |
| - | |
370 |
| - | |
| 369 | + | |
| 370 | + | |
371 | 371 |
| |
372 | 372 |
| |
373 |
| - | |
374 |
| - | |
| 373 | + | |
| 374 | + | |
375 | 375 |
| |
376 |
| - | |
| 376 | + | |
377 | 377 |
| |
378 | 378 |
| |
379 |
| - | |
380 |
| - | |
| 379 | + | |
| 380 | + | |
381 | 381 |
| |
382 | 382 |
| |
383 |
| - | |
| 383 | + | |
384 | 384 |
| |
385 | 385 |
| |
386 | 386 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
430 | 430 |
| |
431 | 431 |
| |
432 | 432 |
| |
| 433 | + | |
433 | 434 |
| |
434 | 435 |
| |
435 | 436 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
337 | 337 |
| |
338 | 338 |
| |
339 | 339 |
| |
340 |
| - | |
| 340 | + | |
341 | 341 |
| |
342 | 342 |
| |
343 | 343 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
467 | 467 |
| |
468 | 468 |
| |
469 | 469 |
| |
470 |
| - | |
| 470 | + | |
471 | 471 |
| |
472 | 472 |
| |
473 | 473 |
| |
|
0 commit comments