Semantics
An expression [matrix t w h]
describes a matrix of w
columns and h rows of
elements of type t.
If t is not of a
scalar type, the type expression
is rejected as invalid.
If w <= 0, the type
is rejected as invalid.
If h <= 0, the type
is rejected as invalid.
Implementation Requirements
Implementations are required to support
matrix types with
elements of type [float 32],
and [float 64].
Implementations are required to support
square
matrix types with
element counts in the range [3, 4].