File tree
22 files changed
+91
-83
lines changed- src/sage
- coding
- groups
- abelian_gps
- affine_gps
- matrix_gps
- perm_gps
- partn_ref
22 files changed
+91
-83
lines changedLines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 |
| - | |
31 |
| - | |
| 30 | + | |
| 31 | + | |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4103 | 4103 |
| |
4104 | 4104 |
| |
4105 | 4105 |
| |
4106 |
| - | |
| 4106 | + | |
4107 | 4107 |
| |
4108 | 4108 |
| |
4109 | 4109 |
| |
|
Lines changed: 6 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
173 | 173 |
| |
174 | 174 |
| |
175 | 175 |
| |
| 176 | + | |
176 | 177 |
| |
177 |
| - | |
178 |
| - | |
179 |
| - | |
180 | 178 |
| |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
181 | 184 |
| |
182 | 185 |
| |
183 | 186 |
| |
|
Lines changed: 6 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
43 |
| - | |
44 |
| - | |
45 |
| - | |
46 |
| - | |
47 |
| - | |
48 |
| - | |
| 43 | + | |
49 | 44 |
| |
| 45 | + | |
50 | 46 |
| |
51 |
| - | |
| 47 | + | |
52 | 48 |
| |
53 | 49 |
| |
54 | 50 |
| |
55 |
| - | |
56 | 51 |
| |
| 52 | + | |
| 53 | + | |
57 | 54 |
| |
58 | 55 |
| |
59 | 56 |
| |
| |||
753 | 750 |
| |
754 | 751 |
| |
755 | 752 |
| |
756 |
| - | |
| 753 | + | |
757 | 754 |
| |
758 | 755 |
| |
759 | 756 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
44 |
| - | |
| 44 | + | |
45 | 45 |
| |
46 | 46 |
| |
47 | 47 |
| |
48 |
| - | |
| 48 | + | |
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
|
Lines changed: 3 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
102 | 102 |
| |
103 | 103 |
| |
104 | 104 |
| |
105 |
| - | |
| 105 | + | |
106 | 106 |
| |
107 | 107 |
| |
108 | 108 |
| |
| |||
171 | 171 |
| |
172 | 172 |
| |
173 | 173 |
| |
174 |
| - | |
| 174 | + | |
175 | 175 |
| |
176 | 176 |
| |
177 | 177 |
| |
| |||
275 | 275 |
| |
276 | 276 |
| |
277 | 277 |
| |
278 |
| - | |
| 278 | + | |
279 | 279 |
| |
280 | 280 |
| |
281 | 281 |
| |
| |||
602 | 602 |
| |
603 | 603 |
| |
604 | 604 |
| |
605 |
| - | |
606 | 605 |
| |
607 | 606 |
| |
608 | 607 |
| |
|
Lines changed: 5 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
43 |
| - | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
44 | 48 |
| |
45 | 49 |
| |
46 | 50 |
| |
|
Lines changed: 18 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
205 | 205 |
| |
206 | 206 |
| |
207 | 207 |
| |
208 |
| - | |
209 | 208 |
| |
| 209 | + | |
210 | 210 |
| |
211 |
| - | |
| 211 | + | |
212 | 212 |
| |
213 | 213 |
| |
| 214 | + | |
| 215 | + | |
| 216 | + | |
| 217 | + | |
| 218 | + | |
| 219 | + | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
214 | 223 |
| |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
215 | 228 |
| |
216 | 229 |
| |
217 |
| - | |
218 |
| - | |
219 |
| - | |
220 |
| - | |
| 230 | + | |
| 231 | + | |
221 | 232 |
| |
222 | 233 |
| |
223 |
| - | |
224 |
| - | |
225 |
| - | |
226 |
| - | |
227 |
| - | |
228 |
| - | |
229 |
| - | |
230 |
| - | |
231 |
| - | |
232 |
| - | |
233 |
| - | |
| 234 | + | |
234 | 235 |
| |
235 | 236 |
| |
236 | 237 |
| |
|
Lines changed: 11 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
202 | 202 |
| |
203 | 203 |
| |
204 | 204 |
| |
205 |
| - | |
206 |
| - | |
207 |
| - | |
208 |
| - | |
209 |
| - | |
210 |
| - | |
| 205 | + | |
| 206 | + | |
| 207 | + | |
211 | 208 |
| |
212 |
| - | |
213 |
| - | |
214 |
| - | |
215 | 209 |
| |
216 |
| - | |
217 | 210 |
| |
218 | 211 |
| |
| 212 | + | |
| 213 | + | |
| 214 | + | |
219 | 215 |
| |
| 216 | + | |
| 217 | + | |
| 218 | + | |
| 219 | + | |
| 220 | + | |
220 | 221 |
| |
221 | 222 |
| |
222 | 223 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
55 |
| - | |
| 55 | + | |
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
|
0 commit comments