op 関数は式から被作用子を抽出します。nops 関数は式の被作用子の個数を返します。

op 関数の最初の引数が正の整数 i のとき、e の i 番目の被作用子が返されます。被作用子が存在しないときは、エラーが起こります。

op の最初の引数が負の整数 i のとき、結果は op(nops(e)+i+1, e) です。  

あるデータ構造に対して、op(0, e) は特別な場合として定義されます（さらなる情報は、特殊データ構造のヘルプページを参照してください）。関数に対して、op(0, e) は関数の名前です。添え字付きの名前に対して、op(0, e) は添え字無しの名前です。級数に対して op(0, e) は級数を展開する点です。他のすべてのデータ構造に対して op(0, e) は e の型を返します。

被作用子を選択する値の範囲が -nops(e)-1..nops(e) にないときはエラーが起こります。

op の第1の引数が範囲 i..j ならば、結果は e の i 番目から j 番目までの被作用子の式列になります。範囲に負の整数があるときは上で説明したように扱われ nops(e)+1  が付加えられます。

op 関数がただ1つしか引数を持たないときは、op(1..nops(e), e) と等価です。

op の第1の引数が list ならば、 list の要素は e の部分被作用子を入れ子の深さが増える順に参照します。これは簡略表記にすぎません。式 op([a1, a2, ..., an], e) は op(an, op(..., op(a2, op(a1, e))...)) と同じ結果を返しますが、より能率的に実行することができます。

最初の引数が list のとき、list の最後の要素は範囲でも構いません。上で述べたように、これは簡略表記にすぎません。式 op([a1, a2, ..., an1..an2], e) は op(an1..an2, op(..., op(a2, op(a1, e))...)) と同じ結果を返しますが、より能率的に実行することができます。

u := [1,4,9];

nops(u);

op(2,u);

op(2..3,u);

op(u);

op(-1,u);

op(0,u);

[op(u),16];

v := f(x,y,z);

nops(v);

op(0,v);

op(2,v);

op(4,v);

Error, improper op or subscript selector

op(v);

op(-1,v);

y := 1.2;

op(0,y);

op(1,y);

op(2,y);

w := f(g(a,b),h(c,d,e,j,k,l));

op(1,op(2,w));

op([2,1],w);

op([2,2..4],w);

op([-1,-1],w);

s := series(sin(x),x=2,6);

op(0,s);

op(0,someName);