 Taddeus Kroes
|
7fbc6d246b
Application in parser now also applies implicit rules that are not hints after applying an explicit rule.
|
14 years ago |
|
Taddeus Kroes
|
cc891cee69
Prettified rule message.
|
14 years ago |
|
Taddeus Kroes
|
9962e1855b
Modified test application not to execute implicit rules.
|
14 years ago |
|
Taddeus Kroes
|
746d7957cb
Added a bunch of square root rewrite rules.
|
14 years ago |
|
Taddeus Kroes
|
e796e899cc
Added a small optimization to possibility comparision.
|
14 years ago |
|
Taddeus Kroes
|
b024e0c230
Added some utility functions to find (prime) dividers of a number.
|
14 years ago |
|
Taddeus Kroes
|
3f28fa2165
Code cleanup.
|
14 years ago |
|
Taddeus Kroes
|
19282d2079
Added some items to TODO list.
|
14 years ago |
|
Taddeus Kroes
|
775517fafd
Updated TODO list.
|
14 years ago |
|
Taddeus Kroes
|
92f967d64c
Added rule for removing constants from indefinite integrals.
|
14 years ago |
|
Taddeus Kroes
|
21c092de9b
Removed unused import.
|
14 years ago |
|
Taddeus Kroes
|
ba1c280b88
Corrected typo in comment.
|
14 years ago |
|
Taddeus Kroes
|
8b4dc4a1f2
Fixed integral/remove power of one conflict using precedence.
|
14 years ago |
|
Taddeus Kroes
|
ba49325a72
Minor bugfix.
|
14 years ago |
|
Taddeus Kroes
|
1328764fb1
Added sum rule for integrals.
|
14 years ago |
|
Taddeus Kroes
|
808a6241ee
Added some comments.
|
14 years ago |
|
Taddeus Kroes
|
aa65ad69b5
Added some items to TODO list.
|
14 years ago |
|
Taddeus Kroes
|
03747c5462
Added failing unit tests for validation.
|
14 years ago |
|
Taddeus Kroes
|
43b69bd178
Added power of one to implicit rules.
|
14 years ago |
|
Taddeus Kroes
|
34993e80be
Added hint message for indefinite integral solving.
|
14 years ago |
|
Taddeus Kroes
|
5a1c1bc23d
Slightly tweaked a fraction rule.
|
14 years ago |
|
Taddeus Kroes
|
104b353c86
Added some more rules to IMPLICIT list.
|
14 years ago |
|
Taddeus Kroes
|
aacbddc797
Added missing rule message.
|
14 years ago |
|
Taddeus Kroes
|
913976a078
Code cleanup.
|
14 years ago |
|
Taddeus Kroes
|
bd6d26a6a0
Some code coverage fixes.
|
14 years ago |
|
Taddeus Kroes
|
2eb3b7cb84
Fixed FIXME in unit tests using strategy.
|
14 years ago |
|
Taddeus Kroes
|
80ab57946a
Updated TODO list.
|
14 years ago |
|
Taddeus Kroes
|
52dcf02f95
Modified parser to fit MathJax syntax.
|
14 years ago |
|
Taddeus Kroes
|
fcfc7cefb9
Fixed no possibilities when trying to apply sum rule.
|
14 years ago |
|
Taddeus Kroes
|
76db99131f
Added rules that calculate logarithm exponents to see if a logarithm can be reduced to a number.
|
14 years ago |
