A Maple Matrix is an rtable with subtype option Matrix.

The type(expr, Matrix) function returns true if expr is a Maple Matrix.

The type(expr, 'Matrix'(R)) function returns true if expr is a Maple Matrix with the shapes or options given in R (see Matrix for permissible shapes and options), or if the entries of expr have type R in case R is a Maple type.

If R includes the name 'square', the Matrix dimensions are checked for equality.

Note:  It is essential to quote the word Matrix in this form of the calling sequence in order to avoid confusion with the Matrix(..) constructor function.

type/rtable

$A≔\mathrm{Matrix}\left(3\,3\,\left[\left[1\,2\,3\right]\,\left[1\,1\,1\right]\,\left[5\,7\,9\right]\right]\right)$

$A≔\left[\begin{array}{ccc}1& 2& 3\\ 1& 1& 1\\ 5& 7& 9\end{array}\right]$

$\mathrm{type}\left(A\,\mathrm{Matrix}\right)$

$\mathrm{true}$

$\mathrm{type}\left(A\,'\mathrm{Matrix}'\left(\mathrm{numeric}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(A\,'\mathrm{Matrix}'\left(\mathrm{square}\right)\right)$

$\mathrm{true}$

$\mathrm{MatrixOptions}\left(A\right)$

$\mathrm{shape}=\left[\right],\mathrm{datatype}=\mathrm{anything},\mathrm{storage}=\mathrm{rectangular},\mathrm{order}=\mathrm{Fortran\_order}$

$\mathrm{type}\left(A\,'\mathrm{Matrix}'\left(\mathrm{datatype}=\mathrm{anything}\,\mathrm{order}=\mathrm{Fortran\_order}\,\mathrm{square}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(A\,'\mathrm{Matrix}'\left(\mathrm{datatype}=\mathrm{integer}\right)\right)$

$\mathrm{false}$