identify_transform
Test whether a sequence is a simple transform of a known OEIS sequence by applying up to three levels of common transforms and matching indexed terms; use hits to find empirical identities or extensions.
Instructions
Is this sequence a simple transform of a known OEIS sequence? A local "superseeker".
Give either terms (comma-separated, with their offset, i.e. the n of the first term) or an anum (its own terms;
the entry itself is never reported). Every chain of up to depth (1-3) of ~140 primitive transforms is
applied (x or / by n!, (2n)!, 2^n, n, Catalan, Bell, ...; binomial, Euler, weigh, EGF exp/log, INVERT,
Stirling, Moebius and their inverses; partial sums, differences, bisections, signs, +-1, ...) and each result
is looked up in the term index. Depth 1 takes about a second; depth 2 (~20k lookups) can take tens of
seconds, and stops after time_budget seconds (complete=false).
A hit needs a long, informative common run (>= 6 terms at depth <= 1, >= 8 at depth 2, >= 10 at depth 3) and
agreement up to the end of one of the two. Each hit says which side has more terms:
match_extends_query: the match continues past your terms (it may give new terms of your sequence);
query_extends_match: your transformed terms continue past the match's DATA.
Hits are empirical identities, to be proved before use.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ext | No | ||
| anum | No | ||
| depth | No | ||
| limit | No | ||
| terms | No | ||
| offset | No | ||
| time_budget | No |