generic Dimension : Positive; package Matrices is
type Matrix is array (1 .. Dimension, 1 .. Dimension) of Real;
Dimension : Positive;
function "*"
function Transpose