ENTITY partial_derivative_expression

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/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:

Attribute	Type	Defined By
operand	generic_expression (ENTITY)	unary_generic_expression
d_variables	LIST OF maths_variable (ENTITY)	partial_derivative_expression
extension	extension_options (ENUM)	partial_derivative_expression

Derived Attributes

Entity partial_derivative_expression has the following local and inherited derived attributes:

Attribute	Type	Defined By
derivand	generic_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:

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
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	generic_expression
expression_denoted_function	ENTITY	unary_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	unary_generic_expression
has_values_space	FUNCTION	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	unary_generic_expression
partial_derivative_expression	ENTITY	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
values_space_of	FUNCTION	partial_derivative_expression
values_space_of	FUNCTION	unary_generic_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
2020-07-28T17:02:17-04:00