Skip to main content

bugs - Inequality involving Quantity stays unevaluated


Bug introduced in 10.1 and solved in 11.1




An expression like this one


a < x < b

is represented as


Less[a, x, b]


while an expression like


a < x <= b

is represented as


Inequality[a, Less, x, LessEqual, b]

On my machine a problem arise when an Inequality expression contains Quantity expressions. For example


Quantity[6368, "Kilometers"] < Quantity[5500, "Kilometers"] <= 
Quantity[6371, "Kilometers"]


stays unevaluated:



Quantity[6368, "Kilometers"] < Quantity[5500, "Kilometers"] <= Quantity[6371, "Kilometers"]



An annoying workaround is to LogicalExpand all Inequality expressions that may contains Quantity expression.


LogicalExpand@%


False






Comments