computer-algebra-system

Suppose

@variables x
z = x^3 + x^2 + x + 1

Would be nice to have a degree function that we can use as degree(z,x) to extract the degree of z with respect to x (this will help for multi-variable polynomials too).

Also coeff(z,x) to extract a list of coefficients with respect to he variable x . Thus coeff(z,x^2) returns the coefficient with respect to x^2 and so on.

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 #4557 we added InstallEarlyMethod and used it to merge FirstOp and First. Something similar should be done for more operations, following the pattern outlined in PR #4557

Here is a partial lists of operations where it may make sense to do so:

• in coll.gd
  • ListOp
  • SumOp
  • ProductOp
  • FilteredOp
  • NumberOp
  • ForAllOp
  • ForAnyOp
• in list.gd

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.