Suppose I have begun a fresh kernel session, and I have defined the following function alone:
F[x_, y_] := x + y;
One expected use of
F is this:
Consider three examples of unexpected uses. One with the wrong name, one with an incorrect number of arguments, and a final one with an expected application of
+ to an unexpected application of
G[0, 1] F F + 1
All of these are valid Mathematica expressions, however I am not interested in them in this context.
How can I ensure that an expressions contains no unevaluated function applications?
- Is there a function which takes an expression and asserts this requirement?
- Is there a function which asserts this over all following expressions in the context?