File tree
50 files changed
+73
-73
lines changed- src
- bin
- sage
- algebras/lie_algebras
- categories
- coding
- combinat
- doctest
- dynamics
- functions
- graphs
- groups
- homology
- matrix
- media
- misc
- rings
- asymptotic
- padics
- polynomial
- padics
- structure
- tests
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
50 files changed
+73
-73
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
169 | 169 |
| |
170 | 170 |
| |
171 | 171 |
| |
172 |
| - | |
| 172 | + | |
173 | 173 |
| |
174 | 174 |
| |
175 | 175 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
59 | 59 |
| |
60 | 60 |
| |
61 | 61 |
| |
62 |
| - | |
| 62 | + | |
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
273 | 273 |
| |
274 | 274 |
| |
275 | 275 |
| |
276 |
| - | |
| 276 | + | |
277 | 277 |
| |
278 | 278 |
| |
279 | 279 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
95 | 95 |
| |
96 | 96 |
| |
97 | 97 |
| |
98 |
| - | |
| 98 | + | |
99 | 99 |
| |
100 | 100 |
| |
101 | 101 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
54 | 54 |
| |
55 | 55 |
| |
56 | 56 |
| |
57 |
| - | |
| 57 | + | |
58 | 58 |
| |
59 | 59 |
| |
60 | 60 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
109 | 109 |
| |
110 | 110 |
| |
111 | 111 |
| |
112 |
| - | |
| 112 | + | |
113 | 113 |
| |
114 | 114 |
| |
115 | 115 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
544 | 544 |
| |
545 | 545 |
| |
546 | 546 |
| |
547 |
| - | |
| 547 | + | |
548 | 548 |
| |
549 | 549 |
| |
550 | 550 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
21 |
| - | |
| 21 | + | |
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
38 | 38 |
| |
39 | 39 |
| |
40 | 40 |
| |
41 |
| - | |
| 41 | + | |
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
214 | 214 |
| |
215 | 215 |
| |
216 | 216 |
| |
217 |
| - | |
| 217 | + | |
218 | 218 |
| |
219 | 219 |
| |
220 | 220 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 |
| - | |
| 28 | + | |
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
| 12 | + | |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11253 | 11253 |
| |
11254 | 11254 |
| |
11255 | 11255 |
| |
11256 |
| - | |
| 11256 | + | |
11257 | 11257 |
| |
11258 | 11258 |
| |
11259 | 11259 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
39 |
| - | |
| 39 | + | |
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 |
| - | |
| 15 | + | |
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
22 |
| - | |
| 22 | + | |
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
| |||
86 | 86 |
| |
87 | 87 |
| |
88 | 88 |
| |
89 |
| - | |
| 89 | + | |
90 | 90 |
| |
91 | 91 |
| |
92 | 92 |
| |
| |||
146 | 146 |
| |
147 | 147 |
| |
148 | 148 |
| |
149 |
| - | |
| 149 | + | |
150 | 150 |
| |
151 | 151 |
| |
152 | 152 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9936 | 9936 |
| |
9937 | 9937 |
| |
9938 | 9938 |
| |
9939 |
| - | |
| 9939 | + | |
9940 | 9940 |
| |
9941 | 9941 |
| |
9942 | 9942 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1884 | 1884 |
| |
1885 | 1885 |
| |
1886 | 1886 |
| |
1887 |
| - | |
| 1887 | + | |
1888 | 1888 |
| |
1889 | 1889 |
| |
1890 | 1890 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
34 |
| - | |
| 34 | + | |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1875 | 1875 |
| |
1876 | 1876 |
| |
1877 | 1877 |
| |
1878 |
| - | |
| 1878 | + | |
1879 | 1879 |
| |
1880 | 1880 |
| |
1881 | 1881 |
| |
| |||
2707 | 2707 |
| |
2708 | 2708 |
| |
2709 | 2709 |
| |
2710 |
| - | |
| 2710 | + | |
2711 | 2711 |
| |
2712 | 2712 |
| |
2713 | 2713 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
641 | 641 |
| |
642 | 642 |
| |
643 | 643 |
| |
644 |
| - | |
| 644 | + | |
645 | 645 |
| |
646 | 646 |
| |
647 | 647 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1243 | 1243 |
| |
1244 | 1244 |
| |
1245 | 1245 |
| |
1246 |
| - | |
| 1246 | + | |
1247 | 1247 |
| |
1248 | 1248 |
| |
1249 | 1249 |
| |
| |||
1372 | 1372 |
| |
1373 | 1373 |
| |
1374 | 1374 |
| |
1375 |
| - | |
| 1375 | + | |
1376 | 1376 |
| |
1377 | 1377 |
| |
1378 | 1378 |
| |
| |||
1500 | 1500 |
| |
1501 | 1501 |
| |
1502 | 1502 |
| |
1503 |
| - | |
| 1503 | + | |
1504 | 1504 |
| |
1505 | 1505 |
| |
1506 | 1506 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1043 | 1043 |
| |
1044 | 1044 |
| |
1045 | 1045 |
| |
1046 |
| - | |
| 1046 | + | |
1047 | 1047 |
| |
1048 | 1048 |
| |
1049 | 1049 |
| |
1050 | 1050 |
| |
1051 | 1051 |
| |
1052 | 1052 |
| |
1053 | 1053 |
| |
1054 |
| - | |
| 1054 | + | |
1055 | 1055 |
| |
1056 | 1056 |
| |
1057 | 1057 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1095 | 1095 |
| |
1096 | 1096 |
| |
1097 | 1097 |
| |
1098 |
| - | |
| 1098 | + | |
1099 | 1099 |
| |
1100 | 1100 |
| |
1101 | 1101 |
| |
| |||
1277 | 1277 |
| |
1278 | 1278 |
| |
1279 | 1279 |
| |
1280 |
| - | |
| 1280 | + | |
1281 | 1281 |
| |
1282 | 1282 |
| |
1283 | 1283 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
527 | 527 |
| |
528 | 528 |
| |
529 | 529 |
| |
530 |
| - | |
| 530 | + | |
531 | 531 |
| |
532 | 532 |
| |
533 | 533 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
404 | 404 |
| |
405 | 405 |
| |
406 | 406 |
| |
407 |
| - | |
| 407 | + | |
408 | 408 |
| |
409 | 409 |
| |
410 | 410 |
| |
| |||
1654 | 1654 |
| |
1655 | 1655 |
| |
1656 | 1656 |
| |
1657 |
| - | |
| 1657 | + | |
1658 | 1658 |
| |
1659 | 1659 |
| |
1660 | 1660 |
| |
| |||
1668 | 1668 |
| |
1669 | 1669 |
| |
1670 | 1670 |
| |
1671 |
| - | |
| 1671 | + | |
1672 | 1672 |
| |
1673 | 1673 |
| |
1674 | 1674 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
285 | 285 |
| |
286 | 286 |
| |
287 | 287 |
| |
288 |
| - | |
| 288 | + | |
289 | 289 |
| |
290 | 290 |
| |
291 | 291 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
| 12 | + | |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
196 | 196 |
| |
197 | 197 |
| |
198 | 198 |
| |
199 |
| - | |
| 199 | + | |
200 | 200 |
| |
201 | 201 |
| |
202 | 202 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
268 | 268 |
| |
269 | 269 |
| |
270 | 270 |
| |
271 |
| - | |
| 271 | + | |
272 | 272 |
| |
273 | 273 |
| |
274 | 274 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
108 | 108 |
| |
109 | 109 |
| |
110 | 110 |
| |
111 |
| - | |
| 111 | + | |
112 | 112 |
| |
113 | 113 |
| |
114 | 114 |
| |
|
0 commit comments