Opened 7 years ago

Last modified 4 years ago

#11515 new enhancement

guessing formulas for sequences

Reported by: mantepse Owned by: sage-combinat
Priority: major Milestone: sage-wishlist
Component: combinatorics Keywords:
Cc: sage-combinat, rws, mmezzarobba Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #15714, #16008 Stopgaps:

Description

Given the initial terms of a sequence of numbers (or polynomials or whatever) we want to find a differential or algebraic or functional equation for the generating function or a explicit formula for the individual terms.

TODO: a couple examples

    sage: guess(....)
    ....

TODO: links to existing implementations

Change History (4)

comment:1 Changed 4 years ago by rws

  • Cc rws added

This can mean several things:

  • a guesser of sequences generated by rational polynomials (linear recurrences with constant coefficients), dependent on
    1. the ring of such recurrences
  • a guesser of sequences generated by holonomic functions (P-finite sequences, recurrences with coefficients being polynomials in the sequence index n), dependent on
    1. the ring of such recurrences
  • guessers for other types of sequences

So this issue depends on several sub-issues.

Last edited 4 years ago by rws (previous) (diff)

comment:2 Changed 4 years ago by rws

  • Dependencies set to #15714

comment:3 Changed 4 years ago by mmezzarobba

  • Cc mmezzarobba added

comment:4 Changed 4 years ago by rws

  • Dependencies changed from #15714 to #15714, #16008
Note: See TracTickets for help on using tickets.