Opened 21 months ago

Last modified 21 months ago

#23154 new enhancement

Divisor composition in the Jacobian of genus 2 hyperelliptic curves

Reported by: slindner Owned by:
Priority: minor Milestone: sage-8.0
Component: algebraic geometry Keywords: sd86.5
Cc: roed Merged in:
Authors: Mike Jacobson, Sebastian Lindner Reviewers:
Report Upstream: N/A Work issues:
Branch: u/slindner/g2 (Commits) Commit: 9261a35201e1868e1c04a16557841543f7aedd82
Dependencies: Stopgaps:

Description

A generic implementation for divisor composition using Cantor's algorithm is currently used. There are more efficient formulas described in field operations that we intend to implement in the genus 2 setting.

Change History (6)

comment:1 Changed 21 months ago by slindner

  • Branch set to u/slindner/g2

comment:2 Changed 21 months ago by git

  • Commit set to 97ce09789787ef83f4fafd626e8e222af19965a5

Branch pushed to git repo; I updated commit sha1. New commits:

​97ce097Updated class with object oriented behaviour, reduction is only done on initialization from polynomilas, moved recursive calls of reduction into while loop

comment:3 Changed 21 months ago by git

  • Commit changed from 97ce09789787ef83f4fafd626e8e222af19965a5 to 2897a19530c629ddb08952f17a3101529ff121b3

Branch pushed to git repo; I updated commit sha1. New commits:

​2897a19Changed while loop location for cantors reduction

comment:4 Changed 21 months ago by git

  • Commit changed from 2897a19530c629ddb08952f17a3101529ff121b3 to a17ec61ce952d9990d84eee46bd4b6fb96418a18

Branch pushed to git repo; I updated commit sha1. New commits:

​a17ec61Resolved issue where check for reduction is made even when using formulas, completely encapsulated polynomial arithmetic.

comment:5 Changed 21 months ago by git

  • Commit changed from a17ec61ce952d9990d84eee46bd4b6fb96418a18 to 9261a35201e1868e1c04a16557841543f7aedd82

Branch pushed to git repo; I updated commit sha1. New commits:

​9261a35In _init_, a check for proper Mumford polynomials and reduction is only initiated when creating a divisor by describing the polynomials manually. _add_ now encapsulates reduction after composition in all cases.

comment:6 Changed 21 months ago by roed

  • Cc roed added
Note: See TracTickets for help on using tickets.