Taddeus Kroes 961c70a79c Added rules for removing double conjunction/disjunction cases. 14 жил өмнө
..
__init__.py 314ca19b2d Added debug information to bison generated parser. 14 жил өмнө
parser.py 9962e1855b Modified test application not to execute implicit rules. 14 жил өмнө
rules.mk 1d02e8398b sorting unit tests files. 14 жил өмнө
rulestestcase.py 65cc88c7e6 Added IMPLICIT_RULES list for rules that are not printed in verbose rewrite_all mode. 14 жил өмнө
test_b1_ch08.py 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. 14 жил өмнө
test_b1_ch10.py 52dcf02f95 Modified parser to fit MathJax syntax. 14 жил өмнө
test_calc.py 52dcf02f95 Modified parser to fit MathJax syntax. 14 жил өмнө
test_exception.py f51ea5e32c Applied pep8 to unit tests. 14 жил өмнө
test_leiden_oefenopgave.py 52101f51f9 Completed some items from TODO list: 14 жил өмнө
test_leiden_oefenopgave_v12.py a455b76bfc Added left-or-right check to application that brings an expression into a fraction nominator. 14 жил өмнө
test_node.py 5f556a4e6c Added function to get the index of a node in a Scope object. 14 жил өмнө
test_parser.py 52dcf02f95 Modified parser to fit MathJax syntax. 14 жил өмнө
test_possibilities.py 392e4746d6 Removed some unused imports from unit tests. 14 жил өмнө
test_rewrite.py 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. 14 жил өмнө
test_rules_absolute.py 392e4746d6 Removed some unused imports from unit tests. 14 жил өмнө
test_rules_derivatives.py a455b76bfc Added left-or-right check to application that brings an expression into a fraction nominator. 14 жил өмнө
test_rules_factors.py 140ddc5965 Updated all unit tests correspondingly to the previous commits. 14 жил өмнө
test_rules_fractions.py 7d602a8435 Improved rewriting of the rule that deliberately creates a numeric fraction. 14 жил өмнө
test_rules_goniometry.py 4c4344ae03 Added rule that generates a quadrants addition. 14 жил өмнө
test_rules_groups.py 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. 14 жил өмнө
test_rules_integrals.py 92f967d64c Added rule for removing constants from indefinite integrals. 14 жил өмнө
test_rules_lineq.py 961c70a79c Added rules for removing double conjunction/disjunction cases. 14 жил өмнө
test_rules_logarithmic.py 76db99131f Added rules that calculate logarithm exponents to see if a logarithm can be reduced to a number. 14 жил өмнө
test_rules_negation.py 42662f455b Changed negation precedence to that of subtraction and modified rules+tests correspondingly. 14 жил өмнө
test_rules_numerics.py 140ddc5965 Updated all unit tests correspondingly to the previous commits. 14 жил өмнө
test_rules_powers.py 52dcf02f95 Modified parser to fit MathJax syntax. 14 жил өмнө
test_rules_sort.py 0862806e31 Added a basic sorting rule and applied it to the existing unit tests. 14 жил өмнө
test_rules_sqrt.py 392e4746d6 Removed some unused imports from unit tests. 14 жил өмнө
test_rules_utils.py 49391e6c0f Bugfix: added negation copy to substitute function. 14 жил өмнө
test_strategy.py 392e4746d6 Removed some unused imports from unit tests. 14 жил өмнө
test_validation.py 03747c5462 Added failing unit tests for validation. 14 жил өмнө