Issues

• Expose recurrence degree and leading-coefficient certificates, porting Lean row tactics

  PerAlexandersson/polytool#37 · Filter by author PerAlexandersson opened on Nov 6, 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

• recurrence: LaTeX output with factored coefficients

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

• recurrence: choose the index of the first row

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

• recurrence --json: report the number of held-out equations

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

• real-rooted: add --json

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

• Flag polynomials that are trivially real-rooted

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

• Add a deterministic work budget for recurrence search (--max-work N)

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

• 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