next up previous contents
Next: Mathematical functions in an Up: Utilities procedures of ALIAS-Maple Previous: Expression conversion: Convert_Frac_Cons   Contents

Multiple occurrences of variables: MultipleOccurence

This procedure takes as input an expression and a list of variables and returns 1 if there are multiple occurrences of at least one variable. For example

will return 0 while
will return 1.

This procedure is useful to test the transformation of an expression: is there is no multiple occurrences of variables in an expression, then the interval evaluation of this expression will be exact in the sense that it will return the exact lower and upper bounds of the expression for given intervals for the variables (which is not the case when multiple occurrence of variables appear in an expression).

Jean-Pierre Merlet 2012-12-20