Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix reduction of cusps for Gamma(N) #36165

Merged
merged 2 commits into from
Sep 16, 2023
Merged

Conversation

JohnCremona
Copy link
Member

@JohnCremona JohnCremona commented Aug 31, 2023

The method reduce_cusp for Gamma(N) did not work properly on cusps u/v where (u,v) is congruent to (-1,0) mod N. This fixes that by fixing the function _lift_pair(). A doctest has been added with the example reported on sage-devel.

Fixes #36163

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

@github-actions
Copy link

Documentation preview for this PR (built with commit bf08b12; changes) is ready! 🎉

Copy link
Contributor

@fchapoton fchapoton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I will assume build failure is not related, as it appears in most pull requests right now.

vbraun pushed a commit to vbraun/sage that referenced this pull request Sep 14, 2023
    
The method reduce_cusp for Gamma(N) did not work properly on cusps u/v
where (u,v) is congruent to (-1,0) mod N.  This fixes that by fixing the
function _lift_pair().  A doctest has been added with the example
reported on sage-devel.

Fixes sagemath#36163

### 📝 Checklist

- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
    
URL: sagemath#36165
Reported by: John Cremona
Reviewer(s): Frédéric Chapoton
@vbraun vbraun merged commit 4f4fbc2 into sagemath:develop Sep 16, 2023
17 of 20 checks passed
@mkoeppe mkoeppe added this to the sage-10.2 milestone Sep 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Reducing Gamma(N) cusps does not always reduce
4 participants