Ticket #12204 (needs_work enhancement)
Reducing the defining polynomial of a hyperelliptic curve
| Reported by: | florian | Owned by: | was |
|---|---|---|---|
| Priority: | major | Milestone: | sage-5.11 |
| Component: | number theory | Keywords: | hyperelliptic curves sd35 |
| Cc: | mstreng | Work issues: | |
| Report Upstream: | N/A | Reviewers: | Marco Streng |
| Authors: | Florian Bouyer | Merged in: | |
| Dependencies: | #6341 | Stopgaps: |
Description (last modified by florian) (diff)
A method for hyperellipt curves over rational field which reduces the defining polynomial
- Apply patch trac_12204_reduce_poly.patch
- Then apply patch trac_12204_modify_doc.patch
Attachments
-
trac_12204_reduce_poly.patch
(1.9 KB) -
added by florian 18 months ago.
-
trac_12204_modify_doc.patch
(1.8 KB) -
added by florian 18 months ago.
Change History
comment:4 Changed 18 months ago by mstreng
- Status changed from needs_review to needs_work
- Reviewers set to Marco Streng
- The output of this new method is another curve over QQ, which is isomorphic over QQbar, but possibly not isomorphic over QQ. That is not clear from the documentation.
- Also, why is it called "reduce_poly" and not simply "reduce"?
- Related to 1. it would be great to also have a function that gives something isomorphic over QQ, and in that case also an isomorphism defined over QQ. This could be done with the same function if you make it (for example) "def reduce(self, rational=True, isomorphism=False)".
I'd say 1. is required for a positive review. 3 may be something for a later ticket if it is too much work.
Note: See
TracTickets for help on using
tickets.
