Type::IndepOf
-- a type
representing objects that do not contain given identifiersType::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.
testtype(obj,
Type::IndepOf(x)
)
testtype(obj,
Type::IndepOf({x1...})
)
obj |
- | any MuPAD object |
x, x1, x2 |
- | identifiers of domain type DOM_IDENT |
see testtype
testtype(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...}
.The 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