type/freeof - Maple Help

Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/freeof

type/freeof

check for mathematical independence

 Calling Sequence type(f, freeof(x))

Parameters

 f - expression or list or set of expressions x - name or list or set of names

Description

 • Returns true if all of the expressions in f are mathematically independent of all the names contained in x.
 • The definition of mathematical dependence is that used by depends. For more information, see depends.

Examples

 > $\mathrm{type}\left(x,\mathrm{freeof}\left(\left\{x,y\right\}\right)\right)$
 ${\mathrm{false}}$ (1)
 > $\mathrm{type}\left(\left[a,b\right],\mathrm{freeof}\left(\left[c,d\right]\right)\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{type}\left({x}^{y},{\mathrm{identical}\left(x\right)}^{\mathrm{freeof}\left(x\right)}\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{type}\left({∫}_{a}^{b}f\left(x\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}ⅆx,\mathrm{freeof}\left(x\right)\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{type}\left({∫}_{a}^{b}f\left(x\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}ⅆx,\mathrm{freeof}\left(a\right)\right)$
 ${\mathrm{false}}$ (5)