INTERFACE R3x3Rep;
(*
  Definition and basic properties of the type "R3x3.T" *)

IMPORT RealExtraExtras;

CONST N = 3;
TYPE T = ARRAY [0..N-1] OF ARRAY [0..N-1] OF REAL;
TYPE ElemT = REAL;

CONST DefaultElemFmt = RealExtraExtras.ToText;

END R3x3Rep.