hasfun コマンドは式 e において、関数 f を探します。 f が（関数の）名前のリストまたは集合ならば、hasfun は e において、これらの関数のどれかを探します。見つかったとき true を返し、失敗したとき false を返します。

3 番目のオプション x が指定されると、hasfun 関数は、式 e がその中に x の関数 f を含んでいるかどうか判定します。典型的な応用は、積分において非積分関数が x の特定の関数を含んでいるかどうかを判定したい場合です。

e := sin(x)+exp(y)+1;

hasfun(e,exp);

hasfun(e,cos);

hasfun(e,exp,y);

hasfun(e,exp,x);

hasfun(e,exp,[x,y]);

hasfun(e,{sin,cos},x);