Pattern condition involving multiple arguments to a function

Question

I can define conditions on individual arguments to a function:

f[a_List/;condition(a),b_List/;condition(b)]:=(...)

I am wondering if there is a way of declaring something like this:

f[a_List,b_List/;condition(a,b)]:=(...)

so for instance, I might want to be sure that a and b are of the same size or that {a,b} follows a certain pattern for example.

I know I can leave the condition cases inside the body of the function but I am wondering if there is any way of avoiding that.

Note that patt /; test is a shorthand for Condition[patt, test]. You are writing f[a_, Condition[b_, test[a,b]]], but there is no a in the pattern in the first argument of Condition in this case. Note also that function definitions in Mathematica are nothing but patterns, so it is harmless to put the entire left hand side in the first argument of Condition, then you will have access to all symbols in the second argument of Condition. This is what eldo does. — C. E., Dec 23, 2015 at 5:08

eldo · Accepted Answer · 2015-12-23 04:59:47Z

8

f[a_List,b_List/;condition(a,b)]:=(...) is not possible

Instead write:

fun[a_List, b_List] /; Length@a == Length@b := 1
fun[a_List, b_List] := 2

fun[Range@3, Range@3]

1

fun[Range@3, Range@4]

2

Also possible:

fun[a_List, b_List] := 1 /; Length@a == Length@b

answered Dec 23, 2015 at 4:59

eldo

48.8k5 gold badges46 silver badges120 bronze badges

Add a comment |

1 Answer 1