Let's say I have a rewrite rule

L(a + b) := L(a) + L(b)

when we apply this rule to rewrite L(x+y) the result is

L(y) + L(x)

but I would like it to give

L(x) + L(y),

i.e. to keep the same order of the original expression (if possible).

New contributor
mamediz is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.


Your Answer

mamediz is a new contributor. Be nice, and check out our Code of Conduct.

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.