File tree
8 files changed
+26
-10
lines changed- src
- doc/en/thematic_tutorials/vector_calculus
- sage
- combinat
- doctest
- dynamics/arithmetic_dynamics
- graphs
- groups/perm_gps
- interacts
8 files changed
+26
-10
lines changedLines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
138 | 138 |
| |
139 | 139 |
| |
140 | 140 |
| |
| 141 | + | |
141 | 142 |
| |
142 | 143 |
| |
143 | 144 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
232 | 232 |
| |
233 | 233 |
| |
234 | 234 |
| |
| 235 | + | |
235 | 236 |
| |
236 | 237 |
| |
237 | 238 |
| |
| |||
247 | 248 |
| |
248 | 249 |
| |
249 | 250 |
| |
250 |
| - | |
| 251 | + | |
251 | 252 |
| |
252 | 253 |
| |
253 | 254 |
| |
| |||
260 | 261 |
| |
261 | 262 |
| |
262 | 263 |
| |
| 264 | + | |
263 | 265 |
| |
264 | 266 |
| |
265 | 267 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1313 | 1313 |
| |
1314 | 1314 |
| |
1315 | 1315 |
| |
| 1316 | + | |
1316 | 1317 |
| |
1317 | 1318 |
| |
1318 | 1319 |
| |
|
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2197 | 2197 |
| |
2198 | 2198 |
| |
2199 | 2199 |
| |
| 2200 | + | |
2200 | 2201 |
| |
2201 | 2202 |
| |
2202 | 2203 |
| |
| |||
2321 | 2322 |
| |
2322 | 2323 |
| |
2323 | 2324 |
| |
| 2325 | + | |
2324 | 2326 |
| |
2325 | 2327 |
| |
2326 | 2328 |
| |
| |||
2360 | 2362 |
| |
2361 | 2363 |
| |
2362 | 2364 |
| |
| 2365 | + | |
2363 | 2366 |
| |
2364 | 2367 |
| |
2365 | 2368 |
| |
| |||
2394 | 2397 |
| |
2395 | 2398 |
| |
2396 | 2399 |
| |
| 2400 | + | |
2397 | 2401 |
| |
2398 | 2402 |
| |
2399 | 2403 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6972 | 6972 |
| |
6973 | 6973 |
| |
6974 | 6974 |
| |
6975 |
| - | |
| 6975 | + | |
6976 | 6976 |
| |
6977 | 6977 |
| |
6978 | 6978 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
304 | 304 |
| |
305 | 305 |
| |
306 | 306 |
| |
307 |
| - | |
| 307 | + | |
308 | 308 |
| |
309 | 309 |
| |
310 | 310 |
| |
|
Lines changed: 11 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3505 | 3505 |
| |
3506 | 3506 |
| |
3507 | 3507 |
| |
3508 |
| - | |
| 3508 | + | |
3509 | 3509 |
| |
3510 | 3510 |
| |
3511 | 3511 |
| |
3512 | 3512 |
| |
3513 | 3513 |
| |
3514 | 3514 |
| |
3515 | 3515 |
| |
3516 |
| - | |
3517 |
| - | |
| 3516 | + | |
| 3517 | + | |
| 3518 | + | |
| 3519 | + | |
| 3520 | + | |
| 3521 | + | |
| 3522 | + | |
| 3523 | + | |
| 3524 | + | |
| 3525 | + | |
3518 | 3526 |
| |
3519 | 3527 |
| |
3520 | 3528 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
205 | 205 |
| |
206 | 206 |
| |
207 | 207 |
| |
208 |
| - | |
| 208 | + | |
209 | 209 |
| |
210 | 210 |
| |
211 | 211 |
| |
| |||
218 | 218 |
| |
219 | 219 |
| |
220 | 220 |
| |
221 |
| - | |
| 221 | + | |
222 | 222 |
| |
223 | 223 |
| |
224 | 224 |
| |
| |||
229 | 229 |
| |
230 | 230 |
| |
231 | 231 |
| |
232 |
| - | |
| 232 | + | |
233 | 233 |
| |
234 | 234 |
| |
235 | 235 |
| |
| |||
265 | 265 |
| |
266 | 266 |
| |
267 | 267 |
| |
268 |
| - | |
| 268 | + | |
269 | 269 |
| |
270 | 270 |
| |
271 | 271 |
| |
|
0 commit comments