Issues

• Generating functions for recurrence families: exact output, stored catalog g.f.s, recognition

  PerAlexandersson/polytool#54 · Filter by author PerAlexandersson opened on Nov 11, 2026

• oeis rows: read the rows of a triangle from local OEIS files

  PerAlexandersson/polytool#53 · Filter by author sqrt-of-2 opened on Nov 10, 2026

• recurrence: Lean output

  PerAlexandersson/polytool#51 · Filter by author sqrt-of-2 opened on Nov 9, 2026
  1

• recurrence: initial rows up to the last zero of the left-hand factor

  PerAlexandersson/polytool#50 · Filter by author sqrt-of-2 opened on Nov 9, 2026

• recurrence: start at the earliest row where the recurrence holds

  PerAlexandersson/polytool#49 · Filter by author sqrt-of-2 opened on Nov 9, 2026

• recurrence --latex: normalize the recurrence

  PerAlexandersson/polytool#48 · Filter by author sqrt-of-2 opened on Nov 9, 2026

• recurrence-prove: classify fitted recurrences as trivially real-rooted

  PerAlexandersson/polytool#47 · Filter by author sqrt-of-2 opened on Nov 9, 2026

• Roadmap: proof routes for the remaining ~229 OEIS benchmark sequences (alternative representations, order reduction, operator three-term, RealRooted row routes)

  PerAlexandersson/polytool#46 · Filter by author PerAlexandersson opened on Nov 8, 2026
  1

• Canonical generator for binary capped-cone h*-numerators (parity sections)

  PerAlexandersson/polytool#44 · Filter by author PerAlexandersson opened on Nov 8, 2026

• bkw-scout: NaN Durand–Kerner iterates are reported as converged

  PerAlexandersson/polytool#43 · Filter by author PerAlexandersson opened on Nov 8, 2026

• CLI usability: consistent names, clap-based help system, recurrence command tree, docs site and CI

  PerAlexandersson/polytool#41 · Filter by author PerAlexandersson opened on Nov 8, 2026
  1

• Citation numbering: "Theorem 40" / "Example 41" of arXiv:1410.6601 in recorded theorem texts

  PerAlexandersson/polytool#38 · Filter by author PerAlexandersson opened on Nov 8, 2026

• CI: build and test the polynomial-search web app and upload its static bundle

  PerAlexandersson/polytool#36 · Filter by author PerAlexandersson opened on Nov 5, 2026

• Explore reusing elimination state across nested recurrence-search systems

  PerAlexandersson/polytool#35 · Filter by author PerAlexandersson opened on Nov 4, 2026
  1

• Generating functions from recurrences: GF annihilator by Ore algebra, closed forms, and checking supplied GFs

  PerAlexandersson/polytool#28 · Filter by author PerAlexandersson opened on Nov 3, 2026

• Alternative recurrences by algebra: complete spaces for n-dependent sources, minimal shapes, canonical form

  PerAlexandersson/polytool#27 · Filter by author PerAlexandersson opened on Nov 3, 2026
  1

• Discover interlacing refinements of polynomial recurrences

  PerAlexandersson/polytool#26 · Filter by author PerAlexandersson opened on Nov 2, 2026

• Evaluate Z3 from Rust for exact polynomial inequalities and quantifier elimination

  PerAlexandersson/polytool#25 · Filter by author PerAlexandersson opened on Oct 30, 2026
  1

• Recognize PF-preserving basis transforms and export recurrence certificates

  PerAlexandersson/polytool#24 · Filter by author PerAlexandersson opened on Oct 28, 2026

• Recurrence representations: further extensions

  PerAlexandersson/polytool#23 · Filter by author PerAlexandersson opened on Oct 27, 2026