Commit History

Author SHA1 Message Date
  Taddeus Kroes 12eebb165e Updated some comments. 14 years ago
  Taddeus Kroes 49391e6c0f Bugfix: added negation copy to substitute function. 14 years ago
  Taddeus Kroes 358e632e61 Moved n-ary operator definition to a constant list. 14 years ago
  Taddeus Kroes dfd858387a Added coverage exceptions to rule message functions. 14 years ago
  Taddeus Kroes 7d602a8435 Improved rewriting of the rule that deliberately creates a numeric fraction. 14 years ago
  Taddeus Kroes fb6c8bf911 Added bug to TODO list. 14 years ago
  Taddeus Kroes 65a8b62b54 Improved intergral rule message. 14 years ago
  Taddeus Kroes 09820ea805 Added the possibility to use a function to create a hint message. 14 years ago
  Taddeus Kroes 6a78440dfb Fixed some precedence issues. 14 years ago
  Taddeus Kroes f1f8aaeae8 Updated graph_drawing to latest version. 14 years ago
  Sander Mathijs van Veen 19ec9544d5 Updated to latest graph drawing version. 14 years ago
  Taddeus Kroes 392e4746d6 Removed some unused imports from unit tests. 14 years ago
  Taddeus Kroes a2fc969b12 Removed some unused imports. 14 years ago
  Taddeus Kroes a455b76bfc Added left-or-right check to application that brings an expression into a fraction nominator. 14 years ago
  Taddeus Kroes 5f556a4e6c Added function to get the index of a node in a Scope object. 14 years ago
  Taddeus Kroes 2f20f14dbf Removed some more completed items from TODO list. 14 years ago
  Taddeus Kroes 52101f51f9 Completed some items from TODO list: 14 years ago
  Taddeus Kroes 5653a56b29 Added some rules to implicit rules. 14 years ago
  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