これらの手続きは式に対して様々な算術の型をチェックします。算術演算に関する詳しい情報は、arithop を参照して下さい。

差は型 `+` を持つと考えられ、同様に割り算は型 `*` を持つと考えられます。

算術演算子は関数の呼び出しにおいて、バッククォートで囲まなければいけません。

算術演算の型は、完全に展開された演算を評価するときに Maple が最後に行う演算として定義されます。したがって、式

の型は実際 `*` ではなく `+` です。なぜなら、この式を展開した形は 1/2 x -1/2 だからです。

type(x^2,`^`);

type(x+2,`+`);

type(x+x,`+`);

type(x+x,`*`);