Type::IndepOf -- a type
representing objects that do not contain given identifiers
IntroductionType::IndepOf(x) represents objects that
do not contain the identifier x.
Type::IndepOf({x1, x2...}) represents
objects that do not contain any of the identifiers x1,
x2 etc.
Call(s)testtype(obj, Type::IndepOf(x))
testtype(obj, Type::IndepOf({x1...}))
Parametersobj |
- | any MuPAD object |
x, x1, x2 |
- | identifiers of domain type DOM_IDENT |
Returnssee testtype
Related
Functions
Detailstesttype(obj,
Type::IndepOf(x)) checks, whether obj does
not contain the identifier x and returns TRUE, if it holds, otherwise FALSE.Type::IndepOf uses has to check whether the object contains
at least one of the specified identifiers.x or
{x1...}.
Example
1The following expression depends on x:
>> testtype(x^2 - x + 3, Type::IndepOf(x))
FALSE
It is independend of y:
>> testtype(x^2 - x + 3, Type::IndepOf(y))
TRUE
The following expression is independend of
x and y:
>> testtype(2*(a + b)/c, Type::IndepOf({x, y}))
TRUE
The following call selects all operands of the expression that
are independend of x:
>> select(sin(y) + x^2 - 3*x + 2, testtype, Type::IndepOf(x))
sin(y) + 2