Skip to content

Conversation

JohnCremona
Copy link
Member

This fixes the bug reported at #35983 using the fix described there.

📝 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.

@JohnCremona JohnCremona requested a review from yyyyx4 July 24, 2023 14:46
@JohnCremona
Copy link
Member Author

The Lint error is in file sage/schemes/projective/proj_bdd_height.py which this PR does not touch!

@yyyyx4
Copy link
Member

yyyyx4 commented Jul 27, 2023

Sorry about the bug! Your fix looks good, except that you probably meant to delete this line?

@JohnCremona
Copy link
Member Author

Sorry about the bug! Your fix looks good, except that you probably meant to delete this line?

You are right -- deleted in latest commit.

@github-actions
Copy link

github-actions bot commented Aug 1, 2023

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

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.

4 participants