FUNCTION partial_derivative_check

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION partial_derivative_check
      (domain : tuple_space;
       d_vars : LIST [1:?] OF input_selector ) : BOOLEAN;
   LOCAL
      domn : tuple_space := domain;
      fspc : maths_space;
      dim : INTEGER;
      k : INTEGER;
   END_LOCAL;
      IF (space_dimension(domain) = 1) AND (schema_prefix + 'TUPLE_SPACE' IN TYPEOF(factor1(domain))) THEN
         domn := factor1(domain);
      END_IF;
      dim := space_dimension(domn);
      REPEAT i := 1 TO SIZEOF(d_vars) BY 1;
         k := d_vars[i];
         IF k > dim THEN
            RETURN (FALSE);
         END_IF;
         fspc := factor_space(domn, k);
         IF NOT subspace_of_es(fspc, es_reals) AND NOT subspace_of_es(fspc, es_complex_numbers) THEN
            RETURN (FALSE);
         END_IF;
      END_REPEAT;
      RETURN (TRUE);
END_FUNCTION;

Referenced By

Defintion partial_derivative_check is references by the following definitions:
DefinitionType
 partial_derivative_function ENTITY


[Top Level Definitions] [Exit]

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