brencej/ProGED

issue with constant simplification

Opened this issue · 0 comments

brencej commented

The function that detects constants and simplifies them (C*C -> C) falsly detects some constants.
Example: "C / c -> C".