Command: assume x cond ¶

Command: assume x cond cond2 … ¶

Command: assume x y … cond cond2 … ¶

Specify assumptions for a symbolic variable (replace existing).

Example:

syms n x y
assume n integer
assume x y real
assumptions
  ⇒ ans =
    {
      [1,1] = n: integer
      [1,2] = x: real
      [1,3] = y: real
    }

To clear assumptions on a variable, use assume x clear, for example:

assume x y clear
assumptions
  ⇒ ans =
    {
      [1,1] = n: integer
    }

For more precise control over assumptions, see ‘@sym/assume’ and see ‘@sym/assumeAlso’.

See also: @sym/assume, @sym/assumeAlso, assumptions, sym, syms.

Package: symbolic