-
Notifications
You must be signed in to change notification settings - Fork 276
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Systems of equations #48
Comments
With the work being done by @kevinbarabash on https://github.com/kevinbarabash/math-ast maybe we could model systems of equations with the "AND" logical operator at the top level? e.g.
We would then have tree-rewriting rules like for the rest which handle this type of structure. |
This is the algorithm I prototyped in MathPiper for solving systems of equations:
Currently, the algorithm holds the equations in a list. However, flattening an expression with respect to a binary operator is straightforward, so modeling systems of equations with the "AND" logical operator should not cause problems:
|
@hmaurer I added a I like that "AND" indicates that all equations need to hold and "OR" indicates that each of the multiple solutions is valid. I am worried though about overloading logical operators. Logic operators should be used in expression for logic proofs. Maybe we can introduce |
I've added tentative support for system of equation and sequences to math-parser. Here are a couple of test cases: semantic-math/math-ast#12 has some additional thoughts about converting things like (edit: links fixed) |
This is blocked on #128 (new parser) because we need to support multiple equations.
It'd be great to have another module, like
simplifyExpression
andsolveEquation
that solved a system of equationse.g. y = 2x + 2, x + y = 5, solve for x
The text was updated successfully, but these errors were encountered: