type/freeof
check for mathematical independence
Calling Sequence
Parameters
Description
Examples
type(f, freeof(x))
f
-
expression or list or set of expressions
x
name or list or set of names
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.
type⁡x,freeof⁡x,y
false
type⁡a,b,freeof⁡c,d
true
type⁡xy,identical⁡xfreeof⁡x
type⁡int⁡f⁡x,x=a..b,freeof⁡x
type⁡int⁡f⁡x,x=a..b,freeof⁡a
See Also
depends
type
type/dependent
Download Help Document