File tree
25 files changed
+269
-244
lines changed- src/sage/interfaces
25 files changed
+269
-244
lines changedLines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Lines changed: 6 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
| 22 | + | |
| 23 | + | |
22 | 24 |
| |
23 | 25 |
| |
24 | 26 |
| |
| |||
394 | 396 |
| |
395 | 397 |
| |
396 | 398 |
| |
397 |
| - | |
| 399 | + | |
398 | 400 |
| |
399 | 401 |
| |
400 | 402 |
| |
| |||
512 | 514 |
| |
513 | 515 |
| |
514 | 516 |
| |
| 517 | + | |
515 | 518 |
| |
516 | 519 |
| |
517 | 520 |
| |
| |||
743 | 746 |
| |
744 | 747 |
| |
745 | 748 |
| |
| 749 | + | |
746 | 750 |
| |
747 | 751 |
| |
748 | 752 |
| |
| |||
829 | 833 |
| |
830 | 834 |
| |
831 | 835 |
| |
| 836 | + | |
832 | 837 |
| |
833 | 838 |
| |
834 | 839 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
104 | 104 |
| |
105 | 105 |
| |
106 | 106 |
| |
107 |
| - | |
| 107 | + | |
108 | 108 |
| |
109 | 109 |
| |
110 | 110 |
| |
|
Lines changed: 3 additions & 3 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 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
14 |
| - | |
| 13 | + | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
40 |
| - | |
| 40 | + | |
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
| |||
46 | 46 |
| |
47 | 47 |
| |
48 | 48 |
| |
| 49 | + | |
49 | 50 |
| |
50 | 51 |
| |
51 | 52 |
| |
|
Lines changed: 9 additions & 8 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 |
| |
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 |
| - | |
18 |
| - | |
| 17 | + | |
| 18 | + | |
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
| 24 | + | |
24 | 25 |
| |
25 | 26 |
| |
26 | 27 |
| |
| |||
84 | 85 |
| |
85 | 86 |
| |
86 | 87 |
| |
87 |
| - | |
| 88 | + | |
88 | 89 |
| |
89 | 90 |
| |
90 | 91 |
| |
| |||
93 | 94 |
| |
94 | 95 |
| |
95 | 96 |
| |
96 |
| - | |
| 97 | + | |
97 | 98 |
| |
98 | 99 |
| |
99 | 100 |
| |
| |||
109 | 110 |
| |
110 | 111 |
| |
111 | 112 |
| |
112 |
| - | |
| 113 | + | |
113 | 114 |
| |
114 | 115 |
| |
115 | 116 |
| |
| |||
126 | 127 |
| |
127 | 128 |
| |
128 | 129 |
| |
129 |
| - | |
| 130 | + | |
130 | 131 |
| |
131 | 132 |
| |
132 | 133 |
| |
| |||
172 | 173 |
| |
173 | 174 |
| |
174 | 175 |
| |
175 |
| - | |
| 176 | + | |
176 | 177 |
| |
177 | 178 |
| |
178 | 179 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
139 |
| - | |
| 139 | + | |
140 | 140 |
| |
141 | 141 |
| |
142 | 142 |
| |
|
Lines changed: 11 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
27 |
| - | |
| 27 | + | |
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
| |||
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
40 |
| - | |
| 40 | + | |
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
| |||
282 | 282 |
| |
283 | 283 |
| |
284 | 284 |
| |
285 |
| - | |
286 |
| - | |
| 285 | + | |
| 286 | + | |
287 | 287 |
| |
288 | 288 |
| |
289 | 289 |
| |
290 | 290 |
| |
291 |
| - | |
292 |
| - | |
| 291 | + | |
| 292 | + | |
293 | 293 |
| |
294 | 294 |
| |
295 | 295 |
| |
| |||
471 | 471 |
| |
472 | 472 |
| |
473 | 473 |
| |
474 |
| - | |
| 474 | + | |
475 | 475 |
| |
476 | 476 |
| |
477 | 477 |
| |
| |||
613 | 613 |
| |
614 | 614 |
| |
615 | 615 |
| |
616 |
| - | |
| 616 | + | |
617 | 617 |
| |
618 | 618 |
| |
619 | 619 |
| |
| |||
1016 | 1016 |
| |
1017 | 1017 |
| |
1018 | 1018 |
| |
1019 |
| - | |
| 1019 | + | |
1020 | 1020 |
| |
1021 | 1021 |
| |
1022 | 1022 |
| |
| |||
1053 | 1053 |
| |
1054 | 1054 |
| |
1055 | 1055 |
| |
1056 |
| - | |
| 1056 | + | |
1057 | 1057 |
| |
1058 |
| - | |
| 1058 | + | |
1059 | 1059 |
| |
1060 | 1060 |
| |
1061 | 1061 |
| |
|
Lines changed: 15 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1303 | 1303 |
| |
1304 | 1304 |
| |
1305 | 1305 |
| |
1306 |
| - | |
1307 |
| - | |
| 1306 | + | |
| 1307 | + | |
| 1308 | + | |
| 1309 | + | |
1308 | 1310 |
| |
1309 | 1311 |
| |
1310 | 1312 |
| |
1311 | 1313 |
| |
1312 | 1314 |
| |
1313 | 1315 |
| |
1314 |
| - | |
1315 | 1316 |
| |
1316 | 1317 |
| |
1317 | 1318 |
| |
1318 | 1319 |
| |
1319 |
| - | |
1320 |
| - | |
| 1320 | + | |
| 1321 | + | |
| 1322 | + | |
| 1323 | + | |
1321 | 1324 |
| |
1322 | 1325 |
| |
1323 | 1326 |
| |
1324 | 1327 |
| |
1325 | 1328 |
| |
1326 | 1329 |
| |
1327 |
| - | |
1328 | 1330 |
| |
1329 | 1331 |
| |
1330 | 1332 |
| |
1331 | 1333 |
| |
1332 |
| - | |
| 1334 | + | |
1333 | 1335 |
| |
1334 | 1336 |
| |
1335 | 1337 |
| |
| |||
1340 | 1342 |
| |
1341 | 1343 |
| |
1342 | 1344 |
| |
1343 |
| - | |
| 1345 | + | |
1344 | 1346 |
| |
1345 | 1347 |
| |
1346 | 1348 |
| |
| |||
1351 | 1353 |
| |
1352 | 1354 |
| |
1353 | 1355 |
| |
1354 |
| - | |
| 1356 | + | |
1355 | 1357 |
| |
1356 | 1358 |
| |
1357 | 1359 |
| |
| |||
1362 | 1364 |
| |
1363 | 1365 |
| |
1364 | 1366 |
| |
1365 |
| - | |
| 1367 | + | |
1366 | 1368 |
| |
1367 | 1369 |
| |
1368 | 1370 |
| |
| |||
1375 | 1377 |
| |
1376 | 1378 |
| |
1377 | 1379 |
| |
1378 |
| - | |
| 1380 | + | |
1379 | 1381 |
| |
1380 | 1382 |
| |
1381 | 1383 |
| |
| |||
1386 | 1388 |
| |
1387 | 1389 |
| |
1388 | 1390 |
| |
1389 |
| - | |
| 1391 | + | |
1390 | 1392 |
| |
1391 | 1393 |
| |
1392 | 1394 |
| |
| |||
1642 | 1644 |
| |
1643 | 1645 |
| |
1644 | 1646 |
| |
| 1647 | + | |
1645 | 1648 |
| |
1646 | 1649 |
| |
1647 | 1650 |
| |
|
0 commit comments