MATLAB中assumeAlso,Add assumption on symbolic object

assumeAlso keeps all assumptions previously set on the symbolic

variables. To replace previous assumptions with the new one, use

assume.

When adding assumptions, always check that a new assumption does not contradict the

existing assumptions. To see existing assumptions, use assumptions. Symbolic Math Toolbox™ does not guarantee to detect conflicting assumptions. Conflicting

assumptions can lead to unpredictable and inconsistent results.

When you delete a symbolic variable from the MATLAB® workspace using clear, all assumptions that you set on that

variable remain in the symbolic engine. If later you declare a new symbolic variable with

the same name, it inherits these assumptions.

To clear all assumptions set on a symbolic variable var use this

command.

assume(var,'clear')

To clear all objects in the MATLAB workspace and close the Symbolic Math Toolbox engine associated with the MATLAB workspace resetting all its assumptions, use this command.

clear all

MATLAB projects complex numbers in inequalities to the real axis. If

condition is an inequality, then both sides of the inequality must

represent real values. Inequalities with complex numbers are invalid because the field of

complex numbers is not an ordered field. (It is impossible to tell whether 5 +

i is greater or less than 2 + 3*i.) For example, x

> i becomes x > 0, and x <= 3 +

2*i becomes x <= 3.

The toolbox does not support assumptions on symbolic functions. Make assumptions on

symbolic variables and expressions instead.

Instead of adding assumptions one by one, you can set several assumptions in one

function call. To set several assumptions, use assume and combine these assumptions by using the logical operators

and, or, xor, not, all, any, or their shortcuts.