Skip to content

Family: elliptic-quartic — Genus-one quartic - #18

Open
roed-math wants to merge 1 commit into
DiophantineLibrary:split/09-backbone-deepfrom
roed-math:family/elliptic-quartic
Open

Family: elliptic-quartic — Genus-one quartic#18
roed-math wants to merge 1 commit into
DiophantineLibrary:split/09-backbone-deepfrom
roed-math:family/elliptic-quartic

Conversation

@roed-math

@roed-math roed-math commented Aug 8, 2026

Copy link
Copy Markdown
Collaborator

One family: Genus-one quartic (elliptic-quartic) — P1, algorithmic.

  • Standard form: y^2 = q(x), deg q = 4
  • Parent: genus-one-curve
  • Examples: y^2 = x^4 + 3*x + 1

Contents: the registry entry, its docs/FAMILIES.md section and its rows in the classification corpus.

References cited (the claim each one supports):

  • Tzanakis2013 — solving quartic elliptic equations via elliptic logarithms
  • CremonaStoll2002 — minimization and reduction of 2-covering quartic models

Independent of every other family PR: it needs only the registry backbone it is based on.

Part of the series that splits #1 into reviewable pieces:

  1. 01-bibliography — packaging, docs, annotated bibliography
  2. 02-parsing — equation strings to a term model
  3. 03-registry — the YAML family registry (3 seed families)
  4. 04-matchers — shape recognizers
  5. 05-classify — the classification pipeline
  6. 06-solvers — solver framework, two seed solvers, and the CLI
  7. 07..09-backbone — the 23 parent families of the DAG, by depth
  8. one PR per remaining family (38 of them, mutually independent)
  9. 99-polish — restore the full doctests and tighten the invariants

@roed-math roed-math mentioned this pull request Aug 8, 2026
@roed-math
roed-math force-pushed the family/elliptic-quartic branch from 64dcfeb to f45909e Compare August 8, 2026 15:28
@roed-math
roed-math force-pushed the split/09-backbone-deep branch from 082df89 to 35fcb63 Compare August 8, 2026 16:12
@roed-math
roed-math force-pushed the family/elliptic-quartic branch from f45909e to b642de3 Compare August 8, 2026 16:12
@roed-math
roed-math force-pushed the split/09-backbone-deep branch from 35fcb63 to ece9c70 Compare August 9, 2026 02:43
@roed-math
roed-math force-pushed the family/elliptic-quartic branch from b642de3 to 8e0f4df Compare August 9, 2026 02:43
@roed-math
roed-math force-pushed the split/09-backbone-deep branch from ece9c70 to 6175904 Compare August 9, 2026 05:01
@roed-math
roed-math force-pushed the family/elliptic-quartic branch from 8e0f4df to f6a1f3d Compare August 9, 2026 05:01
@roed-math
roed-math force-pushed the split/09-backbone-deep branch from 6175904 to 529528f Compare August 9, 2026 05:21
@roed-math
roed-math force-pushed the family/elliptic-quartic branch from f6a1f3d to 4a1cbc8 Compare August 9, 2026 05:21
@roed-math
roed-math force-pushed the split/09-backbone-deep branch from 529528f to 8c5cfc8 Compare August 9, 2026 08:24
@roed-math
roed-math force-pushed the family/elliptic-quartic branch from 4a1cbc8 to b41b08e Compare August 9, 2026 08:24
One family: **Genus-one quartic** (`elliptic-quartic`) — P1, algorithmic.

- Standard form: `y^2 = q(x), deg q = 4`
- Parent: `genus-one-curve`
- Examples: `y^2 = x^4 + 3*x + 1`

Contents: the registry entry, its `docs/FAMILIES.md` section and its rows in the classification corpus.

References cited (the claim each one supports):

- `Tzanakis2013` — solving quartic elliptic equations via elliptic logarithms
- `CremonaStoll2002` — minimization and reduction of 2-covering quartic models

Independent of every other family PR: it needs only the registry backbone it is based on.

Part of the series that splits #1 into reviewable pieces:

1. `01-bibliography` — packaging, docs, annotated bibliography
2. `02-parsing` — equation strings to a term model
3. `03-registry` — the YAML family registry (3 seed families)
4. `04-matchers` — shape recognizers
5. `05-classify` — the classification pipeline
6. `06-solvers` — solver framework, two seed solvers, and the CLI
7. `07..09-backbone` — the 23 parent families of the DAG, by depth
8. one PR per remaining family (38 of them, mutually independent)
9. `99-polish` — restore the full doctests and tighten the invariants
@roed-math
roed-math force-pushed the split/09-backbone-deep branch from 8c5cfc8 to d767c69 Compare August 9, 2026 20:35
@roed-math
roed-math force-pushed the family/elliptic-quartic branch from b41b08e to 82ef3b9 Compare August 9, 2026 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants