A Triangular_matrix is a Table that has non-default terms in only one triangle.
EXPRESS specification:
*) ENTITY Triangular_matrix SUBTYPE OF (Table); default : Maths_value; lower : BOOLEAN; END_ENTITY; (*
Attribute definitions:
default: The default value for locations outside the specified triangle.
lower: The idicator for whether the lower (true) or the upper (false) triangle contains the non-default terms.
SELF/table.terms: The values of the non-default terms in the triangle specified by lower and in the order specified by SELF/table.order.