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
Post a Comment