Commits · 91a264526c68cb9af5f16d685dbc13039e34ec40 · Taddeüs Kroes / trs · GitLab

Snippets Groups Projects

May 17, 2012
- Scope removing/replacing is now done using numeric indices instead of node references. · 91a26452
  Taddeus Kroes authored 12 years ago
  
  91a26452
- Added rules (and tests) for sorting polynomes and monomials. · 712dbdbc
  Taddeus Kroes authored 12 years ago
  
  712dbdbc
- Disabled a seemingly useless condition in extract_polynome_properties. · 464b95ee
  Taddeus Kroes authored 12 years ago
  
  464b95ee
May 16, 2012
- Generalized structure of sort rules. · a3de7119
  Taddeus Kroes authored 12 years ago
  
  a3de7119
- Added pair iterator. · 77ae42a0
  Taddeus Kroes authored 12 years ago
  
  77ae42a0
May 05, 2012
- Cleared up some variable names. · ecf5d466
  Taddeus Kroes authored 12 years ago
  
  ecf5d466
- Added new tree traversal idea to TODO list. · 54783d37
  Taddeus Kroes authored 12 years ago
  
  54783d37
- Code coverage fix. · e09fb5e9
  Taddeus Kroes authored 12 years ago
  
  e09fb5e9
- Improved elimination of terms in fraction (de)nominators. · 3d3792c3
  Taddeus Kroes authored 12 years ago
  
  3d3792c3
- Relative precedences in strategy now support more than 2 functions in the same list. · 7e9c9993
  Taddeus Kroes authored 12 years ago
  
  7e9c9993
- Changed negate() function to negate by reference by default (as a small optimization). · 08c982bb
  Taddeus Kroes authored 12 years ago
  
  08c982bb
- Added rule that removed fractions from denominators. · f45d2751
  Taddeus Kroes authored 12 years ago
  
  f45d2751
May 02, 2012
- Added an item to the TODO list. · e12f71ea
  Taddeus Kroes authored 12 years ago
  
  e12f71ea
- Added rules for removing double conjunction/disjunction cases. · 961c70a7
  Taddeus Kroes authored 12 years ago
  
  961c70a7
- Implemented substitution for solving sets of linear equations.. · 71bb5823
  Taddeus Kroes authored 12 years ago
  
  71bb5823
- Bugfix: forgot to copy negation when reducing simple fractions. · ce4874ef
  Taddeus Kroes authored 12 years ago
  
  ce4874ef
- Updated some comments. · 12eebb16
  Taddeus Kroes authored 12 years ago
  
  12eebb16
- Bugfix: added negation copy to substitute function. · 49391e6c
  Taddeus Kroes authored 12 years ago
  
  49391e6c
- Moved n-ary operator definition to a constant list. · 358e632e
  Taddeus Kroes authored 12 years ago
  
  358e632e
- Added coverage exceptions to rule message functions. · dfd85838
  Taddeus Kroes authored 12 years ago
  
  dfd85838
- Improved rewriting of the rule that deliberately creates a numeric fraction. · 7d602a84
  Taddeus Kroes authored 12 years ago
  
  7d602a84
- Added bug to TODO list. · fb6c8bf9
  Taddeus Kroes authored 12 years ago
  
  fb6c8bf9
- Improved intergral rule message. · 65a8b62b
  Taddeus Kroes authored 12 years ago
  
  65a8b62b
- Added the possibility to use a function to create a hint message. · 09820ea8
  Taddeus Kroes authored 12 years ago
  
  09820ea8
- Fixed some precedence issues. · 6a78440d
  Taddeus Kroes authored 12 years ago
  
  6a78440d
Apr 24, 2012
- Updated graph_drawing to latest version. · f1f8aaea
  Taddeus Kroes authored 12 years ago
  
  f1f8aaea
- Updated to latest graph drawing version. · 19ec9544
  Sander Mathijs van Veen authored 12 years ago
  
  19ec9544
Apr 23, 2012
- Removed some unused imports from unit tests. · 392e4746
  Taddeus Kroes authored 12 years ago
  
  392e4746
- Removed some unused imports. · a2fc969b
  Taddeus Kroes authored 12 years ago
  
  a2fc969b
- Added left-or-right check to application that brings an expression into a fraction nominator. · a455b76b
  Taddeus Kroes authored 12 years ago
  
  a455b76b
- Added function to get the index of a node in a Scope object. · 5f556a4e
  Taddeus Kroes authored 12 years ago
  
  5f556a4e
- Removed some more completed items from TODO list. · 2f20f14d
  Taddeus Kroes authored 12 years ago
  
  2f20f14d
- Completed some items from TODO list: · 52101f51
  Taddeus Kroes authored 12 years ago
  
  - Fraction term cancellation now has priority over constant multiplication. - Some other issues had already been resolved.
  52101f51
Apr 22, 2012
- Added some rules to implicit rules. · 5653a56b
  Taddeus Kroes authored 12 years ago
  
  5653a56b
- Application in parser now also applies implicit rules that are not hints after... · 7fbc6d24
  Taddeus Kroes authored 12 years ago
  
  Application in parser now also applies implicit rules that are not hints after applying an explicit rule.
  7fbc6d24
- Prettified rule message. · cc891cee
  Taddeus Kroes authored 12 years ago
  
  cc891cee
- Modified test application not to execute implicit rules. · 9962e185
  Taddeus Kroes authored 12 years ago
  
  9962e185
Apr 21, 2012
- Added a bunch of square root rewrite rules. · 746d7957
  Taddeus Kroes authored 12 years ago
  
  746d7957
- Added a small optimization to possibility comparision. · e796e899
  Taddeus Kroes authored 12 years ago
  
  e796e899
- Added some utility functions to find (prime) dividers of a number. · b024e0c2
  Taddeus Kroes authored 12 years ago
  
  b024e0c2