File tree
17 files changed
+41
-36
lines changed- src/sage/manifolds
- differentiable
17 files changed
+41
-36
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2165 | 2165 |
| |
2166 | 2166 |
| |
2167 | 2167 |
| |
2168 |
| - | |
| 2168 | + | |
2169 | 2169 |
| |
2170 | 2170 |
| |
2171 | 2171 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
505 | 505 |
| |
506 | 506 |
| |
507 | 507 |
| |
508 |
| - | |
| 508 | + | |
509 | 509 |
| |
510 | 510 |
| |
511 | 511 |
| |
| |||
1119 | 1119 |
| |
1120 | 1120 |
| |
1121 | 1121 |
| |
1122 |
| - | |
| 1122 | + | |
1123 | 1123 |
| |
1124 | 1124 |
| |
1125 | 1125 |
| |
| |||
1176 | 1176 |
| |
1177 | 1177 |
| |
1178 | 1178 |
| |
1179 |
| - | |
| 1179 | + | |
1180 | 1180 |
| |
1181 | 1181 |
| |
1182 | 1182 |
| |
| |||
1212 | 1212 |
| |
1213 | 1213 |
| |
1214 | 1214 |
| |
1215 |
| - | |
| 1215 | + | |
1216 | 1216 |
| |
1217 | 1217 |
| |
1218 | 1218 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
186 | 186 |
| |
187 | 187 |
| |
188 | 188 |
| |
189 |
| - | |
| 189 | + | |
190 | 190 |
| |
191 | 191 |
| |
192 | 192 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
498 | 498 |
| |
499 | 499 |
| |
500 | 500 |
| |
501 |
| - | |
| 501 | + | |
502 | 502 |
| |
503 | 503 |
| |
504 | 504 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
447 | 447 |
| |
448 | 448 |
| |
449 | 449 |
| |
450 |
| - | |
| 450 | + | |
451 | 451 |
| |
452 | 452 |
| |
453 | 453 |
| |
| |||
2706 | 2706 |
| |
2707 | 2707 |
| |
2708 | 2708 |
| |
2709 |
| - | |
| 2709 | + | |
2710 | 2710 |
| |
2711 | 2711 |
| |
2712 | 2712 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
346 | 346 |
| |
347 | 347 |
| |
348 | 348 |
| |
349 |
| - | |
| 349 | + | |
350 | 350 |
| |
351 | 351 |
| |
352 | 352 |
| |
| |||
548 | 548 |
| |
549 | 549 |
| |
550 | 550 |
| |
551 |
| - | |
| 551 | + | |
552 | 552 |
| |
553 | 553 |
| |
554 | 554 |
| |
| |||
558 | 558 |
| |
559 | 559 |
| |
560 | 560 |
| |
561 |
| - | |
| 561 | + | |
562 | 562 |
| |
563 | 563 |
| |
564 | 564 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
444 | 444 |
| |
445 | 445 |
| |
446 | 446 |
| |
447 |
| - | |
| 447 | + | |
448 | 448 |
| |
449 | 449 |
| |
450 | 450 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
185 | 185 |
| |
186 | 186 |
| |
187 | 187 |
| |
188 |
| - | |
| 188 | + | |
189 | 189 |
| |
190 | 190 |
| |
191 | 191 |
| |
|
Lines changed: 3 additions & 3 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 |
| |
| |||
590 | 590 |
| |
591 | 591 |
| |
592 | 592 |
| |
593 |
| - | |
| 593 | + | |
594 | 594 |
| |
595 | 595 |
| |
596 | 596 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
520 | 520 |
| |
521 | 521 |
| |
522 | 522 |
| |
523 |
| - | |
| 523 | + | |
524 | 524 |
| |
525 | 525 |
| |
526 | 526 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
355 | 355 |
| |
356 | 356 |
| |
357 | 357 |
| |
358 |
| - | |
359 |
| - | |
| 358 | + | |
| 359 | + | |
360 | 360 |
| |
361 | 361 |
| |
362 | 362 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
362 | 362 |
| |
363 | 363 |
| |
364 | 364 |
| |
365 |
| - | |
366 |
| - | |
| 365 | + | |
| 366 | + | |
367 | 367 |
| |
368 | 368 |
| |
369 | 369 |
| |
| |||
464 | 464 |
| |
465 | 465 |
| |
466 | 466 |
| |
467 |
| - | |
| 467 | + | |
468 | 468 |
| |
469 | 469 |
| |
470 | 470 |
| |
| |||
1356 | 1356 |
| |
1357 | 1357 |
| |
1358 | 1358 |
| |
1359 |
| - | |
1360 |
| - | |
| 1359 | + | |
| 1360 | + | |
1361 | 1361 |
| |
1362 | 1362 |
| |
1363 | 1363 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
396 | 396 |
| |
397 | 397 |
| |
398 | 398 |
| |
399 |
| - | |
| 399 | + | |
400 | 400 |
| |
401 | 401 |
| |
402 | 402 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
207 | 207 |
| |
208 | 208 |
| |
209 | 209 |
| |
210 |
| - | |
| 210 | + | |
211 | 211 |
| |
212 | 212 |
| |
213 | 213 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
250 | 250 |
| |
251 | 251 |
| |
252 | 252 |
| |
253 |
| - | |
| 253 | + | |
254 | 254 |
| |
255 | 255 |
| |
256 | 256 |
| |
| |||
262 | 262 |
| |
263 | 263 |
| |
264 | 264 |
| |
265 |
| - | |
| 265 | + | |
266 | 266 |
| |
267 | 267 |
| |
268 | 268 |
| |
|
Lines changed: 11 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
43 |
| - | |
| 43 | + | |
| 44 | + | |
44 | 45 |
| |
45 | 46 |
| |
46 | 47 |
| |
47 | 48 |
| |
48 | 49 |
| |
49 | 50 |
| |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
50 | 55 |
| |
51 | 56 |
| |
52 | 57 |
| |
| |||
1499 | 1504 |
| |
1500 | 1505 |
| |
1501 | 1506 |
| |
1502 |
| - | |
| 1507 | + | |
1503 | 1508 |
| |
1504 | 1509 |
| |
1505 | 1510 |
| |
| |||
1511 | 1516 |
| |
1512 | 1517 |
| |
1513 | 1518 |
| |
1514 |
| - | |
| 1519 | + | |
1515 | 1520 |
| |
1516 | 1521 |
| |
1517 | 1522 |
| |
| |||
2096 | 2101 |
| |
2097 | 2102 |
| |
2098 | 2103 |
| |
2099 |
| - | |
| 2104 | + | |
2100 | 2105 |
| |
2101 | 2106 |
| |
2102 | 2107 |
| |
| |||
2149 | 2154 |
| |
2150 | 2155 |
| |
2151 | 2156 |
| |
2152 |
| - | |
| 2157 | + | |
2153 | 2158 |
| |
2154 | 2159 |
| |
2155 | 2160 |
| |
| |||
2176 | 2181 |
| |
2177 | 2182 |
| |
2178 | 2183 |
| |
2179 |
| - | |
| 2184 | + | |
2180 | 2185 |
| |
2181 | 2186 |
| |
2182 | 2187 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
345 | 345 |
| |
346 | 346 |
| |
347 | 347 |
| |
348 |
| - | |
| 348 | + | |
349 | 349 |
| |
350 | 350 |
| |
351 | 351 |
| |
|
0 commit comments