| Definition | Type | Referenced Entity |
|---|
| abstracted_expression_function | ENTITY | generic_expression |
| acyclic | FUNCTION | generic_expression |
| all_members_of_es | FUNCTION | maths_space |
| all_members_of_es | FUNCTION | generic_expression |
| any_space_satisfies | FUNCTION | elementary_space |
| any_space_satisfies | FUNCTION | maths_space |
| assoc_product_space | FUNCTION | maths_space |
| binary_generic_expression | ENTITY | generic_expression |
| check_sparse_index_domain | FUNCTION | maths_space |
| check_sparse_index_to_loc | FUNCTION | maths_space |
| check_sparse_loc_range | FUNCTION | maths_space |
| compatible_complex_number_regions | FUNCTION | maths_space |
| compatible_intervals | FUNCTION | maths_space |
| compatible_spaces | FUNCTION | elementary_space |
| compatible_spaces | FUNCTION | maths_space |
| convert_to_literal | FUNCTION | generic_literal |
| convert_to_operand | FUNCTION | generic_expression |
| convert_to_operands | FUNCTION | generic_expression |
| convert_to_operands_prcmfn | FUNCTION | generic_expression |
| definite_integral_check | FUNCTION | maths_space |
| definite_integral_expression | ENTITY | generic_expression |
| definite_integral_expr_check | FUNCTION | maths_space |
| definite_integral_expr_check | FUNCTION | generic_expression |
| derive_definite_integral_domain | FUNCTION | maths_space |
| drop_numeric_constraints | FUNCTION | maths_space |
| equal_maths_spaces | FUNCTION | maths_space |
| expression_denoted_function | ENTITY | generic_expression |
| expression_is_constant | FUNCTION | generic_expression |
| extended_tuple_space | ENTITY | maths_space |
| externally_listed_data | ENTITY | maths_space |
| extremal_position_check | FUNCTION | maths_space |
| factor1 | FUNCTION | maths_space |
| factor_space | FUNCTION | maths_space |
| format_function | ENTITY | generic_expression |
| free_variables_of | FUNCTION | generic_expression |
| function_applicability | FUNCTION | generic_expression |
| function_application | ENTITY | generic_expression |
| function_is_1d_array | FUNCTION | maths_space |
| function_is_1d_table | FUNCTION | maths_space |
| function_is_2d_table | FUNCTION | maths_space |
| function_is_array | FUNCTION | maths_space |
| function_is_table | FUNCTION | maths_space |
| function_space | ENTITY | maths_space |
| generic_expression | ENTITY | simple_generic_expression |
| has_values_space | FUNCTION | generic_expression |
| index_expression | ENTITY | generic_expression |
| interval_expression | ENTITY | generic_expression |
| is_acyclic | FUNCTION | generic_expression |
| listed_data | ENTITY | maths_space |
| listed_product_space | ENTITY | maths_space |
| make_atom_based_literal | FUNCTION | generic_expression |
| make_atom_based_literal | FUNCTION | generic_literal |
| make_atom_based_literal | FUNCTION | simple_generic_expression |
| make_binary_literal | FUNCTION | generic_expression |
| make_binary_literal | FUNCTION | generic_literal |
| make_binary_literal | FUNCTION | simple_generic_expression |
| make_boolean_literal | FUNCTION | generic_expression |
| make_boolean_literal | FUNCTION | generic_literal |
| make_boolean_literal | FUNCTION | simple_generic_expression |
| make_cartesian_complex_number_region | FUNCTION | maths_space |
| make_cartesian_complex_number_region | FUNCTION | generic_expression |
| make_cartesian_complex_number_region | FUNCTION | generic_literal |
| make_cartesian_complex_number_region | FUNCTION | simple_generic_expression |
| make_complex_number_literal | FUNCTION | generic_expression |
| make_complex_number_literal | FUNCTION | generic_literal |
| make_complex_number_literal | FUNCTION | simple_generic_expression |
| make_elementary_function | FUNCTION | generic_expression |
| make_elementary_function | FUNCTION | generic_literal |
| make_elementary_function | FUNCTION | simple_generic_expression |
| make_elementary_space | FUNCTION | elementary_space |
| make_elementary_space | FUNCTION | maths_space |
| make_elementary_space | FUNCTION | generic_expression |
| make_elementary_space | FUNCTION | generic_literal |
| make_elementary_space | FUNCTION | simple_generic_expression |
| make_extended_tuple_space | FUNCTION | maths_space |
| make_extended_tuple_space | FUNCTION | generic_expression |
| make_extended_tuple_space | FUNCTION | generic_literal |
| make_extended_tuple_space | FUNCTION | simple_generic_expression |
| make_finite_integer_interval | FUNCTION | maths_space |
| make_finite_integer_interval | FUNCTION | generic_expression |
| make_finite_integer_interval | FUNCTION | generic_literal |
| make_finite_integer_interval | FUNCTION | simple_generic_expression |
| make_finite_real_interval | FUNCTION | maths_space |
| make_finite_real_interval | FUNCTION | generic_expression |
| make_finite_real_interval | FUNCTION | generic_literal |
| make_finite_real_interval | FUNCTION | simple_generic_expression |
| make_finite_space | FUNCTION | maths_space |
| make_finite_space | FUNCTION | generic_expression |
| make_finite_space | FUNCTION | generic_literal |
| make_finite_space | FUNCTION | simple_generic_expression |
| make_function_application | FUNCTION | generic_expression |
| make_function_space | FUNCTION | maths_space |
| make_function_space | FUNCTION | generic_expression |
| make_function_space | FUNCTION | generic_literal |
| make_function_space | FUNCTION | simple_generic_expression |
| make_int_literal | FUNCTION | generic_expression |
| make_int_literal | FUNCTION | generic_literal |
| make_int_literal | FUNCTION | simple_generic_expression |
| make_listed_product_space | FUNCTION | maths_space |
| make_listed_product_space | FUNCTION | generic_expression |
| make_listed_product_space | FUNCTION | generic_literal |
| make_listed_product_space | FUNCTION | simple_generic_expression |
| make_logical_literal | FUNCTION | generic_expression |
| make_logical_literal | FUNCTION | generic_literal |
| make_logical_literal | FUNCTION | simple_generic_expression |
| make_maths_enum_literal | FUNCTION | generic_expression |
| make_maths_enum_literal | FUNCTION | generic_literal |
| make_maths_enum_literal | FUNCTION | simple_generic_expression |
| make_maths_tuple_literal | FUNCTION | generic_expression |
| make_maths_tuple_literal | FUNCTION | generic_literal |
| make_maths_tuple_literal | FUNCTION | simple_generic_expression |
| make_parallel_composed_function | FUNCTION | generic_expression |
| make_polar_complex_number_region | FUNCTION | maths_space |
| make_polar_complex_number_region | FUNCTION | generic_expression |
| make_polar_complex_number_region | FUNCTION | generic_literal |
| make_polar_complex_number_region | FUNCTION | simple_generic_expression |
| make_real_interval_from_min | FUNCTION | maths_space |
| make_real_interval_from_min | FUNCTION | generic_expression |
| make_real_interval_from_min | FUNCTION | generic_literal |
| make_real_interval_from_min | FUNCTION | simple_generic_expression |
| make_real_interval_to_max | FUNCTION | maths_space |
| make_real_interval_to_max | FUNCTION | generic_expression |
| make_real_interval_to_max | FUNCTION | generic_literal |
| make_real_interval_to_max | FUNCTION | simple_generic_expression |
| make_real_literal | FUNCTION | generic_expression |
| make_real_literal | FUNCTION | generic_literal |
| make_real_literal | FUNCTION | simple_generic_expression |
| make_string_literal | FUNCTION | generic_expression |
| make_string_literal | FUNCTION | generic_literal |
| make_string_literal | FUNCTION | simple_generic_expression |
| make_uniform_product_space | FUNCTION | maths_space |
| make_uniform_product_space | FUNCTION | generic_expression |
| make_uniform_product_space | FUNCTION | generic_literal |
| make_uniform_product_space | FUNCTION | simple_generic_expression |
| maths_expression | SELECT | generic_expression |
| maths_space | ENTITY | elementary_space |
| maths_space_or_function | SELECT | maths_space |
| maths_value | SELECT | generic_expression |
| maths_variable | ENTITY | maths_space |
| max_exists | FUNCTION | maths_space |
| max_included | FUNCTION | maths_space |
| member_of | FUNCTION | elementary_space |
| member_of | FUNCTION | maths_space |
| min_exists | FUNCTION | maths_space |
| min_included | FUNCTION | maths_space |
| multiple_arity_generic_expression | ENTITY | generic_expression |
| no_cyclic_space_reference | FUNCTION | maths_space |
| number_superspace_of | FUNCTION | elementary_space |
| number_superspace_of | FUNCTION | maths_space |
| number_tuple_subspace_check | FUNCTION | maths_space |
| one_tuples_of | FUNCTION | maths_space |
| parallel_composed_function | ENTITY | generic_expression |
| partial_derivative_check | FUNCTION | maths_space |
| partial_derivative_expression | ENTITY | generic_expression |
| real_interval | SELECT | elementary_space |
| real_max | FUNCTION | maths_space |
| real_min | FUNCTION | maths_space |
| restriction_function | ENTITY | maths_space |
| shape_of_array | FUNCTION | maths_space |
| simple_generic_expression | ENTITY | generic_literal |
| simplify_function_application | FUNCTION | generic_expression |
| simplify_generic_expression | FUNCTION | generic_expression |
| simplify_generic_expression | FUNCTION | generic_literal |
| simplify_maths_space | FUNCTION | maths_space |
| singleton_member_of | FUNCTION | maths_space |
| space_is_continuum | FUNCTION | maths_space |
| space_is_singleton | FUNCTION | maths_space |
| subspace_of | FUNCTION | elementary_space |
| subspace_of | FUNCTION | maths_space |
| subspace_of_es | FUNCTION | elementary_space |
| subspace_of_es | FUNCTION | maths_space |
| substitute | FUNCTION | generic_expression |
| substring_expression | ENTITY | generic_expression |
| unary_generic_expression | ENTITY | generic_expression |
| uniform_product_space | ENTITY | maths_space |
| used_variables | FUNCTION | generic_expression |
| validate_dependently_instantiable_entity_data_types | RULE | generic_expression |
| validate_dependently_instantiable_entity_data_types | RULE | simple_generic_expression |
| values_space_of | FUNCTION | maths_space |
| values_space_of | FUNCTION | generic_expression |