Wolfram mathematica function definition