Opened 8 years ago

Last modified 5 years ago

#12204 needs_work enhancement

Reducing the defining polynomial of a hyperelliptic curve

Reported by: florian Owned by: was
Priority: major Milestone: sage-6.4
Component: number theory Keywords: hyperelliptic curves sd35 sd51
Cc: Merged in:
Authors: Florian Bouyer Reviewers: Marco Streng
Report Upstream: N/A Work issues: need to recheck once dependencies are finalised
Branch: Commit:
Dependencies: #6341, #14755, #14756 Stopgaps:

Description (last modified by chapoton)

A method which reduces the height of the polynomial defining a Hyperelliptic curve over the rationals

Attachments (3)

trac_12204_reduce_poly.patch (1.9 KB) - added by florian 8 years ago.
trac_12204_modify_doc.patch (1.8 KB) - added by florian 8 years ago.
12204_reduce_height.patch (1.8 KB) - added by florian 6 years ago.

Download all attachments as: .zip

Change History (16)

Changed 8 years ago by florian

comment:1 Changed 8 years ago by florian

  • Status changed from new to needs_review

comment:2 Changed 8 years ago by florian

  • Authors set to Florian Bouyer

comment:3 Changed 8 years ago by florian

  • Description modified (diff)

comment:4 Changed 8 years ago by mstreng

  • Reviewers set to Marco Streng
  • Status changed from needs_review to needs_work
  1. 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.
  2. Also, why is it called "reduce_poly" and not simply "reduce"?
  3. 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.

comment:5 Changed 8 years ago by florian

Created ticket #12209 for number 3.

It is called reduce_poly as there is already a general scheme method called reduce which 

"Return the corresponding reduced algebraic space associated to this scheme."

Changed 8 years ago by florian

comment:6 Changed 8 years ago by florian

  • Description modified (diff)

I have changed the documentation

comment:7 Changed 6 years ago by mstreng

  • Cc mstreng removed
  • Dependencies changed from #6341 to #6341, #14755, #14756
  • Keywords sd51 added

Changed 6 years ago by florian

comment:8 Changed 6 years ago by florian

  • Description modified (diff)
  • Work issues set to need to recheck once dependencies are finalised

comment:9 Changed 6 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:10 Changed 6 years ago by chapoton

  • Description modified (diff)

comment:11 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:12 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:13 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.