Samuel TLG 76c8c6264c
Improve standard simplify rule matches in non-commutative contexts (#2841)
* Improve standard simplify rule matches in non-commutative contexts

Addresses the rule application limitation aspect as highlighted in
issue #2825; such that a broader set of successful standard replacement
rules are applied to multi-arg/associative expressions in
non-commutative contexts.

* Remove 'clone()' operations on expanded simplify rules

since original rule nodes (including expanded variations) are essentially
readonly objects, cloning of expanded rule LHS' is unnecessary during
canonicalization

* Hoist non-commutative context expanded rule app. in simplify (applyRule)

* Add two simplify non-commutative ctx. test cases
2022-11-22 17:15:57 +01:00
..
2022-07-19 12:04:35 +02:00
2022-07-19 12:04:35 +02:00
2022-07-19 12:04:35 +02:00
2022-07-19 12:04:35 +02:00