Skip to content

Family: prouhet-tarry-escott — Prouhet-Tarry-Escott problem - #34

Open
roed-math wants to merge 1 commit into
DiophantineLibrary:split/09-backbone-deepfrom
roed-math:family/prouhet-tarry-escott
Open

Family: prouhet-tarry-escott — Prouhet-Tarry-Escott problem#34
roed-math wants to merge 1 commit into
DiophantineLibrary:split/09-backbone-deepfrom
roed-math:family/prouhet-tarry-escott

Conversation

@roed-math

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

Copy link
Copy Markdown
Collaborator

One family: Prouhet-Tarry-Escott problem (prouhet-tarry-escott) — P3, open.

  • Standard form: sum x_i^j = sum y_i^j for j = 1..k
  • Parent: equal-sums-like-powers

Contents: the registry entry and its docs/FAMILIES.md section.

References cited (the claim each one supports):

  • BorweinIngalls1994 — survey of ideal solutions and open problems

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/prouhet-tarry-escott branch from 90a9a8a to 3dbe82f Compare August 8, 2026 15:29
@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/prouhet-tarry-escott branch from 3dbe82f to 7c2de0e Compare August 8, 2026 16:13
@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/prouhet-tarry-escott branch from 7c2de0e to 4389474 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/prouhet-tarry-escott branch from 4389474 to 41f55c9 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/prouhet-tarry-escott branch from 41f55c9 to f1f1fdb 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/prouhet-tarry-escott branch from f1f1fdb to 9f7d7d1 Compare August 9, 2026 08:24
One family: **Prouhet-Tarry-Escott problem** (`prouhet-tarry-escott`) — P3, open.

- Standard form: `sum x_i^j = sum y_i^j for j = 1..k`
- Parent: `equal-sums-like-powers`

Contents: the registry entry and its `docs/FAMILIES.md` section.

References cited (the claim each one supports):

- `BorweinIngalls1994` — survey of ideal solutions and open problems

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/prouhet-tarry-escott branch from 9f7d7d1 to 886e811 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