Tests for following standard libraries seem to be missing. Although some libraries might be difficult to test (such as random.egi or io.egi), it'd be nice to have some tests that make sure all the functions in these libraries can be (at least) executed without dynamic errors.

• lib/core/io.egi
• lib/core/random.egi
• lib/core/shell.egi
• lib/core/sort.egi
• Every

In PR #3901 support was added to apply a homomorphism f to an element x by writing f(x) instead of Image(f, x).

We could do something similar for univariate polynomials. (For multivariate ones, the issue is that it is not clear how the order of arguments should be mapped to the various variables; I'd rather avoid that can of worms).

Make docker image available with JIB:

• https://github.com/GoogleContainerTools/jib
• https://github.com/GoogleContainerTools/jib/tree/master/jib-maven-plugin

The docker image should be updated automatically on each master commit. Therefore we need a GitHub Action "Java with Maven".
These 3 applications should be available:

• [MMA-browser-usage](https://github.com/axkr/symja_android_libr

Now that we can generate equations of motion from a Lagrangian (should work in theory for Hamiltonians too but I haven't tried), it'd be really slick if we could pipe that solution into a differential equation solver and get a numerical solution.

@PerezHz works on TaylorIntergration.jl so if he wants to get that running, that'd be great. I'd also like DifferentialEquations.jl support at some p

I noticed that I forgot to update the API docs for a refactor that moved mathy.mathy to mathy.api.

Currently, you have to run:

cd libraries/website
sh tools/docs.sh

And it generates all the API doc files. This means it's too slow to run all the time. It should be updated to run as part of lint-staged and support passing individual files on the command-line, similar to th

Improve code quality of Visitor class by removing duplicated code of visitPow, visitMulDuv and visitAddSuv methods.