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

Computing genus of a curve: bugfix (addresses #28336) #39453

Open
wants to merge 2 commits into
base: develop
Choose a base branch
from

Conversation

kaahren2
Copy link

@kaahren2 kaahren2 commented Feb 5, 2025

)

The code to compute the genus of a curve first checks that the given curve is geometrically irreducible and throws an error if it is not.
Fixes #28336.

📝 Checklist

  • [x ] The title is concise and informative.
  • [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 and checked the documentation preview.

⌛ Dependencies

@kwankyu
Copy link
Collaborator

kwankyu commented Feb 5, 2025

Checking geometric irreducibility takes a nontrivial time. Hence the genus method leaves the check to the user. It is the user's responsibility to apply the method to only geometrically irreducible curves. Meaningless output by the method with inappropriate input is not the fault of the method.

The WARNING section, you are deleting, explains it clearly.

@kwankyu
Copy link
Collaborator

kwankyu commented Feb 5, 2025

We may close #28336 as already "fixed"

- ``base_ring`` -- the base ring of the divisor group; usually, this is
`\ZZ` (default) or `\QQ`
- ``base_ring`` -- the base ring of the divisor group. Usually, this is
`\ZZ` (default) or `\QQ`.

Copy link
Contributor

Choose a reason for hiding this comment

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

no, your changes here are not correct. The input entries are not sentences, and should have no final dot

Copy link
Author

Choose a reason for hiding this comment

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

A semicolon is not correct for the same reason, since it is not joining two related independent clauses. I don't care that much and just reverted it.

@@ -224,7 +264,14 @@ def geometric_genus(self):
sage: C.geometric_genus()
3

Examples of affine curves::
Addressing issue #28336
Copy link
Contributor

Choose a reason for hiding this comment

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

de-indent this line, add :: at then end and an empty line after it

Copy link
Author

Choose a reason for hiding this comment

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

done, thanks!

@kaahren2 kaahren2 marked this pull request as ready for review February 6, 2025 03:28
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.

Genus outputs -1 sometimes
3 participants