 Taddeus Kroes
|
7e9c999323
Relative precedences in strategy now support more than 2 functions in the same list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
08c982bba4
Changed negate() function to negate by reference by default (as a small optimization).
|
14 năm trước cách đây |
|
Taddeus Kroes
|
f45d27511f
Added rule that removed fractions from denominators.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
e12f71eaed
Added an item to the TODO list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
961c70a79c
Added rules for removing double conjunction/disjunction cases.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
71bb582369
Implemented substitution for solving sets of linear equations..
|
14 năm trước cách đây |
|
Taddeus Kroes
|
ce4874ef35
Bugfix: forgot to copy negation when reducing simple fractions.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
12eebb165e
Updated some comments.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
49391e6c0f
Bugfix: added negation copy to substitute function.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
358e632e61
Moved n-ary operator definition to a constant list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
dfd858387a
Added coverage exceptions to rule message functions.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
7d602a8435
Improved rewriting of the rule that deliberately creates a numeric fraction.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
fb6c8bf911
Added bug to TODO list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
65a8b62b54
Improved intergral rule message.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
09820ea805
Added the possibility to use a function to create a hint message.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
6a78440dfb
Fixed some precedence issues.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
f1f8aaeae8
Updated graph_drawing to latest version.
|
14 năm trước cách đây |
|
Sander Mathijs van Veen
|
19ec9544d5
Updated to latest graph drawing version.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
392e4746d6
Removed some unused imports from unit tests.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
a2fc969b12
Removed some unused imports.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
a455b76bfc
Added left-or-right check to application that brings an expression into a fraction nominator.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
5f556a4e6c
Added function to get the index of a node in a Scope object.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
2f20f14dbf
Removed some more completed items from TODO list.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
52101f51f9
Completed some items from TODO list:
|
14 năm trước cách đây |
|
Taddeus Kroes
|
5653a56b29
Added some rules to implicit rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
7fbc6d246b
Application in parser now also applies implicit rules that are not hints after applying an explicit rule.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
cc891cee69
Prettified rule message.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
9962e1855b
Modified test application not to execute implicit rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
746d7957cb
Added a bunch of square root rewrite rules.
|
14 năm trước cách đây |
|
Taddeus Kroes
|
e796e899cc
Added a small optimization to possibility comparision.
|
14 năm trước cách đây |
