Here's a small example: -a + b - 2c + 0. I'd expect this to simplify to b - a - 2c, with all the rules turned on.
I think the problem is that the rule for pulling out unary minus, ?;x + (-?;y), matches with strictInverse turned on, so while extra addition terms are matched under rest, extra subtraction terms are not. Could getTerms be changed to capture inverse terms only under rest, and not consider them for the match?
Here's a small example:
-a + b - 2c + 0. I'd expect this to simplify tob - a - 2c, with all the rules turned on.I think the problem is that the rule for pulling out unary minus,
?;x + (-?;y), matches withstrictInverseturned on, so while extra addition terms are matched underrest, extra subtraction terms are not. CouldgetTermsbe changed to capture inverse terms only underrest, and not consider them for the match?