Downloads
Changes
- Fixed an issue where explicit relations of the form
f(x) op yandf(y) op x(but noty op x) were interpreted inversely. 🐞- For example,
x < yandsin(y) ≥ xwere interpreted asx > yandsin(y) ≤ x, respectively.
- For example,
f(x) op y and f(y) op x (but not y op x) were interpreted inversely. 🐞
x < y and sin(y) ≥ x were interpreted as x > y and sin(y) ≤ x, respectively.