ENTITY partial_derivative_expression

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
ENTITY partial_derivative_expression
   SUBTYPE OF (unary_generic_expression);
      d_variables : LIST [1:?] OF maths_variable;
      extension : extension_options;
   DERIVE
      derivand : generic_expression := SELF\unary_generic_expression.operand;
   WHERE
      wr1:
         has_values_space(derivand);
      wr2:
         space_is_continuum(values_space_of(derivand));
      WR3:
         SIZEOF(QUERY (vbl <* d_variables| NOT subspace_of(values_space_of(vbl), the_reals) AND NOT subspace_of(values_space_of(vbl), the_complex_numbers))) = 0;
END_ENTITY;

Explicit Attributes

Entity partial_derivative_expression has the following local and inherited explicit attributes:
AttributeTypeDefined By
 operandgeneric_expression (ENTITY)unary_generic_expression
 d_variablesLIST OF maths_variable (ENTITY)partial_derivative_expression
 extensionextension_options (ENUM)partial_derivative_expression

Derived Attributes

Entity partial_derivative_expression has the following local and inherited derived attributes:
AttributeTypeDefined By
 derivandgeneric_expression (ENTITY)partial_derivative_expression

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity partial_derivative_expression inherits from the following supertypes:
  generic_expression
    unary_generic_expression

Subtypes

    No subtypes

Referenced By

Entity partial_derivative_expression and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 abstracted_expression_function ENTITY generic_expression
 acyclic FUNCTION unary_generic_expression
 acyclic FUNCTION generic_expression
 all_members_of_es FUNCTION generic_expression
 binary_generic_expression ENTITY generic_expression
 b_spline_function ENTITY unary_generic_expression
 convert_to_operand FUNCTION generic_expression
 convert_to_operands FUNCTION generic_expression
 convert_to_operands_prcmfn FUNCTION generic_expression
 definite_integral_expression ENTITY generic_expression
 definite_integral_expr_check FUNCTION generic_expression
 definite_integral_function ENTITY unary_generic_expression
 derive_function_domain FUNCTION unary_generic_expression
 derive_function_range FUNCTION unary_generic_expression
 expression_denoted_function ENTITY unary_generic_expression
 expression_denoted_function ENTITY generic_expression
 expression_is_constant FUNCTION generic_expression
 format_function ENTITY generic_expression
 free_variables_of FUNCTION unary_generic_expression
 free_variables_of FUNCTION generic_expression
 function_applicability FUNCTION generic_expression
 function_application ENTITY generic_expression
 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 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 unary_generic_expression
 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 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 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_value SELECT generic_expression
 multiple_arity_generic_expression ENTITY generic_expression
 not_expression ENTITY unary_generic_expression
 odd_function ENTITY unary_generic_expression
 parallel_composed_function ENTITY generic_expression
 partial_derivative_expression ENTITY generic_expression
 partial_derivative_expression ENTITY unary_generic_expression
 partial_derivative_function ENTITY unary_generic_expression
 rationalize_function ENTITY unary_generic_expression
 reindexed_array_function ENTITY unary_generic_expression
 repackaging_function ENTITY unary_generic_expression
 restriction_function ENTITY unary_generic_expression
 simplify_function_application FUNCTION generic_expression
 simplify_generic_expression FUNCTION unary_generic_expression
 simplify_generic_expression FUNCTION generic_expression
 substitute FUNCTION unary_generic_expression
 substitute FUNCTION generic_expression
 substring_expression ENTITY generic_expression
 unary_generic_expression ENTITY generic_expression
 unary_numeric_expression ENTITY unary_generic_expression
 used_variables FUNCTION unary_generic_expression
 used_variables FUNCTION generic_expression
 validate_dependently_instantiable_entity_data_types RULE partial_derivative_expression
 values_space_of FUNCTION unary_generic_expression
 values_space_of FUNCTION partial_derivative_expression
 values_space_of FUNCTION generic_expression
 value_function ENTITY unary_generic_expression


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:23-05:00