|
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- |
public interface ESymmetric_matrix extends ELinearized_table_functionsymmetry (explicit attribute)boolean testSymmetry(ESymmetric_matrix type)int getSymmetry(ESymmetric_matrix type) void setSymmetry(ESymmetric_matrix type, int value) void unsetSymmetry(ESymmetric_matrix type) triangle (explicit attribute)boolean testTriangle(ESymmetric_matrix type)int getTriangle(ESymmetric_matrix type) void setTriangle(ESymmetric_matrix type, int value) void unsetTriangle(ESymmetric_matrix type) order (explicit attribute)boolean testOrder(ESymmetric_matrix type)int getOrder(ESymmetric_matrix type) void setOrder(ESymmetric_matrix type, int value) void unsetOrder(ESymmetric_matrix type) |
public class CSymmetric_matrix implements ESymmetric_matrixstatic EAttribute attributeSymmetry(ESymmetric_matrix type)static EAttribute attributeTriangle(ESymmetric_matrix type) static EAttribute attributeOrder(ESymmetric_matrix type) |
public class ASymmetric_matrix extends AEntitypublic ESymmetric_matrix getByIndex(int index)public ESymmetric_matrix getCurrentMember(SdaiIterator it) |