File tree
7 files changed
+68
-59
lines changed- src/sage/databases
7 files changed
+68
-59
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
220 |
| - | |
| 220 | + | |
221 | 221 |
| |
222 | 222 |
| |
223 | 223 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1494 | 1494 |
| |
1495 | 1495 |
| |
1496 | 1496 |
| |
1497 |
| - | |
1498 |
| - | |
1499 |
| - | |
1500 |
| - | |
| 1497 | + | |
| 1498 | + | |
| 1499 | + | |
| 1500 | + | |
1501 | 1501 |
| |
1502 | 1502 |
| |
1503 | 1503 |
| |
|
Lines changed: 6 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
| 23 | + | |
23 | 24 |
| |
24 |
| - | |
| 25 | + | |
25 | 26 |
| |
26 |
| - | |
| 27 | + | |
27 | 28 |
| |
28 |
| - | |
| 29 | + | |
29 | 30 |
| |
30 |
| - | |
| 31 | + | |
31 | 32 |
| |
32 |
| - | |
| 33 | + | |
33 | 34 |
| |
34 | 35 |
| |
35 | 36 |
| |
|
Lines changed: 17 additions & 14 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1556 | 1556 |
| |
1557 | 1557 |
| |
1558 | 1558 |
| |
1559 |
| - | |
1560 |
| - | |
1561 |
| - | |
| 1559 | + | |
| 1560 | + | |
| 1561 | + | |
| 1562 | + | |
1562 | 1563 |
| |
1563 |
| - | |
| 1564 | + | |
1564 | 1565 |
| |
1565 | 1566 |
| |
1566 | 1567 |
| |
| |||
3280 | 3281 |
| |
3281 | 3282 |
| |
3282 | 3283 |
| |
3283 |
| - | |
3284 |
| - | |
3285 |
| - | |
| 3284 | + | |
| 3285 | + | |
| 3286 | + | |
| 3287 | + | |
3286 | 3288 |
| |
3287 |
| - | |
| 3289 | + | |
3288 | 3290 |
| |
3289 |
| - | |
3290 |
| - | |
| 3291 | + | |
| 3292 | + | |
3291 | 3293 |
| |
3292 | 3294 |
| |
3293 | 3295 |
| |
| |||
4283 | 4285 |
| |
4284 | 4286 |
| |
4285 | 4287 |
| |
| 4288 | + | |
4286 | 4289 |
| |
4287 |
| - | |
4288 |
| - | |
| 4290 | + | |
| 4291 | + | |
4289 | 4292 |
| |
4290 |
| - | |
| 4293 | + | |
4291 | 4294 |
| |
4292 |
| - | |
| 4295 | + | |
4293 | 4296 |
| |
4294 | 4297 |
| |
4295 | 4298 |
| |
|
Lines changed: 6 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
256 | 256 |
| |
257 | 257 |
| |
258 | 258 |
| |
259 |
| - | |
260 |
| - | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
261 | 262 |
| |
262 |
| - | |
| 263 | + | |
263 | 264 |
| |
264 | 265 |
| |
265 | 266 |
| |
266 |
| - | |
| 267 | + | |
267 | 268 |
| |
268 | 269 |
| |
269 | 270 |
| |
270 | 271 |
| |
271 | 272 |
| |
272 |
| - | |
| 273 | + | |
273 | 274 |
| |
274 | 275 |
| |
275 | 276 |
| |
|
Lines changed: 15 additions & 14 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
109 | 109 |
| |
110 | 110 |
| |
111 | 111 |
| |
112 |
| - | |
113 |
| - | |
| 112 | + | |
| 113 | + | |
114 | 114 |
| |
115 | 115 |
| |
116 | 116 |
| |
117 | 117 |
| |
118 |
| - | |
| 118 | + | |
119 | 119 |
| |
120 | 120 |
| |
121 | 121 |
| |
122 |
| - | |
| 122 | + | |
123 | 123 |
| |
124 |
| - | |
| 124 | + | |
125 | 125 |
| |
126 | 126 |
| |
127 |
| - | |
| 127 | + | |
128 | 128 |
| |
129 | 129 |
| |
130 |
| - | |
| 130 | + | |
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
| |||
1033 | 1033 |
| |
1034 | 1034 |
| |
1035 | 1035 |
| |
1036 |
| - | |
1037 |
| - | |
| 1036 | + | |
| 1037 | + | |
1038 | 1038 |
| |
1039 | 1039 |
| |
1040 | 1040 |
| |
| |||
1440 | 1440 |
| |
1441 | 1441 |
| |
1442 | 1442 |
| |
1443 |
| - | |
1444 |
| - | |
| 1443 | + | |
| 1444 | + | |
| 1445 | + | |
1445 | 1446 |
| |
1446 |
| - | |
| 1447 | + | |
1447 | 1448 |
| |
1448 |
| - | |
| 1449 | + | |
1449 | 1450 |
| |
1450 |
| - | |
| 1451 | + | |
1451 | 1452 |
| |
1452 | 1453 |
| |
1453 | 1454 |
| |
|
Lines changed: 19 additions & 16 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
47 |
| - | |
48 |
| - | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
49 | 50 |
| |
50 |
| - | |
| 51 | + | |
51 | 52 |
| |
52 |
| - | |
| 53 | + | |
53 | 54 |
| |
54 | 55 |
| |
55 | 56 |
| |
| |||
58 | 59 |
| |
59 | 60 |
| |
60 | 61 |
| |
61 |
| - | |
| 62 | + | |
| 63 | + | |
62 | 64 |
| |
63 |
| - | |
| 65 | + | |
64 | 66 |
| |
65 | 67 |
| |
66 | 68 |
| |
67 |
| - | |
| 69 | + | |
68 | 70 |
| |
69 |
| - | |
| 71 | + | |
70 | 72 |
| |
71 |
| - | |
| 73 | + | |
72 | 74 |
| |
73 |
| - | |
| 75 | + | |
74 | 76 |
| |
75 |
| - | |
| 77 | + | |
76 | 78 |
| |
77 | 79 |
| |
78 | 80 |
| |
| |||
101 | 103 |
| |
102 | 104 |
| |
103 | 105 |
| |
104 |
| - | |
105 |
| - | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
106 | 109 |
| |
107 |
| - | |
| 110 | + | |
108 | 111 |
| |
109 | 112 |
| |
110 | 113 |
| |
111 | 114 |
| |
112 |
| - | |
113 |
| - | |
| 115 | + | |
| 116 | + | |
114 | 117 |
| |
115 | 118 |
| |
116 | 119 |
| |
|
0 commit comments