Method on @sym: lt (a, b) ¶

Operator on @sym: a < b ¶

Test/define symbolic inequality, less than.

Examples:

sym(1) < sym(pi)
  ⇒ (sym) True

syms x real
x < 10
  ⇒ (sym) x < 10

Note that having symbols in the expressions for a or b does not necessarily give an inequation:

x < x + 2
  ⇒ (sym) True

Assumptions can also play a role:

syms x real
x^2 < 0
  ⇒ (sym) False

syms n negative
syms p positive
  n < p
  ⇒ (sym) True

See also: @sym/le, @sym/gt, @sym/ge, @sym/eq, @sym/ne, @sym/logical, @sym/isAlways.

Package: symbolic