## `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

- The call `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.
- This type expects one argument `x` or `{x1...}`.
- This type does not represent a property.

#### 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

- new function

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000