Simplification of subtraction expressions is wrong

geisserf / lemon-dd

Library for Edge-valued MONoid-based decision diagrams.

Boost Software License 1.0

2 stars 0 forks source link

Open geisserf opened 5 years ago

geisserf commented 5 years ago

Issue imported from old repository.

Given the expression "a-b", when substituting a with 0 by calling Evaluate::partial_eval the returned expression is "b" instead of "-b".