Properties and Assumptions

Restrict possible values of variables or expressions

MuPAD Functions

assume Set permanent assumption
assumeAlso Add permanent assumption
assuming Set temporary assumption
assumingAlso Add temporary assumption
getprop Query properties of expressions
is Check a mathematical property of an expression
iszero Generic zero test
property::depends Dependence table with all properties of an expression
property::hasprop Does an object have properties?
property::showprops What assumptions are made?
unassume Delete the properties of an identifier
Was this topic helpful?