#5969 closed enhancement (fixed)
implement computation of rational cuspidal subgroups of modular abelian varieties
Reported by: | was | Owned by: | was |
---|---|---|---|
Priority: | major | Milestone: | sage-4.4.1 |
Component: | number theory | Keywords: | |
Cc: | boothby | Merged in: | sage-4.4.1.alpha2 |
Authors: | William Stein | Reviewers: | Alex Ghitza |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
This will depend on #5882.
Attachments (5)
Change History (13)
Changed 12 years ago by
Changed 12 years ago by
Changed 11 years ago by
comment:1 Changed 11 years ago by
- Cc boothby added
- Report Upstream set to N/A
comment:2 Changed 11 years ago by
- Status changed from new to needs_review
Changed 11 years ago by
comment:3 Changed 11 years ago by
I just checked that all four patches apply fine to sage-4.3.5 still with no rebasing necessary.
comment:4 Changed 11 years ago by
- Reviewers set to Alex Ghitza
- Status changed from needs_review to needs_work
The "part2" patch changes some things in matrix/matrix_integer_dense.pyx
, and that causes two doctest failures:
sage -t -long "devel/sage/sage/modules/fg_pid/fgp_module.py" ********************************************************************** File "/mnt/usb1/scratch/ghitza/sage-4.3.5-sage.math.washington.edu-x86_64-Linux/devel/sage/sage/modules/fg_pid/fgp_module.py", line 1131: sage: phi = Q.hom([0,V.0,V.1]); phi Expected: Morphism from module over Integer Ring with invariants (2, 0, 0) to module with invariants (0, 0, 0) that sends the generators to [(0, 0, 0), (0, 0, 1), (0, 1, 0)] Got: Morphism from module over Integer Ring with invariants (2, 0, 0) to module with invariants (0, 0, 0) that sends the generators to [(0, 0, 0), (1, 0, 0), (0, 1, 0)] ********************************************************************** File "/mnt/usb1/scratch/ghitza/sage-4.3.5-sage.math.washington.edu-x86_64-Linux/devel/sage/sage/modules/fg_pid/fgp_module.py", line 1139: sage: phi(Q.1) Expected: (0, 0, 1) Got: (1, 0, 0) **********************************************************************
It was not obvious to me whether this was harmless or an actual problem.
The rest looks good, there are a couple of docstring fixes but I have a reviewer patch that can take care of them.
Changed 11 years ago by
comment:5 Changed 11 years ago by
- Status changed from needs_work to needs_review
It turns out that part 2 fixes a *MAJOR* bug in SNF for matrices over ZZ in an edge case. The doctest in finitely generated modules was just wrong (ouch). I carefully checked through this with Robert Bradshaw, and posted a patch that updates the doctest.
comment:6 Changed 11 years ago by
- Status changed from needs_review to positive_review
This looks good to me, and passes tests.
Note that the part1 patch applies with some fuzz to sage-4.4.rc0, but it's fine.
comment:7 Changed 11 years ago by
- Merged in set to 4.4.1.alpha2
- Resolution set to fixed
- Status changed from positive_review to closed
comment:8 Changed 11 years ago by
- Merged in changed from 4.4.1.alpha2 to sage-4.4.1.alpha2
Hi,
Note that trac-5969-part4.patch removes the abvarsub modular symbols functions for torsion, since I found that they are buggy and not finished. The same functionality is already available in the modular abelian varieties code anyways, so this is no real loss.