FUNCTION function_is_2d_table

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION function_is_2d_table
      (func : maths_function ) : BOOLEAN;
   LOCAL
      temp : maths_space;
      pspace : product_space;
      itvl1 : finite_integer_interval;
      itvl2 : finite_integer_interval;
   END_LOCAL;
      IF NOT EXISTS(func) THEN
         RETURN (FALSE);
      END_IF;
      IF space_dimension(func.domain) <> 1 THEN
         RETURN (FALSE);
      END_IF;
      temp := factor1(func.domain);
      IF NOT ('PRODUCT_SPACE' IN stripped_typeof(temp)) THEN
         RETURN (FALSE);
      END_IF;
      pspace := temp;
      IF space_dimension(pspace) <> 2 THEN
         RETURN (FALSE);
      END_IF;
      temp := factor1(pspace);
      IF NOT ('FINITE_INTEGER_INTERVAL' IN stripped_typeof(temp)) THEN
         RETURN (FALSE);
      END_IF;
      itvl1 := temp;
      temp := factor_space(pspace, 2);
      IF NOT ('FINITE_INTEGER_INTERVAL' IN stripped_typeof(temp)) THEN
         RETURN (FALSE);
      END_IF;
      itvl2 := temp;
      RETURN (bool((itvl1.min = itvl2.min) AND ((itvl1.min = 0) OR (itvl1.min = 1))));
END_FUNCTION;

Referenced By

Defintion function_is_2d_table is references by the following definitions:
DefinitionType
 general_linear_function ENTITY
 homogeneous_linear_function ENTITY


[Top Level Definitions] [Exit]

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