is a list of the
unconstrained and undimensioned basic types; these are used as
function return types and argument types. The middle column is of
unconstrained types with dimensions; these are used as local variable
types. The variables <code>M</code> and <code>N</code> indicate number of columns and rows,
respectively. The variable <code>K</code> is used for square matrices, i.e., <code>K</code>
denotes both the number of rows and columns.
The rightmost column lists the corresponding constrained types.
An 