DChange and Assuming/$Assumptions
Opened this issue · 1 comments
kubaPod commented
Maybe an assumption option should be added to DChange because Solve isn't influenced by Assuming and this sometimes makes writing transformation rule a bit painful.
– xzczd Oct 24 '16 at 1:30
kubaPod commented
Transformation relations go straight to Solve so it can be done by adding assumptions there. Any reason why it is not enough?