loda-cpp icon indicating copy to clipboard operation
loda-cpp copied to clipboard
verified publisher icon loda-lang

Provide a functionality for program search on a single user provided sequence.

Open weightan opened this issue 4 months ago • 1 comments

It's a lot of effort to add a sequence to OEIS, and in some cases completely impossible, because of its obscure origins, where you have neither program nor formula.

Local program search, only on the user's computer, would be satisfactory.

weightan avatar Aug 09 '25 18:08 weightan

Internal work for mining user-defined seqs has been done already, but the feature is not available in v25.8.24 yet. Will be probably included in the next release.

ckrause avatar Aug 24 '25 14:08 ckrause