has(f, x) 関数は、もし f が式 x を含んでいれば true、そうでなければ false を返します。

式 f が x を含むとは、f の ( Maple の op 関数で定義される) ある部分式が x に等しいことをいいます。

注意:  f が x を含むからといって、f が関数として x に従属することを必ずしも意味しません。

x がリストまたは集合ならば、 f が x を含むとは、 f が x の少なくとも１個の要素を含むことを意味します。すなわち has(f,{x,y}) は has(f,x) または has(f,y) と同値です。

has は f のツリー構造全体を調べるので、計算量の多い操作です。 member で済ませられるときは、has を使わないでください。

f := (a+b^3+c)^(4/3);

has( f, a );

has( f, b^3 );

has( f, b^2 );

has( f, a+b^3+c );

has( f, a+c );

has( f, {c,d} );

has( f, {d,e} );

f := Int(g(t),t=a..b);

has(f,a);

has(f,g);

has(f,t);

diff(f,t);

has( { [ 1, 2 ] }, [ 1, 2 ] ); # because:

has( { [ 1, 2 ] }, { 1, 2 } ); # or:

has( { [ 1, 2 ] }, [ 1, 2, 3 ] );