 Taddeus Kroes
|
961c70a79c
Added rules for removing double conjunction/disjunction cases.
|
14 роки тому |
|
Taddeus Kroes
|
71bb582369
Implemented substitution for solving sets of linear equations..
|
14 роки тому |
|
Taddeus Kroes
|
392e4746d6
Removed some unused imports from unit tests.
|
14 роки тому |
|
Taddeus Kroes
|
52dcf02f95
Modified parser to fit MathJax syntax.
|
14 роки тому |
|
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 роки тому |
