The type(expr, mutable) calling sequence returns true if if expr is a mutable object or contains mutable objects.

A mutable object is a Maple expression whose contents can change without its identity changing. The mutable objects in Maple are of type table (which includes array), rtable (which includes Array, Vector, and Matrix), module (which includes record and object), and procedure.

For example, an element in an Array can be changed, yet it is still the same Array, so an array is mutable. On the other hand, "changing" an element in a list creates a new list, and any references to the original list will not see the change. A list is immutable.

A procedure is considered mutable because it can have a remember table (even if it does not have the remember option).

$\mathrm{type}\left(3.14\,\mathrm{mutable}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{table}\left(\right)\,\mathrm{mutable}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{Vector}\left[\mathrm{row}\right]\left(\left[a\,b\,c\right]\right)\,\mathrm{mutable}\right)$

$\mathrm{true}$

$L≔\left[a\,b\,\left[c\,d\right]\right]$

$L≔\left[a\,b\,\left[c\,d\right]\right]$

$\mathrm{L0}≔L$

$\mathrm{L0}≔\left[a\,b\,\left[c\,d\right]\right]$

$L\left[3\right]\left[2\right]≔e$

${\left(L_3\right)}_2≔e$

$L$

$\left[a\,b\,\left[c\,e\right]\right]$

$\mathrm{L0}$

$\left[a\,b\,\left[c\,d\right]\right]$

$\mathrm{type}\left(L\,\mathrm{mutable}\right)$

$\mathrm{false}$

$L≔\left[a\,b\,\mathrm{Array}\left(\left[c\,d\right]\right)\right]$

$L≔\left[a\,b\,\left[\begin{array}{cc}c& d\end{array}\right]\right]$

$\mathrm{L0}≔L$

$\mathrm{L0}≔\left[a\,b\,\left[\begin{array}{cc}c& d\end{array}\right]\right]$

$L\left[3\right]\left[2\right]≔e$

${\left(L_3\right)}_2≔e$

$L$

$\left[a\,b\,\left[\begin{array}{cc}c& e\end{array}\right]\right]$

$\mathrm{L0}$

$\left[a\,b\,\left[\begin{array}{cc}c& e\end{array}\right]\right]$

$\mathrm{type}\left(L\,\mathrm{mutable}\right)$

$\mathrm{true}$