|
ENTITY symmetric_matrix SUBTYPE OF (linearized_table_function); symmetry : symmetry_type; triangle : lower_upper; order : ordering_type; WHERE WR1: SIZEOF (SELF\explicit_table_function.shape) = 2; WR2: SELF\explicit_table_function.shape[1] = SELF\explicit_table_function.shape[2]; WR3: NOT (symmetry = skew) OR ( (space_dimension(SELF\linearized_table_function.source.range) = 1) AND subspace_of_es(factor1(SELF\linearized_table_function.source.range), es_numbers)); WR4: NOT ((symmetry = hermitian) OR (symmetry = skew_hermitian)) OR ( (space_dimension(SELF\linearized_table_function.source.range) = 1) AND subspace_of_es(factor1(SELF\linearized_table_function.source.range), es_complex_numbers)); END_ENTITY; -- symmetric_matrix |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; explicit_table_function index_base: zero_or_one; shape: LIST [1:?] OF positive_integer; unary_generic_expression operand: generic_expression; linearized_table_function (RT) operand: maths_function; first: INTEGER; (DER) source: maths_function; symmetric_matrix symmetry: symmetry_type; triangle: lower_upper; order: ordering_type; |
| symmetric_banded_matrix (mathematical_functions_schema) |
Global rules for this entity data type- |