select 関数はブール値手続き f を満たす式 e の被作用子を選択して e と同じ型を持つ新しいオブジェクトを作ります。f が true を返さないオブジェクトは新しく作られるオブジェクトでは捨てられています。

remove 関数は select の反対です。これは f を満たす e の被作用子を取り除き新しいオブジェクトを作ります。

selectremove 関数は式 e に対して一度に効率的に結果を計算する点を除けば、select(..) および remove(..) と同様に振る舞います。

追加の引数 b1, ..., bn は f に渡されます。

select と remove を用いる典型的な応用は、積 e の因数を変数 x によるものとよらないもの (すなわち定数) に分けることです。これは  v := select(has,e,x); に続いて  c := remove(has,e,x); を実行することにより成し遂げることができます。しかしながら、v, c := selectremove( has, e, x ); を用いる方がより効率的です。c := e/v; を計算しようとしないで下さい。Maple が式を簡単にする方法により、因子は一般に打ち消しあいません。下の最後の例を見て下さい。

integers := [$10..20];

select(isprime, integers);

remove(isprime, integers);

selectremove(isprime, integers);

f := 2*exp(a*x)*sin(x)*ln(y);

select(has, f, x);

remove(has, f, x);

selectremove(has, f, x);

f := indets(f);

select(type, f, 'name');

remove(type, f, 'name');

selectremove(type, f, 'name');

f := 2*ln(x)*(y+1);

c := remove(has, f, x);

f/c;

select(has, f, x);