hastype(expr, t) 関数は、式 expr が型 t の部分式を持っていれば true を返します。

f := x^(1/2)*y;

hastype( f, `*` );

hastype( f, `+` );

hastype( f, name^fraction );

hastype( f, radical );

hastype( f, function );

A := Matrix([[1,2],[3,4]], datatype=integer);

hastype(A, rational);