File tree
23 files changed
+109
-103
lines changed- src/sage
- algebras
- modular
- abvar
- arithgroup
- hecke
- local_comp
- modform_hecketriangle
- modform
- modsym
- overconvergent
- pollack_stevens
23 files changed
+109
-103
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
666 | 666 |
| |
667 | 667 |
| |
668 | 668 |
| |
669 |
| - | |
| 669 | + | |
670 | 670 |
| |
671 | 671 |
| |
672 | 672 |
| |
|
Lines changed: 5 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
241 | 241 |
| |
242 | 242 |
| |
243 | 243 |
| |
244 |
| - | |
| 244 | + | |
245 | 245 |
| |
246 | 246 |
| |
247 | 247 |
| |
| 248 | + | |
248 | 249 |
| |
249 | 250 |
| |
250 | 251 |
| |
| |||
292 | 293 |
| |
293 | 294 |
| |
294 | 295 |
| |
295 |
| - | |
| 296 | + | |
296 | 297 |
| |
297 | 298 |
| |
298 | 299 |
| |
| 300 | + | |
299 | 301 |
| |
300 | 302 |
| |
301 | 303 |
| |
| |||
342 | 344 |
| |
343 | 345 |
| |
344 | 346 |
| |
345 |
| - | |
| 347 | + | |
346 | 348 |
| |
347 | 349 |
| |
348 | 350 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
461 | 461 |
| |
462 | 462 |
| |
463 | 463 |
| |
464 |
| - | |
| 464 | + | |
465 | 465 |
| |
466 | 466 |
| |
467 | 467 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
546 | 546 |
| |
547 | 547 |
| |
548 | 548 |
| |
549 |
| - | |
| 549 | + | |
550 | 550 |
| |
551 | 551 |
| |
552 | 552 |
| |
|
Lines changed: 6 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
744 | 744 |
| |
745 | 745 |
| |
746 | 746 |
| |
747 |
| - | |
| 747 | + | |
748 | 748 |
| |
749 | 749 |
| |
750 | 750 |
| |
| |||
757 | 757 |
| |
758 | 758 |
| |
759 | 759 |
| |
760 |
| - | |
| 760 | + | |
761 | 761 |
| |
762 |
| - | |
763 |
| - | |
764 |
| - | |
| 762 | + | |
| 763 | + | |
| 764 | + | |
| 765 | + | |
765 | 766 |
| |
766 | 767 |
| |
767 | 768 |
| |
|
Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 |
| - | |
31 | 30 |
| |
32 | 31 |
| |
33 | 32 |
| |
| |||
553 | 552 |
| |
554 | 553 |
| |
555 | 554 |
| |
556 |
| - | |
557 |
| - | |
| 555 | + | |
| 556 | + | |
558 | 557 |
| |
559 | 558 |
| |
560 | 559 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
36 |
| - | |
| 36 | + | |
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
|
Lines changed: 5 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
198 | 198 |
| |
199 | 199 |
| |
200 | 200 |
| |
201 |
| - | |
| 201 | + | |
202 | 202 |
| |
203 |
| - | |
| 203 | + | |
204 | 204 |
| |
205 | 205 |
| |
206 | 206 |
| |
| |||
222 | 222 |
| |
223 | 223 |
| |
224 | 224 |
| |
225 |
| - | |
226 |
| - | |
227 |
| - | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
228 | 228 |
| |
229 | 229 |
| |
230 | 230 |
| |
|
Lines changed: 20 additions & 20 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
153 | 153 |
| |
154 | 154 |
| |
155 | 155 |
| |
156 |
| - | |
157 |
| - | |
158 |
| - | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
159 | 160 |
| |
160 |
| - | |
161 |
| - | |
| 161 | + | |
| 162 | + | |
162 | 163 |
| |
163 | 164 |
| |
164 | 165 |
| |
| |||
346 | 347 |
| |
347 | 348 |
| |
348 | 349 |
| |
349 |
| - | |
350 |
| - | |
| 350 | + | |
| 351 | + | |
351 | 352 |
| |
352 | 353 |
| |
353 | 354 |
| |
| |||
360 | 361 |
| |
361 | 362 |
| |
362 | 363 |
| |
363 |
| - | |
364 |
| - | |
365 |
| - | |
366 |
| - | |
367 |
| - | |
| 364 | + | |
| 365 | + | |
| 366 | + | |
| 367 | + | |
| 368 | + | |
368 | 369 |
| |
369 | 370 |
| |
370 | 371 |
| |
| |||
380 | 381 |
| |
381 | 382 |
| |
382 | 383 |
| |
383 |
| - | |
384 |
| - | |
385 |
| - | |
386 |
| - | |
387 |
| - | |
| 384 | + | |
| 385 | + | |
| 386 | + | |
| 387 | + | |
| 388 | + | |
388 | 389 |
| |
389 |
| - | |
| 390 | + | |
390 | 391 |
| |
391 | 392 |
| |
392 | 393 |
| |
| |||
396 | 397 |
| |
397 | 398 |
| |
398 | 399 |
| |
399 |
| - | |
| 400 | + | |
400 | 401 |
| |
401 | 402 |
| |
402 | 403 |
| |
403 | 404 |
| |
404 | 405 |
| |
405 | 406 |
| |
406 | 407 |
| |
407 |
| - | |
408 | 408 |
| |
409 | 409 |
| |
410 | 410 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
236 | 236 |
| |
237 | 237 |
| |
238 | 238 |
| |
239 |
| - | |
| 239 | + | |
240 | 240 |
| |
241 | 241 |
| |
242 | 242 |
| |
|
0 commit comments