Poly Simplify
Core to working with algebra problems is the ability to combine like terms
in polynomials. Mathy provides an environment that generates problems that require simplification to satisfy the win-conditions.
Challenge¶
In Poly Simplify, the agent must learn to quickly combine and simplify all the like terms in the generated input expression.
Examples
4x + 2y + 2x
must be simplified to6x + 2y
23j + 7 + 12x + 2j
must be simplified to25j + 7 + 12x
1.3j + 2j - 7
must be simplified to3.3j - 7
Win Conditions¶
Solve problems by combining all like terms in the provided expression.
No Like Terms¶
Terms are like when connected by an addition or subtraction, and both terms share a variable and exponent.
Examples
4x + 2y
there are no like terms becausex
andy
are different variables2x^2 + 4x
there are no like terms becausex^2
andx
have different exponents82x + 14x
the terms are like becausex
andx
are the same12x + 12y
there are no like terms becausex
andy
different variables
No Complex Terms¶
Complex terms are those that can be restated more simply.
Examples
2 * 4x
is complex because it has multiple coefficients which could be simplified to8x
4x * y * j^2
is not complex despite being verbose because there is only a single coefficient and no matching variables
Example Episode¶
A trained agent learns to combine multiple low-level actions into higher-level ones that combine like terms
Input¶
1k + 210r + 7z + 11k + 10z
Steps¶
Step | Text |
---|---|
input | 1k + 210r + 7z + 11k + 10z |
commutative swap | 11k + (1k + 210r + 7z) + 10z |
distributive factoring | 11k + (1k + 210r) + (7 + 10) * z |
distributive factoring | (11 + 1) * k + 210r + (7 + 10) * z |
constant arithmetic | (11 + 1) * k + 210r + 17z |
constant arithmetic | 12k + 210r + 17z |
solution | 12k + 210r + 17z |
Solution¶
12k + 210r + 17z
Last update: November 22, 2020