引数が 1 個の場合には、indets は expr に含まれるすべての不定元を含む集合を返します。

expr は有理式（いくつかの与えられた記号に演算 +, -, *, / を施して得られる数式）と見なされます。したがって、sin(x), f(x,y), x^(1/2) のような数式は不定元として扱われます。

引数が 1 個の場合には、sin(1), f(3,5), 2^(1/2) のような定数型の数式は不定元とは思われません。

第 2 引数が指定されていると、返される値は、expr の部分式で型が typename のものをすべて含む集合になります。その集合は、引数が 1 個の場合に不定元と思われなかった部分式も含むことになります。

indets( x*y + z/x );

e := x^(1/2) + exp(x^2) + f(9):
indets(e);

indets(e,function);

indets(e, 'specfunc(anything, {f,g})');