R_simplify double negation not getting simplified

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

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

If R_simplify is called with:

--p(a)

it is returning:

    - p(a)

instead of:

p(a)

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