File tree
30 files changed
+36
-51
lines changed- src/sage/categories
- examples
30 files changed
+36
-51
lines changedLines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 | 1 |
| |
3 | 2 |
| |
4 | 3 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
19 |
| - | |
| 19 | + | |
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
|
Lines changed: 3 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2647 | 2647 |
| |
2648 | 2648 |
| |
2649 | 2649 |
| |
2650 |
| - | |
2651 |
| - | |
2652 |
| - | |
| 2650 | + | |
| 2651 | + | |
2653 | 2652 |
| |
2654 | 2653 |
| |
2655 | 2654 |
| |
| |||
2859 | 2858 |
| |
2860 | 2859 |
| |
2861 | 2860 |
| |
2862 |
| - | |
| 2861 | + | |
2863 | 2862 |
| |
2864 | 2863 |
| |
2865 | 2864 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
354 | 354 |
| |
355 | 355 |
| |
356 | 356 |
| |
357 |
| - | |
| 357 | + | |
358 | 358 |
| |
359 | 359 |
| |
360 | 360 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
145 | 145 |
| |
146 | 146 |
| |
147 | 147 |
| |
148 |
| - | |
| 148 | + | |
149 | 149 |
| |
150 | 150 |
| |
151 | 151 |
| |
|
Lines changed: 5 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 | 1 |
| |
3 | 2 |
| |
4 | 3 |
| |
| |||
633 | 632 |
| |
634 | 633 |
| |
635 | 634 |
| |
636 |
| - | |
637 |
| - | |
| 635 | + | |
| 636 | + | |
638 | 637 |
| |
639 | 638 |
| |
640 | 639 |
| |
| |||
1061 | 1060 |
| |
1062 | 1061 |
| |
1063 | 1062 |
| |
1064 |
| - | |
| 1063 | + | |
1065 | 1064 |
| |
1066 | 1065 |
| |
1067 | 1066 |
| |
| |||
1263 | 1262 |
| |
1264 | 1263 |
| |
1265 | 1264 |
| |
1266 |
| - | |
1267 |
| - | |
| 1265 | + | |
| 1266 | + | |
1268 | 1267 |
| |
1269 | 1268 |
| |
1270 | 1269 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2082 | 2082 |
| |
2083 | 2083 |
| |
2084 | 2084 |
| |
2085 |
| - | |
| 2085 | + | |
2086 | 2086 |
| |
2087 | 2087 |
| |
2088 | 2088 |
| |
| |||
2239 | 2239 |
| |
2240 | 2240 |
| |
2241 | 2241 |
| |
2242 |
| - | |
| 2242 | + | |
2243 | 2243 |
| |
2244 | 2244 |
| |
2245 | 2245 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
164 | 164 |
| |
165 | 165 |
| |
166 | 166 |
| |
167 |
| - | |
168 |
| - | |
| 167 | + | |
| 168 | + | |
169 | 169 |
| |
170 | 170 |
| |
171 | 171 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
269 | 269 |
| |
270 | 270 |
| |
271 | 271 |
| |
272 |
| - | |
| 272 | + | |
273 | 273 |
| |
274 | 274 |
| |
275 | 275 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 | 1 |
| |
3 | 2 |
| |
4 | 3 |
| |
|
0 commit comments