File tree
17 files changed
+51
-57
lines changed- build/pkgs/configure
- src/sage
- combinat
- cluster_algebra_quiver
- posets
- groups/abelian_gps
- modular
- modules/fg_pid
- schemes
- affine
- elliptic_curves
- projective
- symbolic
17 files changed
+51
-57
lines changedLines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
3 |
| - | |
4 |
| - | |
| 2 | + | |
| 3 | + | |
| 4 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 3 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
39 |
| - | |
40 | 39 |
| |
| 40 | + | |
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
| |||
46 | 46 |
| |
47 | 47 |
| |
48 | 48 |
| |
49 |
| - | |
50 | 49 |
| |
51 | 50 |
| |
52 | 51 |
| |
| |||
2109 | 2108 |
| |
2110 | 2109 |
| |
2111 | 2110 |
| |
2112 |
| - | |
2113 |
| - | |
| 2111 | + | |
| 2112 | + | |
2114 | 2113 |
| |
2115 | 2114 |
| |
2116 | 2115 |
| |
|
Lines changed: 3 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
51 |
| - | |
| 51 | + | |
| 52 | + | |
52 | 53 |
| |
53 | 54 |
| |
54 | 55 |
| |
| |||
1408 | 1409 |
| |
1409 | 1410 |
| |
1410 | 1411 |
| |
1411 |
| - | |
1412 |
| - | |
1413 | 1412 |
| |
1414 | 1413 |
| |
1415 | 1414 |
| |
1416 | 1415 |
| |
1417 | 1416 |
| |
1418 | 1417 |
| |
1419 | 1418 |
| |
1420 |
| - | |
1421 |
| - | |
| 1419 | + | |
1422 | 1420 |
| |
1423 | 1421 |
| |
1424 | 1422 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
23 | 23 |
| |
24 | 24 |
| |
25 | 25 |
| |
| 26 | + | |
26 | 27 |
| |
27 | 28 |
| |
28 | 29 |
| |
| |||
1523 | 1524 |
| |
1524 | 1525 |
| |
1525 | 1526 |
| |
1526 |
| - | |
1527 |
| - | |
| 1527 | + | |
1528 | 1528 |
| |
1529 | 1529 |
| |
1530 | 1530 |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
288 | 288 |
| |
289 | 289 |
| |
290 | 290 |
| |
| 291 | + | |
291 | 292 |
| |
292 | 293 |
| |
293 | 294 |
| |
| |||
5296 | 5297 |
| |
5297 | 5298 |
| |
5298 | 5299 |
| |
5299 |
| - | |
5300 | 5300 |
| |
5301 | 5301 |
| |
5302 | 5302 |
| |
| |||
5327 | 5327 |
| |
5328 | 5328 |
| |
5329 | 5329 |
| |
5330 |
| - | |
| 5330 | + | |
5331 | 5331 |
| |
5332 | 5332 |
| |
5333 | 5333 |
| |
|
Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
201 | 201 |
| |
202 | 202 |
| |
203 | 203 |
| |
| 204 | + | |
204 | 205 |
| |
205 | 206 |
| |
206 | 207 |
| |
| |||
211 | 212 |
| |
212 | 213 |
| |
213 | 214 |
| |
214 |
| - | |
| 215 | + | |
215 | 216 |
| |
216 | 217 |
| |
217 | 218 |
| |
| |||
1498 | 1499 |
| |
1499 | 1500 |
| |
1500 | 1501 |
| |
1501 |
| - | |
| 1502 | + | |
1502 | 1503 |
| |
1503 | 1504 |
| |
1504 | 1505 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
168 | 168 |
| |
169 | 169 |
| |
170 | 170 |
| |
| 171 | + | |
171 | 172 |
| |
172 | 173 |
| |
173 | 174 |
| |
174 | 175 |
| |
175 |
| - | |
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
| |||
578 | 578 |
| |
579 | 579 |
| |
580 | 580 |
| |
581 |
| - | |
| 581 | + | |
582 | 582 |
| |
583 | 583 |
| |
584 | 584 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
211 | 211 |
| |
212 | 212 |
| |
213 | 213 |
| |
| 214 | + | |
214 | 215 |
| |
215 | 216 |
| |
216 | 217 |
| |
| |||
1835 | 1836 |
| |
1836 | 1837 |
| |
1837 | 1838 |
| |
1838 |
| - | |
1839 |
| - | |
| 1839 | + | |
1840 | 1840 |
| |
1841 | 1841 |
| |
1842 | 1842 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
50 | 50 |
| |
51 | 51 |
| |
52 | 52 |
| |
| 53 | + | |
53 | 54 |
| |
54 | 55 |
| |
55 | 56 |
| |
56 |
| - | |
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
| |||
300 | 300 |
| |
301 | 301 |
| |
302 | 302 |
| |
303 |
| - | |
| 303 | + | |
304 | 304 |
| |
305 | 305 |
| |
306 | 306 |
| |
|
0 commit comments