ENTITY symmetric_matrix

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
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 = symmetry_type.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 = symmetry_type.hermitian) OR (symmetry = symmetry_type.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;

Explicit Attributes

Entity symmetric_matrix has the following local and inherited explicit attributes:

Attribute	Type	Defined By
index_base	zero_or_one (INTEGER)	explicit_table_function
shape	LIST OF positive_integer (INTEGER)	explicit_table_function
operand	maths_function (ENTITY)	linearized_table_function(Redcl from unary_generic_expression)
first	INTEGER	linearized_table_function
symmetry	symmetry_type (ENUM)	symmetric_matrix
triangle	lower_upper (ENUM)	symmetric_matrix
order	ordering_type (ENUM)	symmetric_matrix

Derived Attributes

Entity symmetric_matrix has the following local and inherited derived attributes:

Attribute	Type	Defined By
domain	tuple_space (SELECT)	maths_function
range	tuple_space (SELECT)	maths_function
source	maths_function (ENTITY)	linearized_table_function

Inverse Attributes

No Inverse Attributes

Supertypes

Entity symmetric_matrix inherits from the following supertypes:
  generic_expression
    maths_function
      explicit_table_function
        linearized_table_function
  generic_expression
    unary_generic_expression

Subtypes

Entity symmetric_matrix has the following subtypes:
symmetric_banded_matrix*
* - Immediate Subtypes

Referenced By

Entity symmetric_matrix and its supertypes are referenced by the following definitions:

Definition	Type	Referenced Entity
abstracted_expression_function	ENTITY	generic_expression
acyclic	FUNCTION	generic_expression
acyclic	FUNCTION	unary_generic_expression
all_members_of_es	FUNCTION	generic_expression
banded_matrix	ENTITY	linearized_table_function
banded_matrix	ENTITY	explicit_table_function
basic_sparse_matrix	ENTITY	maths_function
binary_generic_expression	ENTITY	generic_expression
b_spline_function	ENTITY	maths_function
b_spline_function	ENTITY	unary_generic_expression
compare_basis_and_coef	FUNCTION	maths_function
composable_sequence	FUNCTION	maths_function
convert_to_maths_function	FUNCTION	maths_function
convert_to_operand	FUNCTION	generic_expression
convert_to_operands	FUNCTION	generic_expression
convert_to_operands_prcmfn	FUNCTION	maths_function
convert_to_operands_prcmfn	FUNCTION	generic_expression
definite_integral_expression	ENTITY	generic_expression
definite_integral_expr_check	FUNCTION	generic_expression
definite_integral_function	ENTITY	maths_function
definite_integral_function	ENTITY	unary_generic_expression
derive_function_domain	FUNCTION	explicit_table_function
derive_function_domain	FUNCTION	maths_function
derive_function_domain	FUNCTION	unary_generic_expression
derive_function_range	FUNCTION	linearized_table_function
derive_function_range	FUNCTION	explicit_table_function
derive_function_range	FUNCTION	maths_function
derive_function_range	FUNCTION	unary_generic_expression
domain_from	FUNCTION	maths_function
equal_maths_functions	FUNCTION	maths_function
explicit_table_function	ENTITY	linearized_table_function
expression_denoted_function	ENTITY	generic_expression
expression_denoted_function	ENTITY	unary_generic_expression
expression_is_constant	FUNCTION	generic_expression
extremal_position_check	FUNCTION	linearized_table_function
extremal_position_check	FUNCTION	explicit_table_function
format_function	ENTITY	generic_expression
free_variables_of	FUNCTION	generic_expression
free_variables_of	FUNCTION	unary_generic_expression
function_applicability	FUNCTION	generic_expression
function_application	ENTITY	generic_expression
function_is_1d_array	FUNCTION	maths_function
function_is_1d_table	FUNCTION	maths_function
function_is_2d_table	FUNCTION	maths_function
function_is_array	FUNCTION	maths_function
function_is_table	FUNCTION	maths_function
general_linear_function	ENTITY	maths_function
general_linear_function	ENTITY	unary_generic_expression
generic_expression	ENTITY	unary_generic_expression
has_values_space	FUNCTION	generic_expression
has_values_space	FUNCTION	unary_generic_expression
homogeneous_linear_function	ENTITY	maths_function
homogeneous_linear_function	ENTITY	unary_generic_expression
index_expression	ENTITY	generic_expression
interval_expression	ENTITY	generic_expression
is_acyclic	FUNCTION	generic_expression
is_sql_mappable	FUNCTION	unary_generic_expression
length_function	ENTITY	unary_generic_expression
linearized_table_function	ENTITY	symmetric_matrix
linearized_table_function	ENTITY	maths_function
linearized_table_function	ENTITY	unary_generic_expression
listed_complex_number_data	ENTITY	explicit_table_function
listed_data	ENTITY	explicit_table_function
listed_integer_data	ENTITY	explicit_table_function
listed_logical_data	ENTITY	explicit_table_function
listed_real_data	ENTITY	explicit_table_function
listed_string_data	ENTITY	explicit_table_function
make_atom_based_literal	FUNCTION	generic_expression
make_binary_literal	FUNCTION	generic_expression
make_boolean_literal	FUNCTION	generic_expression
make_cartesian_complex_number_region	FUNCTION	generic_expression
make_complex_number_literal	FUNCTION	generic_expression
make_elementary_function	FUNCTION	maths_function
make_elementary_function	FUNCTION	generic_expression
make_elementary_space	FUNCTION	generic_expression
make_extended_tuple_space	FUNCTION	generic_expression
make_finite_integer_interval	FUNCTION	generic_expression
make_finite_real_interval	FUNCTION	generic_expression
make_finite_space	FUNCTION	generic_expression
make_function_application	FUNCTION	generic_expression
make_function_space	FUNCTION	generic_expression
make_int_literal	FUNCTION	generic_expression
make_listed_product_space	FUNCTION	generic_expression
make_logical_literal	FUNCTION	generic_expression
make_maths_enum_literal	FUNCTION	generic_expression
make_maths_tuple_literal	FUNCTION	generic_expression
make_parallel_composed_function	FUNCTION	maths_function
make_parallel_composed_function	FUNCTION	generic_expression
make_polar_complex_number_region	FUNCTION	generic_expression
make_real_interval_from_min	FUNCTION	generic_expression
make_real_interval_to_max	FUNCTION	generic_expression
make_real_literal	FUNCTION	generic_expression
make_string_literal	FUNCTION	generic_expression
make_uniform_product_space	FUNCTION	generic_expression
maths_expression	SELECT	generic_expression
maths_function	ENTITY	explicit_table_function
maths_function_select	SELECT	maths_function
maths_space_or_function	SELECT	maths_function
maths_value	SELECT	generic_expression
member_of	FUNCTION	maths_function
multiple_arity_generic_expression	ENTITY	generic_expression
not_expression	ENTITY	unary_generic_expression
no_cyclic_domain_reference	FUNCTION	maths_function
odd_function	ENTITY	unary_generic_expression
parallel_composed_function	ENTITY	maths_function
parallel_composed_function	ENTITY	generic_expression
parallel_composed_function_composability_check	FUNCTION	maths_function
parallel_composed_function_domain_check	FUNCTION	maths_function
partial_derivative_expression	ENTITY	generic_expression
partial_derivative_expression	ENTITY	unary_generic_expression
partial_derivative_function	ENTITY	maths_function
partial_derivative_function	ENTITY	unary_generic_expression
rationalize_function	ENTITY	maths_function
rationalize_function	ENTITY	unary_generic_expression
regular_table_function	ENTITY	explicit_table_function
reindexed_array_function	ENTITY	maths_function
reindexed_array_function	ENTITY	unary_generic_expression
repackaging_function	ENTITY	maths_function
repackaging_function	ENTITY	unary_generic_expression
restriction_function	ENTITY	unary_generic_expression
series_composed_function	ENTITY	maths_function
shape_of_array	FUNCTION	explicit_table_function
shape_of_array	FUNCTION	maths_function
simplify_function_application	FUNCTION	generic_expression
simplify_generic_expression	FUNCTION	generic_expression
simplify_generic_expression	FUNCTION	unary_generic_expression
substitute	FUNCTION	maths_function
substitute	FUNCTION	generic_expression
substitute	FUNCTION	unary_generic_expression
substring_expression	ENTITY	generic_expression
symmetric_banded_matrix	ENTITY	linearized_table_function
symmetric_matrix	ENTITY	linearized_table_function
symmetric_matrix	ENTITY	explicit_table_function
triangular_matrix	ENTITY	explicit_table_function
triangular_matrix	ENTITY	maths_function
unary_generic_expression	ENTITY	generic_expression
unary_numeric_expression	ENTITY	unary_generic_expression
used_variables	FUNCTION	generic_expression
used_variables	FUNCTION	unary_generic_expression
validate_dependently_instantiable_entity_data_types	RULE	generic_expression
validate_dependently_instantiable_entity_data_types	RULE	unary_generic_expression
values_space_of	FUNCTION	maths_function
values_space_of	FUNCTION	generic_expression
values_space_of	FUNCTION	unary_generic_expression
value_function	ENTITY	unary_generic_expression

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00