 Taddeus Kroes
|
140ddc5965
Updated all unit tests correspondingly to the previous commits.
|
14 年之前 |
|
Taddeus Kroes
|
7d0df6c923
Added absolute value to linear equation rules.
|
14 年之前 |
|
Taddeus Kroes
|
dedcf309dc
Fixed nominator term extraction rule for single-term nominators.
|
14 年之前 |
|
Taddeus Kroes
|
c9d72b477e
Fine-tuned fraction rules and updated unit tests accordingly.
|
14 年之前 |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
14 年之前 |
|
Taddeus Kroes
|
b4b5542d2d
Extended equation multiplication rule to apply for a negated left side.
|
14 年之前 |
|
Taddeus Kroes
|
f5a7c1cda5
Added rules to divide/multiply both sides of an equation with a constant.
|
14 年之前 |
|
Taddeus Kroes
|
694854ae90
Shortened rule name.
|
14 年之前 |
|
Taddeus Kroes
|
17862fb994
Added rule for subtracting addition terms from both sides of an equation.
|
14 年之前 |
