taddeus/trs: Mathematical term rewriting system @ 8d6d4788ac42e911e3087c7d0e5775cdeebbdc63

Taddeus Kroes 8d6d4788ac Removed match_negate_group, replaced it with some more generic rules.		14 yıl önce
..
__init__.py	314ca19b2d Added debug information to bison generated parser.	14 yıl önce
parser.py	c5b2a5c6ab Added support for fractions with negation and addition of negative numbers.	14 yıl önce
rules.mk	1d02e8398b sorting unit tests files.	14 yıl önce
rulestestcase.py	f51ea5e32c Applied pep8 to unit tests.	14 yıl önce
test_b1_ch08.py	d9bedbd892 Changed minus operator to plus and unary minus.	14 yıl önce
test_b1_ch10.py	1c9969fde6 Removed explicit negation node from test cases.	14 yıl önce
test_calc.py	f51ea5e32c Applied pep8 to unit tests.	14 yıl önce
test_exception.py	f51ea5e32c Applied pep8 to unit tests.	14 yıl önce
test_leiden_oefenopgave.py	1a74b48d73 Added 0*a -> 0 rule.	14 yıl önce
test_node.py	031e326f0a Added equality chck and negation take-over to Scope object.	14 yıl önce
test_parser.py	fb5adcacf2 Changed test case for line() to a binary operator.	14 yıl önce
test_possibilities.py	efc3c91bf6 Added non-strict equivalence match.	14 yıl önce
test_rewrite.py	388752b486 Added support for OP_NEG in multiply_numerics and add_nominators.	14 yıl önce
test_rules_factors.py	efc3c91bf6 Added non-strict equivalence match.	14 yıl önce
test_rules_fractions.py	388752b486 Added support for OP_NEG in multiply_numerics and add_nominators.	14 yıl önce
test_rules_groups.py	6f628ddddb Added group combination to rules.	14 yıl önce
test_rules_negation.py	8d6d4788ac Removed match_negate_group, replaced it with some more generic rules.	14 yıl önce
test_rules_numerics.py	f51ea5e32c Applied pep8 to unit tests.	14 yıl önce
test_rules_poly.py	c5b2a5c6ab Added support for fractions with negation and addition of negative numbers.	14 yıl önce
test_rules_powers.py	f51ea5e32c Applied pep8 to unit tests.	14 yıl önce
test_rules_utils.py	d1eb149c2d Fixed merge conflict.	14 yıl önce