When using @acrule, I can't "propagate" AC to operands other than the toplevel one. In the example below, a correct factorisation rewriter would be Rewriters.Chain([factor, factor2, factor3]) where I would expect to only have to write the first rule. Maybe there is a way to circumvent this though?
Prompted by this discussion
When using
@acrule
, I can't "propagate" AC to operands other than the toplevel one. In the example below, a correct factorisation rewriter would beRewriters.Chain([factor, factor2, factor3])
where I would expect to only have to write the first rule. Maybe there is a way to circumvent this though?