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