How can I specify a pattern for an expression
f for which say
f[x,y] returns a value, ie is defined as a function taking two arguments.
let's say I have:
and I want to make sure that
f is indeed a function returning values for an input of a certain pattern. say a list or a pair of numbers. How can I do that?
The definition function:
returns a list of substitution rules assigned to myfunction expression. Where does this function look up the these rules from? Is that Internal to Mathematica?