Previous Page Next Page Contents

Type::IndepOf -- a type representing objects that do not contain given identifiers

Introduction

Type::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...}))

Parameters

obj - any MuPAD object
x, x1, x2 - identifiers of domain type DOM_IDENT

Returns

see testtype

Related Functions

has, indets, testtype

Details

Example 1

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

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000