 Sander Mathijs van Veen
|
3c4c11f688
Add AGPLv3 header to all source files.
|
13 سال پیش |
|
Sander Mathijs van Veen
|
e6c4974f6f
Fix missing parenthesis in beautified hint.
|
13 سال پیش |
|
Sander Mathijs van Veen
|
9874fec07a
Math notation is now correctly applied in callable messages.
|
13 سال پیش |
|
Sander Mathijs van Veen
|
f064958180
Add MathJax backticks to possibility messages.
|
13 سال پیش |
|
Sander Mathijs van Veen
|
dbc158eb57
Math expressions in hints are pretty printed using MathJax.
|
13 سال پیش |
|
Taddeus Kroes
|
09820ea805
Added the possibility to use a function to create a hint message.
|
14 سال پیش |
|
Taddeus Kroes
|
d86dda9273
Finished separating parser state and interactive state, and added first version of strategy.
|
14 سال پیش |
|
Taddeus Kroes
|
57bc805cfa
Interactive parser state is not changed by parser hooks anymore, but separated in functions.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
1d21942339
Successfully rewriting of assignment 1 of leiden oefenopgaven.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
564c751bbe
Removed subtree_map and fixed almost all unit tests.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
53f649a7ab
Parser will add negation to left-most child of scope.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
90e5ed83e8
Implemented negate_group and fixed subtree_map bug
|
14 سال پیش |
|
Sander Mathijs van Veen
|
d5c29c2bdc
Use __repr__ if there is no possibility message defined.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
d9b28ea2b5
Implemented subtree substitution.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
a25fe844d5
Fixed two typos in docstring.
|
14 سال پیش |
|
Taddeus Kroes
|
1257c37a88
Implemented and tested filtering of duplicate possibilities.
|
14 سال پیش |
|
Taddeus Kroes
|
e1dd1838d9
Added TODO to filter_duplicates.
|
14 سال پیش |
|
Taddeus Kroes
|
f64ecc9aaa
Unit tested possibilities.py.
|
14 سال پیش |
|
Taddeus Kroes
|
e08af8cf8a
Added default empty argument list to possibility.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
fa6beda1e0
Added pretty printing of possibilities with 'add_exponents' as usage example.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
a3f8f571f8
Improved arguments of match_combine_polynomes.
|
14 سال پیش |
|
Sander Mathijs van Veen
|
04ffd70216
Moved argument parser and added 'hint' and 'apply'
|
14 سال پیش |
|
Taddeus Kroes
|
0d06e0ae67
Implemented retrieval possibilities successfully.
|
14 سال پیش |
|
Taddeus Kroes
|
0f57a84a7b
Debugged combine_factors possibilities.
|
14 سال پیش |
|
Taddeus Kroes
|
dad8585cc2
Merged changes of Sander.
|
14 سال پیش |
|
Taddeus Kroes
|
513c04f37f
Implemented some basis rewrite rules, along with unit tests for node.py.
|
14 سال پیش |
