Solve
Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand. No examples yet — the crosswalk is the reason it has a page.
Solve(equation, unknown): the list of solutions of an equation for the unknown. The equation may be an `Equal` expression or a bare expression (read as `= 0`), e.g. `Solve(x^2 - 1 == 0, x)` or `Solve(x^2 - 1, x)`. The unknown may be omitted: it defaults to the equation's single free variable, or to `x` when there are several and one of them is `x`. Solve([eq1, eq2, …], [x, y, …]): solve a system of equations; each solution is a tuple of values in the order of the variable list, e.g. Solve([x + y == 3, x - y == 1], [x, y]) → [(2, 1)].
Solve(any, any*) -> listas compute-engine declares it