frame_bracket SciMax Toolbox freshline

SciMax Toolbox >> freeof

freeof

Maxima Function

Calling Sequence

freeof (x_1, ..., x_n, expr)

Description

freeof (x_1, expr) Returns true if no subexpression of expr is equal to x_1 or if x_1 occurs only as a dummy variable in expr, and returns false otherwise.

freeof (x_1, ..., x_n, expr) is equivalent to freeof (x_1, expr) and ... and freeof (x_n, expr).

The arguments x_1, ..., x_n may be names of functions and variables, subscripted names, operators (enclosed in double quotes), or general expressions. freeof evaluates its arguments.

freeof operates only on expr as it stands (after simplification and evaluation) and does not attempt to determine if some equivalent expression would give a different result. In particular, simplification may yield an equivalent but different expression which comprises some different elements than the original form of expr.

A variable is a dummy variable in an expression if it has no binding outside of the expression. Dummy variables recognized by freeof are the index of a sum or product, the limit variable in limit, the integration variable in the definite integral form of integrate, the original variable in laplace, formal variables in at expressions, and arguments in lambda expressions. Local variables in block are not recognized by freeof as dummy variables; this is a bug.

The indefinite form of integrate is not free of its variable of integration.

frame_bracket SciMax Toolbox freshline