 Taddeus Kroes
|
69c3cd5da4
Fixed pi notation.
|
13 роки тому |
|
Taddeus Kroes
|
e0a7b3a352
Integral lower bound now takes over negation fromt parent exponentiation.
|
13 роки тому |
|
Taddeus Kroes
|
703d088887
Removed some unused imports in accordance with pyflakes.
|
13 роки тому |
|
Taddeus Kroes
|
aaf0df2578
Added some coverage exceptions to verbose print lines.
|
13 роки тому |
|
Taddeus Kroes
|
72f94a0fbe
Significantly improved the parser.
|
13 роки тому |
|
Taddeus Kroes
|
dd699e45d4
Added support for curly bracket notation instead of parenthesis.
|
13 роки тому |
|
Taddeus Kroes
|
bc8b661163
The use of brackets is now equal to that of parentheses.
|
13 роки тому |
|
Taddeus Kroes
|
974545c705
Removed bug in preprocessor that caused 'pi*a' to occur as 'pi a'.
|
13 роки тому |
|
Taddeus Kroes
|
0eadc533f5
Implemented a new, lightweight way of validation as described in the TODO list.
|
13 роки тому |
|
Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
13 роки тому |
|
Sander Mathijs van Veen
|
ed513ed6ac
Reset flex's internal buffer (depends on new pybison version).
|
13 роки тому |
|
Sander Mathijs van Veen
|
61885a11ce
reduce maximum number of rewrite steps to 30.
|
13 роки тому |
|
Sander Mathijs van Veen
|
4052ad84bf
Fix duplicated steps in frontend's answer.
|
13 роки тому |
|
Sander Mathijs van Veen
|
dbc158eb57
Math expressions in hints are pretty printed using MathJax.
|
13 роки тому |
|
Sander Mathijs van Veen
|
388bdb396f
Fix merge conflict.
|
13 роки тому |
|
Taddeus Kroes
|
3e5a676b9e
Added ICNORECASE flag to preprocessor to allow expressions like 'aC'.
|
13 роки тому |
|
Taddeus Kroes
|
71bb582369
Implemented substitution for solving sets of linear equations..
|
14 роки тому |
|
Taddeus Kroes
|
6a78440dfb
Fixed some precedence issues.
|
14 роки тому |
|
Taddeus Kroes
|
7fbc6d246b
Application in parser now also applies implicit rules that are not hints after applying an explicit rule.
|
14 роки тому |
|
Taddeus Kroes
|
ba49325a72
Minor bugfix.
|
14 роки тому |
|
Taddeus Kroes
|
52dcf02f95
Modified parser to fit MathJax syntax.
|
14 роки тому |
|
Taddeus Kroes
|
2c55901f1f
Changed assiociativity for derivatives/integrals to left.
|
14 роки тому |
|
Taddeus Kroes
|
65cc88c7e6
Added IMPLICIT_RULES list for rules that are not printed in verbose rewrite_all mode.
|
14 роки тому |
|
Taddeus Kroes
|
290f2847a5
Added operator for verbose rewrite_all (verbose means that each step is printed).
|
14 роки тому |
|
Taddeus Kroes
|
d86dda9273
Finished separating parser state and interactive state, and added first version of strategy.
|
14 роки тому |
|
Taddeus Kroes
|
51f95b25df
Possibilities are now not generated more than once for a node.
|
14 роки тому |
|
Taddeus Kroes
|
57bc805cfa
Interactive parser state is not changed by parser hooks anymore, but separated in functions.
|
14 роки тому |
|
Taddeus Kroes
|
ea8ce3ac20
Added a set of reduction rules for expressions with absolute values.
|
14 роки тому |
|
Taddeus Kroes
|
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
|
14 роки тому |
|
Taddeus Kroes
|
17c6fae8aa
Added logical operators.
|
14 роки тому |
