Closed Yidnekachew closed 7 years ago
Wow! I looked at the code, it looks plausible to me. It would be good if there was a unit test for it, too,
Have you tried simplifying 3*x+2 ? With the old contins, this would not have worked very well, because 2/3 has an infinite binary represention.
This is OK to merge, by me, @ngeiswei do you want to review?
I also requested @Yidnekachew to add a unit test on slack. Then I'll review and merge.
added division-of-constants reduction rule as a fix to this issue