search

aic-sri-international / aic-expresso

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)
BSD 3-Clause "New" or "Revised" License
8 stars 0 forks source link

Add Distributive rewriters to R_simplify #19

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Add Distributive to R_simplify (under Assocaitive):
 new Distributive("*", "+"),
 new Distributive("and", "or")

Note: Currently the logic in Distributive does not work in the context of 
R_simplify.

Original issue reported on code.google.com by ctjoreilly@gmail.com on 11 Apr 2013 at 1:09