ckrause

Even if the program is exactly the same, except for the submitter, it gets overwritten. We should add a check to avoid that.

Submit button

1

Not sure if there would be users for it, but it would be nice to have a "Submit" button in the editor to submit the program to the API server....

Can be implemented using iterated `dif`

Error in folded program

3

``` 2024-09-15 08:10:17|INFO |Folded A094186 using A002262 2024-09-15 08:10:17|ERROR|Error in folded program ```

Generate stats for usage of `prg`. Use these stats to generate only valid program IDs during the mining.

discrete versions of n-th root and logarithm

`ban`, `bor`, `bxo`. Does PARI support bitwise operators? Is the semantics the same? What is the notation?

Currently, program (un)folding works only using the `seq` operation. Would be great to also support `prg` here. This should include the auto-fold command.

When the `submit` format cannot find a match, it outputs this message and terminates: ``` 2025-04-27 22:27:26|INFO |Validation successful 2025-04-27 22:27:27|INFO |No matches or existing programs are better ``` It...

If a program uses `seq X,142`, the corresponding formula part `A000142(X)` can be simplified to `X!`. Also make sure this works with Pari.