Repository navigation
provide a way to or rules together #10
Description
For instance, we'd like a single rule for a + 0 => a and 0 + a => a. It would be nice if there we could create a rule that would match either of these situations from simpler rules.
Metadata
Metadata
Assignees
Labels
No labels
Activity
tkosan commentedon May 1, 2017
In some CASs commutativity and associativity are built into the matcher, and in other CASs they are explicitly encoded in rewrite rules. In MathPiper they are encoded in rewrite rules.
k4b7 commentedon May 1, 2017
@tkosan could you post an example of how MathPip encodes commutativity and associativity in its rewrite rules?
tkosan commentedon May 1, 2017
@kevinbarabash here are MathPiper's rewrite rules for addition:
MathPiper's addition rewrite rules
There are a number of examples of commutatively in these rules. Associativity would be achieved by using parentheses in the head of a rule.
tkosan commentedon May 1, 2017
@kevinbarabash here is an example of associativity being used: